[get rid of rules argument to floatInward
John Meacham <john@repetae.net>**20060420024030] hunk ./E/LetFloat.hs 146
-    Rules -- ^ rules to augment free variables of definitons
-    -> E  -- ^ input term
+    E  -- ^ input term
hunk ./E/LetFloat.hs 148
-floatInward rules e = f e [] where
-    augment fvs = fvs
+floatInward e = floatInwardE e [] where
+
+
+
+floatInwardE e fvs = f e fvs where
hunk ./E/LetFloat.hs 159
-            (p',[p0,pv,_]) = sepByDropPoint [augment (frest xs), bindingFreeVars v ev, freeVars (tvrType v)] p
+            (p',[p0,pv,_]) = sepByDropPoint [(frest xs), bindingFreeVars v ev, freeVars (tvrType v)] p
hunk ./E/LetFloat.hs 161
-            (p',_:p0:ps) = sepByDropPoint (freeVars (map (tvrType . fst . fst) bs) :augment (frest xs):snds bs) p
+            (p',_:p0:ps) = sepByDropPoint (freeVars (map (tvrType . fst . fst) bs) :(frest xs):snds bs) p
hunk ./E/LetFloat.hs 298
-                (e'',fs'') = cDefs $ floatInward mempty (ELetRec fs' e')
+                (e'',fs'') = cDefs $ floatInward (ELetRec fs' e')
hunk ./Main.hs 304
-        mprog <- transformProgram "float inward" DontIterate (dump FD.CoreMini) (programMapBodies (return . floatInward allRules)) mprog
+        mprog <- transformProgram "float inward" DontIterate (dump FD.CoreMini) (programMapBodies (return . floatInward)) mprog
hunk ./Main.hs 361
-            lc <- doopt mangle coreMini stats "Float Inward..." (\stats x -> return (floatInward allRules x)) lc
+            lc <- doopt mangle coreMini stats "Float Inward..." (\stats x -> return (floatInward x)) lc
hunk ./Main.hs 521
-        es' <- return [ (y,floatInward undefined z) |  (y,z) <- es' ]
+        es' <- return [ (y,floatInward z) |  (y,z) <- es' ]