diff options
| author | krasimir <krasimir@chalmers.se> | 2010-02-22 20:09:28 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-02-22 20:09:28 +0000 |
| commit | 21b10f91cbbd0a2d369dc55306bad53df1502cd7 (patch) | |
| tree | b2591fd2122ca294b25d14e0119af9884cbe797b /src/compiler/GF | |
| parent | d2988814a81a1f2100454fe0bccf5857feee4a00 (diff) | |
rule for pretty printing implicit arguments
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index 8c461bdcb..b3b6bbf77 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -180,6 +180,7 @@ ppTerm q d (R xs) = braces (fsep (punctuate semi [ppLabel l <+> equals <+> ppTerm q 0 e] | (l,(mb_t,e)) <- xs]))
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)
ppEquation q (ps,e) = hcat (map (ppPatt q 2) ps) <+> text "->" <+> ppTerm q 0 e
|