• 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
      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.
    339d5220
SimplEnv.lhs 24.3 KB