[project @ 2000-07-11 16:24:57 by simonmar]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcUnify.lhs

diff --git a/ghc/compiler/typecheck/TcUnify.lhs b/ghc/compiler/typecheck/TcUnify.lhs
index 9d684c1..ba131c0 100644 (file)
--- a/ghc/compiler/typecheck/TcUnify.lhs
+++ b/ghc/compiler/typecheck/TcUnify.lhs
@@ -28,17 +28,15 @@ import Type ( tyVarsOfType,
 import TyCon   ( TyCon, isTupleTyCon, tupleTyConBoxity, tyConArity )
 import Name    ( hasBetterProv )
 import Var     ( TyVar, tyVarKind, varName, isSigTyVar )
-import VarEnv  
 import VarSet  ( varSetElems )
 import TcType  ( TcType, TcTauType, TcTyVar, TcKind, 
                  newTyVarTy, newOpenTypeKind, newTyVarTy_OpenKind,
                  tcGetTyVar, tcPutTyVar, zonkTcType, tcTypeKind
                )
+
 -- others:
 import BasicTypes ( Arity, Boxity, isBoxed )
 import TysWiredIn ( listTyCon, mkListTy, mkTupleTy )
-import PprType ()              -- Instances
-import Util
 import Outputable
 \end{code}