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
yet.)
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
