summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-03-09 18:08:54 +0000
committerkrasimir <krasimir@chalmers.se>2009-03-09 18:08:54 +0000
commit85d9c76b5c8b52563316023864e7397b89548eeb (patch)
tree52c1f82be8596f3ee5a8bf54b92c9c746584bca8
parent50f8db750a073e0db7fa6b70c1c2c623030d7ae4 (diff)
special cases for printing the build-in PMCFG categories
-rw-r--r--src/PGF/PMCFG.hs8
1 files changed, 7 insertions, 1 deletions
diff --git a/src/PGF/PMCFG.hs b/src/PGF/PMCFG.hs
index 888dba796..9abeb73dc 100644
--- a/src/PGF/PMCFG.hs
+++ b/src/PGF/PMCFG.hs
@@ -85,6 +85,12 @@ ppSymbol (FSymCat d r) = char '<' <> int d <> comma <> int r <> char '>'
ppSymbol (FSymLit d r) = char '<' <> int d <> comma <> int r <> char '>'
ppSymbol (FSymTok (KS t)) = text (show t)
-ppFCat fcat = char 'C' <> int fcat
+ppFCat fcat
+ | fcat == fcatString = text "String"
+ | fcat == fcatInt = text "Int"
+ | fcat == fcatFloat = text "Float"
+ | fcat == fcatVar = text "Var"
+ | otherwise = char 'C' <> int fcat
+
ppFunId funid = char 'F' <> int funid
ppSeqId seqid = char 'S' <> int seqid