-
Simon Peyton Jones authored
As well as fixing the immediate problem (Trac #1972) this patch does a signficant simplification and refactoring of pattern renaming. Fewer functions, fewer parameters passed....it's all good. But it took much longer than I expected to figure out. The most significant change is that the NameMaker type does *binding* as well as *making* and, in the matchNameMaker case, checks for unused bindings as well. This is much tider. (No need to merge to the 6.8 branch, but no harm either.)
7f2909e0