[clean ups
John Meacham <john@repetae.net>**20060331053640] hunk ./E/LetFloat.hs 179
-    --unsafe_ones = map (tvrIdent . fst . fst) $ concatMap G.fromScc $ filter (not . std) xs
-    --std (Left ((_,e),_)) = isCheap e
-    --std (Right zs) = all isCheap (snds $ fsts zs)
hunk ./E/LetFloat.hs 182
-{-
-sepDupableBinds fvs xs = partition ind xs where
-    g = G.reachable (G.newGraph (concatMap G.fromScc xs) (tvrNum . fst . fst) (Set.toList . snd)) (fvs `mappend` (map (tvrNum . fst . fst) $ concatMap G.fromScc unsafe_ones))
-    uso = map (tvrNum . fst . fst) g
-    (_,unsafe_ones) = partition std xs
-    std (Left ((_,e),_)) = safeToDup e
-    std (Right zs) = all safeToDup (snds $ fsts zs)
-    ind x = any ( (`elem` uso) . tvrNum . fst . fst ) (G.fromScc x)
--}
hunk ./E/TypeCheck.hs 180
-        | otherwise =  withContextDoc (text "valid:" <+> prettyE e) (do t <- inferType' nds s;  valid' nds t)
+        | otherwise =  withContextDoc (text "valid:" <+> prettyE s) (do t <- inferType' nds s;  valid' nds t)