projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1375c0a) | patch
Run simplifier before SpecConstr
authorsimonpj@microsoft.com <unknown>
Tue, 23 May 2006 08:55:46 +0000 (08:55 +0000)
committersimonpj@microsoft.com <unknown>
Tue, 23 May 2006 08:55:46 +0000 (08:55 +0000)
commite923340fea0fea85f55600b8ee709f1cf8b62803
tree96ad4fb75c530bf2644b47a7dfcad6df16d6bcfbtree | snapshot
parent1375c0a78d6e786fa70e483597f93143baa5d65acommit | diff
Run simplifier before SpecConstr

Arrange to run the simplifier before SpecConstr, to (almost entirely)
eliminate shadowing.

Reason: otherwise SpecConstr can generate a RULE that never
files; and LiberateCase specifically *does* generate lots of shadowing.

See Note [Shadowing] in SpecConstr.lhs
compiler/main/DynFlags.hs diff | blob | history
compiler/specialise/SpecConstr.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)