more kinds

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

diff --git a/gengen/Data/GenType.icl b/gengen/Data/GenType.icl
index 553dac5..cb1296c 100644 (file)
--- a/gengen/Data/GenType.icl
+++ b/gengen/Data/GenType.icl
@@ -271,13 +271,12 @@ typeGenType (TyArray s a) = GenTypeApp (GenTypeCons (toString s)) (typeGenType a
 typeGenType (TyUList s a) = GenTypeApp (GenTypeCons (toString s)) (typeGenType a)
 typeGenType (TyUMaybe a) = GenTypeApp (GenTypeCons "_#Maybe") (typeGenType a)
 typeGenType (TyNewType _ _ a) = abort "typeGenType for newtypes not yet implemented\n"
+typeGenType (TyRecord i _) = i.grd_type
 typeGenType (TyObject i _) = gent i.gtd_arity (GenTypeCons i.gtd_name)
 where
        gent 0 t = t
        gent n t = gent (dec n) (GenTypeApp t (GenTypeVar n))
 
-typeGenType (TyRecord i _) = i.grd_type
-
 instance isBuiltin String
 where
        isBuiltin s = [()\\(l, r)<-predef | l == s || r == s] =: [_:_]