28 Sep
2007
28 Sep
'07
5:36 a.m.
On 9/27/07, Albert Y. C. Lai <trebla@vex.net> wrote:
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 <dave@zednenem.com> <http://www.eyrie.org/~zednenem/>