GADTs: malformed constructor signature

[Simon Peyton-Jones]

Quite right.  A stupid bug, now fixed.

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