A bunch of stuff relating to substitutions on core
authorsimonpj@microsoft.com <unknown>
Thu, 24 Dec 2009 15:39:49 +0000 (15:39 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 24 Dec 2009 15:39:49 +0000 (15:39 +0000)
commitb8ee6f14ca6e9e49015ee9b404cf8b8191fede05
tree115dcd59d7cd201431c6607207518d9b8d809c69
parent0252f1a49233b7618dc8923f257a37579802fce9
A bunch of stuff relating to substitutions on core

* I was debugging so I added some call-site info
  (that touches a lot of code)

* I used substExpr a bit less in Simplify, hoping to
  make the simplifier a little faster and cleaner
compiler/coreSyn/CoreArity.lhs
compiler/coreSyn/CoreSubst.lhs
compiler/coreSyn/CoreUnfold.lhs
compiler/simplCore/SimplCore.lhs
compiler/simplCore/SimplEnv.lhs
compiler/simplCore/SimplUtils.lhs
compiler/simplCore/Simplify.lhs
compiler/specialise/SpecConstr.lhs
compiler/specialise/Specialise.lhs