GADTs and infix?

[Simon Peyton-Jones]

Because I am an idiot.  Now fixed -- thank you for pointing it out.

Simon

| -----Original Message-----
| From: glasgow-haskell-bugs-bounces at haskell.org
[mailto:glasgow-haskell-bugs-bounces at haskell.org]
| On Behalf Of Conal Elliott
| Sent: 17 July 2006 18:52
| To: glasgow-haskell-bugs at haskell.org
| Subject: GADTs and infix?
| 
| In ghc 6.5, why does this GADT definition get accepted
| 
| > data DArrowX :: * -> * -> * where
| >   First   :: DArrowX a  a' -> DArrowX (a,b) (a',b)
| 
| and also this one
| 
| > data DArrowX :: * -> * -> * where
| >   First   :: a `DArrowX`  a' -> DArrowX (a,b) (a',b)
| 
| but this not one
| 
| > data DArrowX :: * -> * -> * where
| >   First   :: a `DArrowX`  a' -> (a,b) `DArrowX` (a',b)
| 
| which yields
| 
|     Malformed constructor signature: (a, b) DArrowX (a', b)
|     In the signature of a data constructor: a DArrowX a' -> (a, b)
| DArrowX (a', b)
|     In the data type declaration for `DArrowX'
| 
| Is this a bug?
| 
|   - Conal
| _______________________________________________
| Glasgow-haskell-bugs mailing list
| Glasgow-haskell-bugs at haskell.org
| http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs