[fix compiler warnings
John Meacham <john@repetae.net>**20070524182838] hunk ./E/Binary.hs 5
-import E.FreeVars(caseUpdate)
hunk ./E/Binary.hs 7
-import Name.Binary
+import Name.Binary()
hunk ./E/Eval.hs 14
-import Util.Seq as Seq
hunk ./E/FromHs.hs 21
-import Atom
hunk ./E/FromHs.hs 34
-import E.TypeAnalysis
hunk ./E/FromHs.hs 36
-import Fixer.VMap
hunk ./E/FromHs.hs 43
-import FrontEnd.Utils
hunk ./E/FromHs.hs 57
-import qualified FrontEnd.Tc.Monad as TM
hunk ./E/FromHs.hs 60
-import qualified Stats
hunk ./E/FromHs.hs 99
+         | otherwise = error "E.FromHs.lt"
hunk ./E/FromHs.hs 108
+kind _ = error "E.FromHs.kind: unknown"
hunk ./E/FromHs.hs 132
-        Just (CTAbs ts) -> do return $ \e -> foldr eLam e (map fromTyvar ts)
+        Just ~(CTAbs ts) -> do return $ \e -> foldr eLam e (map fromTyvar ts)
hunk ./E/FromHs.hs 678
-    f (HsPIrrPat (Located ss p)) = f p >>= \ (p',fe) -> case p' of
+    f ~(HsPIrrPat (Located ss p)) = f p >>= \ (p',fe) -> case p' of
hunk ./E/FromHs.hs 701
-    f ((p:ps),fe) = do
+    f (~(p:ps),fe) = do
hunk ./E/FromHs.hs 755
-                    f els (HsPLit (HsFrac i),ps) = do
+                    f els ~(HsPLit (HsFrac i),ps) = do
hunk ./E/FromHs.hs 769
-                    f els (HsPLit (HsString s),ps) = do
+                    f els ~(HsPLit (HsString s),ps) = do
hunk ./E/FromHs.hs 779
-                    f (HsPLit l,ps) = do
+                    f (~(HsPLit l),ps) = do
hunk ./E/FromHs.hs 795
-                    pp (HsPApp n ps,rps,e)  = do
+                    pp (~(HsPApp n ps),rps,e)  = do
hunk ./E/Inline.hs 19
-import E.Rules
hunk ./E/Inline.hs 21
-import GenUtil
hunk ./E/Inline.hs 26
-import Support.FreeVars
hunk ./E/Inline.hs 171
-    let cs = programComponents prog
-        prog' = prog { progStats = mempty, progType = MainComponent }
+    let prog' = prog { progStats = mempty, progType = MainComponent }
hunk ./E/LetFloat.hs 17
-import Atom
hunk ./E/LetFloat.hs 23
-import E.Rules
hunk ./E/LetFloat.hs 32
-import Name.Names
hunk ./E/LetFloat.hs 41
-doLetRec stats [] e = return e
-doLetRec stats ds _ | flint && hasRepeatUnder fst ds = error "doLetRec: repeated variables!"
-doLetRec stats ds e = return $ ELetRec ds e
hunk ./E/LetFloat.hs 123
-cupbinds bs = f bs where
-    f (Left ((t,_),fv):rs) = (tvrShowName t,fv):f rs
-    f (Right ds:rs) = f $ map Left ds ++ rs
-    f [] = []
+--cupbinds bs = f bs where
+--    f (Left ((t,_),fv):rs) = (tvrShowName t,fv):f rs
+--    f (Right ds:rs) = f $ map Left ds ++ rs
+--    f [] = []
hunk ./E/LetFloat.hs 220
-        f n (t,e) imap = (tvrInfo_u (Info.insert n) t,g n e)
hunk ./E/WorkerWrapper.hs 7
-import qualified Data.Set as Set
hunk ./E/WorkerWrapper.hs 27
-topLike Top = True
-topLike (Fun v) = topLike v
-topLike _ = False
-
hunk ./FrontEnd/Tc/Module.hs 12
-import Atom
hunk ./FrontEnd/Tc/Module.hs 23
-import FrontEnd.SrcLoc
hunk ./FrontEnd/Tc/Module.hs 28
-import GenUtil
hunk ./FrontEnd/Tc/Module.hs 64
-modInfoDecls = hsModuleDecls . modInfoHsModule
hunk ./FrontEnd/Tc/Module.hs 65
-getImports ModInfo { modInfoHsModule = mod }  = [  (hsImportDeclModule x) | x <-  hsModuleImports mod]
hunk ./FrontEnd/Tc/Module.hs 66
-pprintEnv :: PPrint Doc a => Map.Map Name a -> Doc
-pprintEnv env = pl global $+$ pl local_norm $+$ pl local_sys  where
-    es = Map.toList env
-    (local,global) = partition (\ (x,_) -> not (isGlobal x)) es -- isDigit $ head (hsIdentString (hsNameIdent x)) ) es
-    (local_sys,local_norm) = partition (\(x,_) -> last (show x) == '@' ) local
-    pl es = vcat [((pprint a) <+> (text "::") <+> (pprint b)) | (a, b) <- es]
hunk ./FrontEnd/Tc/Module.hs 189
-        classDefaults  = snub [ getDeclName z | z <- cDefBinds, isHsFunBind z || isHsPatBind z ]
+        --classDefaults  = snub [ getDeclName z | z <- cDefBinds, isHsFunBind z || isHsPatBind z ]
hunk ./FrontEnd/Tc/Unify.hs 14
-import FrontEnd.Class
-import FrontEnd.SrcLoc
hunk ./FrontEnd/Tc/Unify.hs 21
-import Util.Gen
-import Util.SetLike
hunk ./Grin/Lint.hs 9
-import Control.Monad
hunk ./Grin/Lint.hs 16
-import Grin.Noodle
hunk ./Grin/Lint.hs 18
-import Support.CanType
hunk ./Grin/Lint.hs 64
-        scname = transformCategory tp ++ pname (transformPass tp)
+        _scname = transformCategory tp ++ pname (transformPass tp)
hunk ./Grin/Lint.hs 183
-        te <- asks envTyEnv
-        let nte = extendTyEnv defs te
hunk ./Grin/Lint.hs 218
+    f (Item _ t) = return t
hunk ./Grin/NodeAnalyze.hs 12
-import System
hunk ./Grin/NodeAnalyze.hs 27
-atomUnknown = toAtom "(unknown)"
hunk ./Grin/NodeAnalyze.hs 280
-tyWNode = TyNode
-tySNode = TyPtr TyNode
hunk ./Grin/Optimize.hs 5
-import Data.Monoid
hunk ./Grin/Optimize.hs 12
-import Grin.Whiz
hunk ./Grin/Optimize.hs 93
-    prefer (Store v@Var {}) = return v
-    prefer (App fn [v@Var {}] _)  | fn == funcEval = return v
-    prefer (App fn [v@Var {},_] _)| fn == funcApply = return v
-    prefer (App fn [v@Var {}] _)  | fn == funcApply = return v
-    prefer (Update _ v@Var {}) = return v
-    prefer (Update v@Var {} _) = return v
-    prefer _ = fail "no preference"
-    prefered pexps exp = do
-        v <- prefer exp
-        return [ p | p <- pexps, v == pexpBind p]
+--    prefer (Store v@Var {}) = return v
+--    prefer (App fn [v@Var {}] _)  | fn == funcEval = return v
+--    prefer (App fn [v@Var {},_] _)| fn == funcApply = return v
+--    prefer (App fn [v@Var {}] _)  | fn == funcApply = return v
+--    prefer (Update _ v@Var {}) = return v
+--    prefer (Update v@Var {} _) = return v
+--    prefer _ = fail "no preference"
+--    _prefered pexps exp = do
+--        v <- prefer exp
+--        return [ p | p <- pexps, v == pexpBind p]
hunk ./Info/Binary.hs 10
-import Util.SetLike(toList,fromDistinctAscList)