From ee6fdbf68f175caf17802f85e647d99dbd1e8162 Mon Sep 17 00:00:00 2001 From: krasimir Date: Fri, 28 May 2010 09:43:58 +0000 Subject: [PATCH] bugfix in GF.Grammar.Printer --- src/compiler/GF/Grammar/Printer.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/compiler/GF/Grammar/Printer.hs b/src/compiler/GF/Grammar/Printer.hs index 8c5b06d9b..6afc2d69a 100644 --- a/src/compiler/GF/Grammar/Printer.hs +++ b/src/compiler/GF/Grammar/Printer.hs @@ -157,9 +157,7 @@ ppTerm q d (S x y) = case x of _ -> prec d 3 (ppTerm q 3 x <+> text "!" <+> ppTerm q 4 y) ppTerm q d (ExtR x y) = prec d 3 (ppTerm q 3 x <+> text "**" <+> 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) = text "table" <+> ppTerm q 6 e <+> lbrace $$ - nest 2 (fsep (punctuate semi (map (ppTerm q 0) es))) $$ - rbrace +ppTerm q d (V e es) = text "table" <+> ppTerm q 6 e <+> brackets (fsep (punctuate semi (map (ppTerm q 0) es))) ppTerm q d (FV es) = text "variants" <+> braces (fsep (punctuate semi (map (ppTerm q 0) es))) ppTerm q d (Alts (e,xs))=text "pre" <+> braces (ppTerm q 0 e <> semi <+> fsep (punctuate semi (map (ppAltern q) xs))) ppTerm q d (Strs es) = text "strs" <+> braces (fsep (punctuate semi (map (ppTerm q 0) es)))