• simonpj's avatar
    [project @ 2004-12-24 16:14:36 by simonpj] · 339d5220
    simonpj authored
              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
    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.