On 07/07/2009 20:17, Simon Peyton-Jones wrote:
| There are a couple sensible removals here. Do we also want to get rid
| of the useless class contexts on data-declarations? (that look like
| "data Ord a => Set a = Set ...")
Yes! Yes! Kill them.
(In GHC's source code these contexts are consistently called stupid_theta.)
This is listed as "Remove class context on data definitions" in the list
of proposals. It doesn't have an owner or a wiki page yet. Any volunteers?
Cheers,
Simon
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
