Propsal: NoDatatypeContexts

Ian Lynagh igloo at earth.li
Sun Jul 18 17:59:33 EDT 2010


Hi all,

H98 and H2010 allow a context to be given for datatypes, e.g. the
"Eq a" in

    data Eq a => Foo a = Constr a

I have made a proposal to remove support for that context (ticket #139).
More details are on the proposal wiki page:

    http://hackage.haskell.org/trac/haskell-prime/wiki/NoDatatypeContexts


Thanks
Ian



More information about the Haskell-prime mailing list