27 Sep
2007
27 Sep
'07
8:07 p.m.
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 also propose that ok should not just take an existing unrelated thread like "Unicode string library", click "reply", and herein talk about a new topic; but rather, should take the necessary extra effort to start a new thread altogether.)