diff options
| author | krasimir <krasimir@chalmers.se> | 2010-06-21 15:23:49 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-06-21 15:23:49 +0000 |
| commit | e94a1c74086ef9c75a977e45c28bd4466d64cf1b (patch) | |
| tree | 794be281c308b475a2ba82957febf2863173a98f /src/compiler/GF | |
| parent | 7e9b1ebfa40803a8c42310191ff3426723fe5f41 (diff) | |
GF.Grammar.Printer: print expressions with lincat and lin
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index 3f97dd390..3d190c49a 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -182,6 +182,8 @@ ppTerm q d (R xs) = braces (fsep (punctuate semi [ppLabel l <+> ppTerm q d (RecType xs)= braces (fsep (punctuate semi [ppLabel l <+> colon <+> ppTerm q 0 t | (l,t) <- xs]))
ppTerm q d (Typed e t) = char '<' <> ppTerm q 0 e <+> colon <+> ppTerm q 0 t <> char '>'
ppTerm q d (ImplArg e) = braces (ppTerm q 0 e)
+ppTerm q d (ELincat cat t) = prec d 4 (text "lincat" <+> ppIdent cat <+> ppTerm q 5 t)
+ppTerm q d (ELin cat t) = prec d 4 (text "lin" <+> ppIdent cat <+> ppTerm q 5 t)
ppEquation q (ps,e) = hcat (map (ppPatt q 2) ps) <+> text "->" <+> ppTerm q 0 e
|