diff options
| author | krasimir <krasimir@chalmers.se> | 2009-03-04 13:52:01 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-03-04 13:52:01 +0000 |
| commit | 49e6500c705ec57a58a4b3b49b37e606329501b2 (patch) | |
| tree | 473677252d3571f4e1be9e9405d122def8e4b51d /src | |
| parent | 7babfd1da6808f65ae6369aef0dc246857822357 (diff) | |
another missing case in GF.Grammar.Printer
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Grammar/Printer.hs | 4 |
1 files changed, 3 insertions, 1 deletions
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
|