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

printing ResValue judgements as comments, to provide useful information when a conflict is found between parameter constructors

Browse Source
This commit is contained in:
aarne
2012-06-25 09:24:04 +00:00
parent f871c3cd42
commit 8392cf45c3
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
src/compiler/GF/Grammar/Printer.hs
View File

@@ -111,7 +111,10 @@ ppJudgement q (id, ResParam pparams _) =
(case pparams of (case pparams of
Just (L _ ps) -> equals <+> ppParams q ps Just (L _ ps) -> equals <+> ppParams q ps
_ -> empty) <+> semi _ -> empty) <+> semi
ppJudgement q (id, ResValue pvalue) = empty ppJudgement q (id, ResValue pvalue) =
text "-- param constructor" <+> ppIdent id <+> colon <+>
(case pvalue of
(L _ ty) -> ppTerm q 0 ty) <+> semi
ppJudgement q (id, ResOper ptype pexp) = ppJudgement q (id, ResOper ptype pexp) =
text "oper" <+> ppIdent id <+> text "oper" <+> ppIdent id <+>
(case ptype of {Just (L _ t) -> colon <+> ppTerm q 0 t; Nothing -> empty} $$ (case ptype of {Just (L _ t) -> colon <+> ppTerm q 0 t; Nothing -> empty} $$