From 3cd1317bdaf47f061d2b368f34131752f7130554 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 29 Nov 2005 14:55:45 +0000 Subject: [PATCH] Transfer generation: cat constructors should not have tree types. --- src/GF/API/GrammarToTransfer.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/GF/API/GrammarToTransfer.hs b/src/GF/API/GrammarToTransfer.hs index 960673d08..1bdd4ec94 100644 --- a/src/GF/API/GrammarToTransfer.hs +++ b/src/GF/API/GrammarToTransfer.hs @@ -49,9 +49,9 @@ cats2cat :: CIdent -- ^ the name of the Cat type -> [(A.Ident,A.Context)] -> Decl cats2cat cat tree = C.DataDecl cat C.EType . map (uncurry catCons) where - catCons i c = C.ConsDecl (id2id i) (addTree tree $ catConsType c) + catCons i c = C.ConsDecl (id2id i) (catConsType c) catConsType = foldr pi (C.EVar cat) - pi (i,x) t = C.EPi (id2pv i) (term2exp x) t + pi (i,x) t = C.EPi (id2pv i) (addTree tree $ term2exp x) t funs2tree :: CIdent -- ^ the name of the Cat type -> CIdent -- ^ the name of the Tree type