8 Apr
2005
8 Apr
'05
10:05 a.m.
"Simon Peyton-Jones"
You mean, if the data type being defined doesn't actually use the generality of GADTs, allow GADT syntax, and deriving() too?
Yes, that would be very nice for the HaskellDemo and new users. I'd definitely switch all of my non-GADT datatypes to use that. Pugs does use GADTs fully in some parts[1], but I don't know if deriving would be useful there. [1] http://svn.openfoundry.org/pugs/src/IMC/AST.hs -- Programming is the Magic Executable Fridge Poetry, | www.ScannedInAvian.com It is machines made of thought, fueled by ideas. | -- Shae Matijs Erisson