From c6bececa8a39fcebbb1b084c2f5b9aff74f8de98 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 4 Mar 2009 12:47:05 +0000 Subject: [PATCH] added few missing cases in GF.Grammar.Printer --- src/GF/Grammar/Printer.hs | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs index 72b72b571..c73e6b092 100644 --- a/src/GF/Grammar/Printer.hs +++ b/src/GF/Grammar/Printer.hs @@ -126,8 +126,14 @@ ppTerm d (T TRaw xs) = case getCTable (T TRaw xs) of rbrace (vs,e) -> prec d 0 (text "\\\\" <> commaPunct ppIdent vs <+> text "=>" <+> ppTerm 0 e) ppTerm d (T (TTyped t) xs) = text "table" <+> ppTerm 0 t <+> lbrace $$ - nest 2 (vcat (punctuate semi (map ppCase xs))) $$ - rbrace + nest 2 (vcat (punctuate semi (map ppCase xs))) $$ + rbrace +ppTerm d (T (TComp t) xs) = text "table" <+> ppTerm 0 t <+> lbrace $$ + nest 2 (vcat (punctuate semi (map ppCase xs))) $$ + rbrace +ppTerm d (T (TWild t) xs) = text "table" <+> ppTerm 0 t <+> lbrace $$ + nest 2 (vcat (punctuate semi (map ppCase xs))) $$ + rbrace ppTerm d (Prod x a b)= if x == identW then prec d 0 (ppTerm 4 a <+> text "->" <+> ppTerm 0 b) else prec d 0 (parens (ppIdent x <+> colon <+> ppTerm 0 a) <+> text "->" <+> ppTerm 0 b)