X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FExtraction-prefix.hs;h=b144116e884a58a096e1ab3412690278853d171f;hb=c9a110c17f24f89f0375c3207b7c544e87a3cee8;hp=5a657bc26ffce107a3a7b7f209b8e09dfe86f6b1;hpb=6b017fc7346850c589273befe5faef9ee57bd53d;p=coq-hetmet.git

diff --git a/src/Extraction-prefix.hs b/src/Extraction-prefix.hs
index 5a657bc..b144116 100644
--- a/src/Extraction-prefix.hs
+++ b/src/Extraction-prefix.hs
@@ -85,13 +85,13 @@ sanitizeForLatex (c:x)   = c:(sanitizeForLatex x)
 coreKindToKind :: TypeRep.Kind -> Kind
 coreKindToKind k =
   case Coercion.splitKindFunTy_maybe k of
-      Prelude.Just (k1,k2) -> KindTypeFunction (coreKindToKind k1) (coreKindToKind k2)
+      Prelude.Just (k1,k2) -> KindArrow (coreKindToKind k1) (coreKindToKind k2)
       Prelude.Nothing -> 
-                      if (Coercion.isLiftedTypeKind k)   then KindType
-                 else if (Coercion.isUnliftedTypeKind k) then KindType
-                 else if (Coercion.isArgTypeKind k)      then KindType
-                 else if (Coercion.isUbxTupleKind k)     then KindType
-                 else if (Coercion.isOpenTypeKind k)     then KindType
+                      if (Coercion.isLiftedTypeKind k)   then KindStar
+                 else if (Coercion.isUnliftedTypeKind k) then KindStar
+                 else if (Coercion.isArgTypeKind k)      then KindStar
+                 else if (Coercion.isUbxTupleKind k)     then KindStar
+                 else if (Coercion.isOpenTypeKind k)     then KindStar
 --                 else if (Coercion.isUnliftedTypeKind k) then KindUnliftedType
 --                 else if (Coercion.isOpenTypeKind k)     then KindOpenType
 --                 else if (Coercion.isArgTypeKind k)      then KindArgType