On Tue, Dec 13, 2005 at 10:42:15AM +0100, Tomasz Zielonka wrote: > On Tue, Dec 13, 2005 at 09:46:31AM +0100, Emil Axelsson wrote: > > Is this just a limitation of the current GATDs, or is it unreasonable of me > > to expect this to work? > > AFAIK it is a current limitation of GADTs, which will be removed in GHC > 6.6.
Of course it is the limitation that will be removed, not GADTs ;-) Best regards Tomasz -- I am searching for a programmer who is good at least in some of [Haskell, ML, C++, Linux, FreeBSD, math] for work in Warsaw, Poland _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell