| Sent: 06 September 2005 16:48
| To: glasgow-haskell-bugs@haskell.org
| Subject: GADT: weird error message
|
| In the code below the function trans is accepted by GHC 6.4, but
| trans1 is not. I would expect that (x,y) is just syntactic sugar
| for (,) x y, but apparently it isn't. I guess
In the code below the function trans is accepted by GHC 6.4, but
trans1 is not. I would expect that (x,y) is just syntactic sugar
for (,) x y, but apparently it isn't. I guess this is a bug; can
anyone explain what is going on?
Cheers,
Arthur
The Code:
data Equal a b where
Eq :: Equal
In the code below the function trans is accepted by GHC 6.4, but
trans1 is not. I would expect that (x,y) is just syntactic sugar
for (,) x y, but apparently it isn't. I guess this is a bug; can
anyone explain what is going on?
Cheers,
Arthur
The Code:
data Equal a b where
Eq :: Equal