[EMAIL PROTECTED] 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.)
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
