[project @ 2000-10-24 17:09:44 by simonpj]

[ghc-hetmet.git] / ghc / compiler / types / Unify.lhs

diff --git a/ghc/compiler/types/Unify.lhs b/ghc/compiler/types/Unify.lhs
index 756a5ed..c107209 100644 (file)
--- a/ghc/compiler/types/Unify.lhs
+++ b/ghc/compiler/types/Unify.lhs
@@ -11,24 +11,21 @@ module Unify ( unifyTysX, unifyTyListsX,
               match, matchTy, matchTys
   ) where 
 
-import TypeRep ( Type(..), funTyCon
-               )  -- friend
-import Type    ( typeKind, tyVarsOfType, splitAppTy_maybe
-               )
+import TypeRep ( Type(..) )     -- friend
+import Type    ( typeKind, tyVarsOfType, splitAppTy_maybe )
 
 import PprType ()      -- Instances
                        -- This import isn't strictly necessary, but it makes sure that
                        -- PprType is below Unify in the hierarchy, which in turn makes
                        -- fewer modules boot-import PprType
 
-import Var     ( TyVar, tyVarKind )
+import Var     ( tyVarKind )
 import VarSet
 import VarEnv  ( TyVarSubstEnv, emptySubstEnv, lookupSubstEnv, extendSubstEnv, 
                  SubstResult(..)
                )
 
 import Outputable( panic )
-import Util    ( snocView )
 \end{code}
 
 %************************************************************************
@@ -232,3 +229,4 @@ match_list (ty1:tys1) []         tmpls k senv = Nothing     -- Not enough arg tys =>
 match_list (ty1:tys1) (ty2:tys2) tmpls k senv = match ty1 ty2 tmpls (match_list tys1 tys2 tmpls k) senv
 \end{code}
 
+