GADT record syntax and contexts

Brandon S. Allbery KF8NH allbery at ece.cmu.edu
Thu Jun 18 21:28:46 EDT 2009


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


More information about the Glasgow-haskell-users mailing list