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

prefix and variants restored in linearization

Browse Source
This commit is contained in:
aarne
2008-06-22 09:01:32 +00:00
parent 80108924f9
commit 25f486858f
3 changed files with 34 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src-3.0/PGF/ShowLinearize.hs
View File

@@ -43,11 +43,12 @@ prRecord = prr where
-- uses the encoding of record types in PGF.paramlincat
mkRecord :: Term -> Term -> Record
mkRecord typ trm = case (typ,trm) of
(R rs, R ts) -> RR [(str lab, mkRecord ty t) | (P lab ty, t) <- zip rs ts]
(_, FV ts) -> RFV $ map (mkRecord typ) ts
(R rs, R ts) -> RR [(str lab, mkRecord ty t) | (P lab ty, t) <- zip rs ts]
(S [FV ps,ty],R ts) -> RT [(str par, mkRecord ty t) | (par, t) <- zip ps ts]
(_,W s (R ts)) -> mkRecord typ (R [K (KS (s ++ u)) | K (KS u) <- ts])
(FV ps, C i) -> RCon $ str $ ps !! i
(S [], _) -> RS $ realize trm
(S [], _) -> RS $ str trm
_ -> RS $ show trm ---- printTree trm
where
str = realize