.

[clean-tests.git] / gengen / Data / GenType.dcl

diff --git a/gengen/Data/GenType.dcl b/gengen/Data/GenType.dcl
index 7f751da..c77320e 100644 (file)
--- a/gengen/Data/GenType.dcl
+++ b/gengen/Data/GenType.dcl
@@ -68,7 +68,13 @@ typeName :: Type -> String
 /**
  * Gives the genType for a type
  */
-typeGenType :: Type -> GenType
+typeGenType :: Type -> [GenType]
+
+/**
+ * Return the kind of the type
+ */
+:: Kind = KStar | KArrow Kind Kind
+genTypeKind :: Type -> Kind
 
 /**
  * Predicate whether the outer type is a builtin type