GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-22 01:22:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

Transfer generation: cat constructors should not have tree types.

Browse Source
This commit is contained in:
bringert
2005-11-29 14:55:45 +00:00
parent dc06abd643
commit 2be80a7e3b
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/GF/API/GrammarToTransfer.hs
View File

@@ -49,9 +49,9 @@ cats2cat :: CIdent -- ^ the name of the Cat type
-> [(A.Ident,A.Context)] -> Decl -> [(A.Ident,A.Context)] -> Decl
cats2cat cat tree = C.DataDecl cat C.EType . map (uncurry catCons) cats2cat cat tree = C.DataDecl cat C.EType . map (uncurry catCons)
where 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) 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 funs2tree :: CIdent -- ^ the name of the Cat type
-> CIdent -- ^ the name of the Tree type -> CIdent -- ^ the name of the Tree type