
7 Jul
2009
7 Jul
'09
11:51 a.m.
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