[make sure we don't rebind any existing lambda variables when eta expanding. perform occurance analysis after eta expansion.
John Meacham <john@repetae.net>**20060323044404] hunk ./E/Eta.hs 15
+import Control.Monad.Writer
hunk ./E/Eta.hs 150
+collectIds e = execWriter $ annotate mempty (\id nfo -> tell (Set.singleton id) >> return nfo) (\_ -> return) (\_ -> return) e
hunk ./E/Eta.hs 155
-    fvs = freeVars (e,tvrType t)
+    fvs = foldr Set.insert (freeVars (b,map getType rs,tvrType t)) (map tvrIdent rs) `mappend` collectIds e
+    (b,rs) = fromLam e
hunk ./E/SSimplify.hs 207
+        dsIn <- sequence [etaExpandDef' (so_dataTable sopts) t e | (t,e) <- dsIn ]
hunk ./E/SSimplify.hs 210
-                (t,e) <- etaExpandDef' (so_dataTable sopts) t e