adapt HetMet extensions to new GHC coercion representation

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

diff --git a/compiler/types/Kind.lhs b/compiler/types/Kind.lhs
index 32a9eac..668ddda 100644 (file)
--- a/compiler/types/Kind.lhs
+++ b/compiler/types/Kind.lhs
@@ -15,7 +15,6 @@ module Kind (
         -- Kind constructors...
         liftedTypeKindTyCon, openTypeKindTyCon, unliftedTypeKindTyCon,
         argTypeKindTyCon, ubxTupleKindTyCon,
-        ecKind,
 
         -- Super Kinds
        tySuperKind, tySuperKindTyCon, 
@@ -234,5 +233,4 @@ defaultKind k
   | isSubArgTypeKind k  = liftedTypeKind
   | otherwise        = k
 
-ecKind           = liftedTypeKind `mkArrowKind` (liftedTypeKind `mkArrowKind` liftedTypeKind)
 \end{code}
\ No newline at end of file