[Haskell-cafe] A very nontrivial parser

Andrew Coppin andrewcoppin at btinternet.com
Sun Jul 8 14:11:56 EDT 2007

Jonathan Cast wrote:
> On Sunday 08 July 2007, Andrew Coppin wrote:
>> Jonathan Cast wrote:
>>> I think surely you're using existential data types rather than rank-2
>>> types.
>> You expect *me* to know?
> Surely not :)  That's why I tried briefly explaining the ideas again.

LOL! Thanks...

>> All I know is it didn't compile, so I added {-# LANGUAGE Rank2Types #-},
>> and now it works. *shrugs*
> If  you're happy, then I guess I can accept the situation.  I think you'll 
> trip over the distinction again, but that's just me.

I must admit, the code compiles, but I have not yet attempted to *use* 
it for anything...

(It's the code for supporting 2-pass encoders, and I haven't written any 

More information about the Haskell-Cafe mailing list