| > 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.

I finally got around to doing this; turned out to be trivial.

Record syntax aside, you can now declare any Haskell-98 data type using
the GADT-style where-clause syntax, including 'deriving'.

Simon
_______________________________________________
Glasgow-haskell-users mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

Reply via email to