[Haskell] Type problem

Tomasz Zielonka tomasz.zielonka at gmail.com
Tue Dec 13 04:43:30 EST 2005


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


More information about the Haskell mailing list