diff options
| author | krasimir <krasimir@chalmers.se> | 2009-03-04 12:47:05 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-03-04 12:47:05 +0000 |
| commit | ed6c31f3ef510a8fdc687ec8761aec0e18216096 (patch) | |
| tree | 7e1f35d4049c7a23fc356cffafeb02b0153cabfe /src/GF | |
| parent | c20d766c54cf382f515cf6512aad8c2e6a5ada2f (diff) | |
added few missing cases in GF.Grammar.Printer
Diffstat (limited to 'src/GF')
| -rw-r--r-- | src/GF/Grammar/Printer.hs | 10 |
1 files 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)
|