GADT record syntax and contexts

[Brandon S. Allbery KF8NH]

On Jun 16, 2009, at 05:19 , Simon Peyton-Jones wrote:
> (B)  data RecTest a where
>        B :: { arg :: a } -> RecTest a


For what it's worth (considering that I have yet to actually use  
GADTs), (A) looks wrong to me because there is type information before  
the actual type.  (B) looks kinda strange as well, but the "missing"  
tycon seems to make more sense given that it's a GADT.

-- 
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at ece.cmu.edu
electrical and computer engineering, carnegie mellon university    KF8NH


-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 195 bytes
Desc: This is a digitally signed message part
Url : http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20090618/f6b7a8d5/PGP.bin