On 9/27/07, Albert Y. C. Lai <[EMAIL PROTECTED]> wrote: > > [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'm not sure there is a clash. data B k v where ... is easily distinguished from data B k v = ... where ... -- Dave Menendez <[EMAIL PROTECTED]> <http://www.eyrie.org/~zednenem/>
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
