27 Sep
2007
27 Sep
'07
9:36 p.m.
On 9/27/07, Albert Y. C. Lai
jerzy.karczmarczuk@info.unicaen.fr wrote:
Data with where? You haven't heard about GADTs?
To avoid clashing with GADT's "where", I propose to rename ok's keyword to "wherein", or "wheretype", or something
data B k v = E | F b b wherein type b = B k v
data B k v = E | F b b wheretype b = B k v
I'm not sure there is a clash.
data B k v where ...
is easily distinguished from
data B k v = ... where ...
--
Dave Menendez