GADTs: malformed constructor signature

[Ralf Hinze]

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@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs