X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FInst.lhs;h=3de9fb97bb255e1aad085fa8168ebdac9ac0534e;hb=4a5870490196e05c40a9362ac2fef0081567bffc;hp=8e8e44ae2f90b796dfebc4a76db14d717172aeb0;hpb=f01b31dd2e962b5d2ffcad547b3c781d41ec186b;p=ghc-hetmet.git

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index 8e8e44a..3de9fb9 100644
--- a/ghc/compiler/typecheck/Inst.lhs
+++ b/ghc/compiler/typecheck/Inst.lhs
@@ -58,10 +58,10 @@ import TcMType	( zonkTcType, zonkTcTypes, zonkTcPredType, zonkTcThetaType,
 		)
 import TcType	( Type, TcType, TcThetaType, TcTyVarSet, TcTyVar, TcPredType,
 		  PredType(..), SkolemInfo(..), typeKind, mkSigmaTy,
-		  tcSplitForAllTys, tcSplitForAllTys, mkFunTy,
+		  tcSplitForAllTys, mkFunTy,
 		  tcSplitPhiTy, tcIsTyVarTy, tcSplitDFunHead,
 		  isIntTy,isFloatTy, isIntegerTy, isDoubleTy,
-		  tcIsTyVarTy, mkPredTy, mkTyVarTy, mkTyVarTys,
+		  mkPredTy, mkTyVarTy, mkTyVarTys,
 		  tyVarsOfType, tyVarsOfTypes, tyVarsOfPred, tidyPred,
 		  isClassPred, isTyVarClassPred, isLinearPred, 
 		  getClassPredTys, getClassPredTys_maybe, mkPredName,