.

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

diff --git a/gengen/Data/GenType.icl b/gengen/Data/GenType.icl
index 37f6df5..f218c93 100644 (file)
--- a/gengen/Data/GenType.icl
+++ b/gengen/Data/GenType.icl
@@ -277,8 +277,8 @@ typeGenType (TyObject _ fs) = [c.gcd_type\\(c, _)<-fs]
 genTypeKind :: GenType -> Kind
 genTypeKind (GenTypeCons _) = KStar
 genTypeKind (GenTypeVar _) = KStar
-genTypeKind (GenTypeArrow l r) = undef
-genTypeKind (GenTypeApp l r) = undef
+genTypeKind (GenTypeArrow l r) = genTypeKind l KArrow genTypeKind r
+genTypeKind (GenTypeApp l r) = genTypeKind l KArrow genTypeKind r
 
 instance isBuiltin String
 where