[project @ 2004-12-24 16:14:36 by simonpj]
---------------------------
Refactor the simplifier
---------------------------
Driven by a GADT bug, I have refactored the simpifier, and the way GHC
treats substitutions. I hope I have gotten it right. Be cautious about updating.
* coreSyn/Subst.lhs has gone
* coreSyn/CoreSubst replaces it, except that it's quite a bit simpler
* simplCore/SimplEnv is added, and contains the simplifier-specific substitution
stuff
Previously Subst was trying to be all things to all men, and that was making
it Too Complicated.
There may be a little more code now, but it's much easier to understand.
12 files changed: