RE: GADTs: malformed constructor signature

Quite right.  A stupid bug, now fixed.

| -----Original Message-----
| From: glasgow-haskell-bugs-bounces@xxxxxxxxxxx
[mailto:glasgow-haskell-bugs-
| bounces@xxxxxxxxxxx] On Behalf Of Ralf Hinze
| Sent: 19 November 2005 11:44
| To: glasgow-haskell-bugs@xxxxxxxxxxx
| 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
| Glasgow-haskell-bugs@xxxxxxxxxxx
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs