diff options
| author | krangelov <kr.angelov@gmail.com> | 2019-03-26 12:21:35 +0100 |
|---|---|---|
| committer | krangelov <kr.angelov@gmail.com> | 2019-03-26 12:21:35 +0100 |
| commit | 1e9188ea6093cdaf3593703a596ebf840a539f02 (patch) | |
| tree | ce14f120886b873c743960142fa00493e743439c | |
| parent | 099f2de5b4301c1450d3bc6c1d7c32490793ab83 (diff) | |
bugfix in the pretty printer
| -rw-r--r-- | src/compiler/GF/Grammar/Printer.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index 4b19d215b..341dae39b 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -209,7 +209,7 @@ ppTerm q d (S x y) = case x of ppTerm q d (ExtR x y) = prec d 3 (ppTerm q 3 x <+> "**" <+> ppTerm q 4 y)
ppTerm q d (App x y) = prec d 4 (ppTerm q 4 x <+> ppTerm q 5 y)
ppTerm q d (V e es) = hang "table" 2 (sep [ppTerm q 6 e,brackets (fsep (punctuate ';' (map (ppTerm q 0) es)))])
-ppTerm q d (FV es) = "variants" <+> braces (fsep (punctuate ';' (map (ppTerm q 0) es)))
+ppTerm q d (FV es) = prec d 4 ("variants" <+> braces (fsep (punctuate ';' (map (ppTerm q 0) es))))
ppTerm q d (AdHocOverload es) = "overload" <+> braces (fsep (punctuate ';' (map (ppTerm q 0) es)))
ppTerm q d (Alts e xs) = prec d 4 ("pre" <+> braces (ppTerm q 0 e <> ';' <+> fsep (punctuate ';' (map (ppAltern q) xs))))
ppTerm q d (Strs es) = "strs" <+> braces (fsep (punctuate ';' (map (ppTerm q 0) es)))
|