[project @ 2004-12-22 16:58:34 by simonpj]
[ghc-hetmet.git] / ghc / compiler / typecheck / TcHsType.lhs
index e25d0ad..04aa686 100644 (file)
@@ -41,8 +41,7 @@ import TcUnify                ( unifyFunKind, checkExpectedKind )
 import TcType          ( Type, PredType(..), ThetaType, 
                          SkolemInfo(SigSkol), MetaDetails(Flexi),
                          TcType, TcTyVar, TcKind, TcThetaType, TcTauType,
-                         mkTyVarTy, mkFunTy, 
-                         mkForAllTys, mkFunTys, tcEqType, isPredTy,
+                         mkForAllTys, mkFunTys, tcEqType, isPredTy, mkFunTy, 
                          mkSigmaTy, mkPredTy, mkGenTyConApp, mkTyConApp, mkAppTys, 
                          tcSplitFunTy_maybe, tcSplitForAllTys )
 import Kind            ( Kind, isLiftedTypeKind, liftedTypeKind, ubxTupleKind,