diff options
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index 9f8ee45b9..f7257751e 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -111,7 +111,10 @@ ppJudgement q (id, ResParam pparams _) = (case pparams of
Just (L _ ps) -> equals <+> ppParams q ps
_ -> 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) =
text "oper" <+> ppIdent id <+>
(case ptype of {Just (L _ t) -> colon <+> ppTerm q 0 t; Nothing -> empty} $$
|