[perform inline fixing up on bound variables
John Meacham <john@repetae.net>**20060420052820] hunk ./E/SSimplify.hs 255
-    so_boundVars :: IdMap E,
+    so_boundVars :: IdMap (TVr,E),         -- ^ bound variables
hunk ./E/SSimplify.hs 416
-            bb (t,e) | isFullyConst e = [(t,Done e)]
+            bb (t,(_,e)) | isFullyConst e = [(t,Done e)]
hunk ./E/SSimplify.hs 418
-        in cacheSubst mempty { envSubst = fromList $ concatMap bb  (massocs $ so_boundVars sopts),  envInScope =  fmap (\e -> isBoundTo Many e) (so_boundVars sopts) }
+        in cacheSubst mempty { envSubst = fromList $ concatMap bb  (massocs $ so_boundVars sopts),  envInScope =  fmap (\ (t,e) -> fixInline finalPhase t $ isBoundTo Many e) (so_boundVars sopts) }
hunk ./Main.hs 284
-            SS.so_boundVars = fromList [ (tvrIdent v,e) | (v,e) <- Map.elems (hoEs ho)],
+            SS.so_boundVars = fromList [ (tvrIdent v,(v,e)) | (v,e) <- Map.elems (hoEs ho)],
hunk ./Main.hs 399
-                    let sopt = mempty {  SS.so_boundVars = fromList [ (tvrIdent v,lc) | (v,lc) <- ds] `union` smap,  SS.so_dataTable = fullDataTable }
+                    let sopt = mempty {  SS.so_boundVars = fromList [ (tvrIdent v,(v,lc)) | (v,lc) <- ds] `union` smap,  SS.so_dataTable = fullDataTable }
hunk ./Main.hs 420
-        return (nvls ++ retds, (fromList [ (tvrIdent v,lc) | (v,lc) <- nvls] `union` smap, fromList [ (tvrIdent v,(Just (EVar v))) | (v,_) <- nvls] `union` annmap , idHist' ))
+        return (nvls ++ retds, (fromList [ (tvrIdent v,(v,lc)) | (v,lc) <- nvls] `union` smap, fromList [ (tvrIdent v,(Just (EVar v))) | (v,_) <- nvls] `union` annmap , idHist' ))
hunk ./Main.hs 428
-    (ds,_) <- foldM f ([],(fromList [ (tvrIdent v,e) | (v,e) <- Map.elems (hoEs ho)], initMap, Set.empty)) (map fscc $ scc graph)
+    (ds,_) <- foldM f ([],(fromList [ (tvrIdent v,(v,e)) | (v,e) <- Map.elems (hoEs ho)], initMap, Set.empty)) (map fscc $ scc graph)
hunk ./Main.hs 445
-        (ds,_) <- foldM f ([],(fromList [ (tvrIdent v,e) | (v,e) <- Map.elems (hoEs ho)], initMap, Set.empty)) (map fscc $ scc graph)
+        (ds,_) <- foldM f ([],(fromList [ (tvrIdent v,(v,e)) | (v,e) <- Map.elems (hoEs ho)], initMap, Set.empty)) (map fscc $ scc graph)