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 consist
| 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.)
Simon
___
Isaac Dupree wrote:
Simon Marlow wrote:
Remove n+k patterns
oh also -- anything like this that we remove should get a LANGUAGE flag
to go along with it. I don't see NPlusKPatterns in
Language.Haskell.Extension yet :-)
-Isaac
___
Haskell-prime ma
Simon Marlow wrote:
Remove n+k patterns
remove FixityResolution from the context-free grammar
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 ...")
-Isaac
__
