18 Jun
2009
18 Jun
'09
9:28 p.m.
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@kf8nh.com system administrator [openafs,heimdal,too many hats] allbery@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH