From a31d3f747c92de8dc8fb593fb0f73711f3ec8af0 Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 4 Mar 2009 13:52:01 +0000 Subject: [PATCH] another missing case in GF.Grammar.Printer --- src/GF/Grammar/Printer.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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