[after inlining something, do a full rename pass on it.
John Meacham <john@repetae.net>**20060721082920] hunk ./E/SSimplify.hs 28
-import E.Program
hunk ./E/SSimplify.hs 31
+import E.Program
hunk ./E/SSimplify.hs 34
+import E.Traverse(runRename)
hunk ./E/SSimplify.hs 39
+import Name.Id
hunk ./E/SSimplify.hs 43
-import qualified E.Demand as Demand
-import qualified FlagOpts as FO
-import qualified FlagDump as FD
-import qualified Info.Info as Info
-import qualified Util.Seq as Seq
hunk ./E/SSimplify.hs 49
-import Name.Id
hunk ./E/SSimplify.hs 51
+import qualified E.Demand as Demand
+import qualified FlagDump as FD
+import qualified FlagOpts as FO
+import qualified Info.Info as Info
+import qualified Util.Seq as Seq
hunk ./E/SSimplify.hs 434
+        addBoundNames [tvrIdent t]
hunk ./E/SSimplify.hs 440
+        addBoundNames [tvrIdent t]
hunk ./E/SSimplify.hs 711
-        e <- app (z,zs)
-        return e
+        used <- idNameUsedNames
+        let (ne,nn) = runRename used (foldl EAp z zs)
+        addNamesIdSet nn
+        return ne
+        --e <- app (z,zs)
+        --return e
hunk ./E/SSimplify.hs 729
-        app (ELit (LitCons n (xs ++ [a]) (eAp t a)),as)
+        app' (ELit (LitCons n (xs ++ [a]) (eAp t a))) as