summaryrefslogtreecommitdiff
path: root/src/PGF
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-06-18 17:33:06 +0000
committerkrasimir <krasimir@chalmers.se>2009-06-18 17:33:06 +0000
commitd2dd0830f1743592cf2a78353abaf83af351e331 (patch)
tree6ca84b202fbc6b5f46e5bed79cec3f2cf9c38c65 /src/PGF
parent5f0a68c1a4206bbd3cf07ae2b93844dedcc79c74 (diff)
the PMCFG lexical categories are not printed out with prefix C i.e. CInt,.. to make them different from the same PGF categories
Diffstat (limited to 'src/PGF')
-rw-r--r--src/PGF/PMCFG.hs8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/PGF/PMCFG.hs b/src/PGF/PMCFG.hs
index c077367ad..150f74342 100644
--- a/src/PGF/PMCFG.hs
+++ b/src/PGF/PMCFG.hs
@@ -90,10 +90,10 @@ ppAlt (Alt ts ps) = ppStrs ts <+> char '/' <+> hsep (map (doubleQuotes . text) p
ppStrs ss = doubleQuotes (hsep (map text ss))
ppFCat fcat
- | fcat == fcatString = text "String"
- | fcat == fcatInt = text "Int"
- | fcat == fcatFloat = text "Float"
- | fcat == fcatVar = text "Var"
+ | fcat == fcatString = text "CString"
+ | fcat == fcatInt = text "CInt"
+ | fcat == fcatFloat = text "CFloat"
+ | fcat == fcatVar = text "CVar"
| otherwise = char 'C' <> int fcat
ppFunId funid = char 'F' <> int funid