diff options
| author | krasimir <krasimir@chalmers.se> | 2009-04-15 12:10:08 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-04-15 12:10:08 +0000 |
| commit | 9c47cf41680c8565024ce6bb7e0e4aaef4000f10 (patch) | |
| tree | 9fd000e1fb459b1f6e2d1d39f496e6b318d5532c /src | |
| parent | f3fdd5ea2d77174fdc89447761c66043174556a6 (diff) | |
proper pretty printing of tokens in PGF.PMCFG
Diffstat (limited to 'src')
| -rw-r--r-- | src/PGF/PMCFG.hs | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/PGF/PMCFG.hs b/src/PGF/PMCFG.hs index 9abeb73dc..3196674ee 100644 --- a/src/PGF/PMCFG.hs +++ b/src/PGF/PMCFG.hs @@ -70,7 +70,7 @@ ppProduction (fcat,FApply funid args) = ppProduction (fcat,FCoerce arg) =
ppFCat fcat <+> text "->" <+> char '_' <> brackets (ppFCat arg)
ppProduction (fcat,FConst _ s) =
- ppFCat fcat <+> text "->" <+> text (show s)
+ ppFCat fcat <+> text "->" <+> ppStr s
ppFun (funid,FFun fun _ arr) =
ppFunId funid <+> text ":=" <+> parens (hcat (punctuate comma (map ppSeqId (elems arr)))) <+> brackets (text (prCId fun))
@@ -83,7 +83,14 @@ ppStartCat (id,fcats) = 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)
+ppSymbol (FSymTok t) = ppTokn t
+
+ppTokn (KS t) = ppStr t
+ppTokn (KP ts alts) = text "pre" <+> braces (hsep (punctuate semi (hsep (map ppStr ts) : map ppAlt alts)))
+
+ppAlt (Alt ts ps) = hsep (map ppStr ts) <+> char '/' <+> hsep (map ppStr ps)
+
+ppStr s = doubleQuotes (text s)
ppFCat fcat
| fcat == fcatString = text "String"
|