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

gfi linearization with flags -table -record -term

Browse Source
This commit is contained in:
aarne
2007-11-08 16:37:30 +00:00
parent 23b2826a44
commit 44df29f52d
4 changed files with 87 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/GF/GFCC/Macros.hs
View File

@@ -20,6 +20,10 @@ lookLincat :: GFCC -> CId -> CId -> Term
lookLincat gfcc lang fun =
lookMap TM fun $ lincats $ lookMap (error "no lang") lang $ concretes gfcc
lookParamLincat :: GFCC -> CId -> CId -> Term
lookParamLincat gfcc lang fun =
lookMap TM fun $ paramlincats $ lookMap (error "no lang") lang $ concretes gfcc
lookType :: GFCC -> CId -> Type
lookType gfcc f =
fst $ lookMap (error $ "lookType " ++ show f) f (funs (abstract gfcc))