X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fprelude%2FTysPrim.lhs;h=5cacacd8c66bcb0d50bb1f12991889dc90337517;hp=4c70bcb7452d30d018b7fe950cf43d10bbac81c8;hb=41cecc14547b049cec20e827ceae8ff312c9ff4f;hpb=b2524b3960999fffdb3767900f58825903f6560f

diff --git a/compiler/prelude/TysPrim.lhs b/compiler/prelude/TysPrim.lhs
index 4c70bcb..5cacacd 100644
--- a/compiler/prelude/TysPrim.lhs
+++ b/compiler/prelude/TysPrim.lhs
@@ -27,6 +27,7 @@ module TysPrim(
 	liftedTypeKind, unliftedTypeKind, openTypeKind,
         argTypeKind, ubxTupleKind,
         mkArrowKind, mkArrowKinds, isCoercionKind,
+        ecKind,
 
         funTyCon, funTyConName,
         primTyCons,
@@ -74,8 +75,6 @@ import Name		( Name, BuiltInSyntax(..), mkInternalName, mkWiredInName )
 import OccName          ( mkTcOcc,mkTyVarOccFS, mkTcOccFS )
 import TyCon
 import TypeRep
-import Type
-import Coercion
 import SrcLoc
 import Unique		( mkAlphaTyVarUnique )
 import PrelNames
@@ -177,6 +176,8 @@ tyVarList kind = [ mkTyVar (mkInternalName (mkAlphaTyVarUnique u)
 			    where c = chr (u-2 + ord 'a')
 	         ]
 
+ecKind           = liftedTypeKind `mkArrowKind` (liftedTypeKind `mkArrowKind` liftedTypeKind)
+
 ecTyVars :: [TyVar]
 ecTyVars = tyVarList ecKind