From 49e6500c705ec57a58a4b3b49b37e606329501b2 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 4 Mar 2009 13:52:01 +0000 Subject: another missing case in GF.Grammar.Printer --- src/GF/Grammar/Printer.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs index f3a19cd4b..530d3c62e 100644 --- a/src/GF/Grammar/Printer.hs +++ b/src/GF/Grammar/Printer.hs @@ -152,8 +152,10 @@ ppTerm q d (C e1 e2) =prec d 1 (ppTerm q 2 e1 <+> text "++" <+> ppTerm q 1 e2 ppTerm q d (Glue e1 e2) =prec d 2 (ppTerm q 3 e1 <+> char '+' <+> ppTerm q 2 e2) ppTerm q d (S x y) = case x of T annot xs -> let e = case annot of - TTyped t -> Typed y t TRaw -> y + TTyped t -> Typed y t + TComp t -> Typed y t + TWild t -> Typed y t in text "case" <+> ppTerm q 0 e <+> text "of" <+> lbrace $$ nest 2 (vcat (punctuate semi (map (ppCase q) xs))) $$ rbrace -- cgit v1.2.3