diff options
| author | krasimir <krasimir@chalmers.se> | 2009-01-23 07:16:46 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-01-23 07:16:46 +0000 |
| commit | f6661c32137dc2e51c9e6ba1f3f2253b75ba0133 (patch) | |
| tree | d3e1552511f26ef526c973a553f955e4d59d5862 /src/GF/Grammar/Printer.hs | |
| parent | f0718589df2cef815cfef40f8ea6eb6a5fc671ec (diff) | |
remove some more obsolete code
Diffstat (limited to 'src/GF/Grammar/Printer.hs')
| -rw-r--r-- | src/GF/Grammar/Printer.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/GF/Grammar/Printer.hs b/src/GF/Grammar/Printer.hs index 63cd6e2aa..7145ff33b 100644 --- a/src/GF/Grammar/Printer.hs +++ b/src/GF/Grammar/Printer.hs @@ -156,7 +156,6 @@ ppTerm d (Alts (e,xs))=text "pre" <+> braces (ppTerm 0 e <> semi <+> fsep (punct ppTerm d (Strs es) = text "strs" <+> braces (fsep (punctuate semi (map (ppTerm 0) es)))
ppTerm d (EPatt p) = prec d 4 (char '#' <+> ppPatt 2 p)
ppTerm d (EPattType t)=prec d 4 (text "pattern" <+> ppTerm 0 t)
-ppTerm d (LiT id) = text "Lin" <+> ppIdent id
ppTerm d (P t l) = prec d 5 (ppTerm 5 t <> char '.' <> ppLabel l)
ppTerm d (Cn id) = ppIdent id
ppTerm d (Vr id) = ppIdent id
|