Quite right. A stupid bug, now fixed.
| -----Original Message----- | From: [EMAIL PROTECTED] [mailto:glasgow-haskell-bugs- | [EMAIL PROTECTED] On Behalf Of Ralf Hinze | Sent: 19 November 2005 11:44 | To: [email protected] | Subject: GADTs: malformed constructor signature | | Rather unituitively, GHC allows | | > {-# OPTIONS -fglasgow-exts #-} | > > data T :: * where | > C :: Int -> Int -> T | | but not | | > data T :: * where | > C :: Int -> (Int -> T) | | Sometimes, I like to parenthesize the result type for emphasis. | | Cheers, Ralf | _______________________________________________ | Glasgow-haskell-bugs mailing list | [email protected] | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs _______________________________________________ Glasgow-haskell-bugs mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
