diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-29 14:55:45 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-29 14:55:45 +0000 |
| commit | 2be80a7e3b4834bd3146ac9d2f27190fd0689d27 (patch) | |
| tree | abb1579be232c1f41fa859246068efa0f7ff98e5 /src | |
| parent | dc06abd643de8837b2d810d76986468d08b1851e (diff) | |
Transfer generation: cat constructors should not have tree types.
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/API/GrammarToTransfer.hs | 4 |
1 files 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 |