Tidy up the treatment of SPECIALISE pragmas
authorsimonpj@microsoft.com <unknown>
Tue, 22 Jan 2008 12:26:13 +0000 (12:26 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 22 Jan 2008 12:26:13 +0000 (12:26 +0000)
commit43a2e4a26175b9dbf29e39b97f7d032ef00f9993
tree4c1d6b01f429d8b323a1fc4c6c3dcc743b91d935
parent3e35714a039779be26df0bbdeba4e2a282ec799a
Tidy up the treatment of SPECIALISE pragmas

Remove the now-redundant "const-dicts" field in SpecPrag

In dsBinds, abstract over constant dictionaries in the RULE.
This avoids the creation of a redundant, duplicate, rule later
in the Specialise pass, which was happening before.

There should be no effect on performance either way, just less
duplicated code, and the compiler gets a little simpler.
compiler/deSugar/DsBinds.lhs
compiler/hsSyn/HsBinds.lhs
compiler/typecheck/TcBinds.lhs
compiler/typecheck/TcHsSyn.lhs