repositories / clean-tests.git / blobdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | inline | side by side
.
[clean-tests.git] / gengen / Data / GenType.dcl
diff --git a/gengen/Data/GenType.dcl b/gengen/Data/GenType.dcl
index c77320e..dfcfe96 100644 (file)
--- a/gengen/Data/GenType.dcl
+++ b/gengen/Data/GenType.dcl
@@ -73,8 +73,8 @@ typeGenType :: Type -> [GenType]
 /**
  * Return the kind of the type
  */
-:: Kind = KStar | KArrow Kind Kind
-genTypeKind :: Type -> Kind
+:: Kind = KStar | (KArrow) infixr 1 Kind Kind
+genTypeKind :: GenType -> Kind
 
 /**
  * Predicate whether the outer type is a builtin type