13 Dec
2005
13 Dec
'05
9:43 a.m.
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