[don't throw away use info after an eta expansion. use the etaExpandDef routine for all eta expansioning.
John Meacham <john@repetae.net>**20060321033522] hunk ./E/Eta.hs 155
+    zeroName = case fromAp e of
+        (EVar v,_) -> "use.{" ++ tvrShowName v
+        _ -> "random"
hunk ./E/Eta.hs 168
-         then mtick ("EtaExpand.random")
+         then mtick ("EtaExpand." ++ zeroName)
hunk ./E/Eta.hs 177
+
+
hunk ./E/Eta.hs 181
+etaExpandAp dataTable tvr xs = do
+    r <- etaExpandDef dataTable tvr { tvrIdent = 0} (foldl EAp (EVar tvr) xs)
+    return (fmap snd r)
+
+{-
hunk ./E/Eta.hs 204
+-}
hunk ./E/SSimplify.hs 231
-            Just (_,e) -> go e inb
+            Just (_,e) -> f e sub inb -- go e inb
hunk ./E/SSimplify.hs 258
-        eed <- etaExpandDef (so_dataTable sopts) tvr { tvrIdent = 0 } ec
-        case eed of
-            Just (_,e) -> go e inb
-            Nothing -> do
-                e' <- f e sub inb
-                doCase e' (eCaseType ec) b as d sub inb
+        e' <- f e sub inb
+        doCase e' (eCaseType ec) b as d sub inb