diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/PGF/PMCFG.hs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/PGF/PMCFG.hs b/src/PGF/PMCFG.hs index 83bcc0752..888dba796 100644 --- a/src/PGF/PMCFG.hs +++ b/src/PGF/PMCFG.hs @@ -73,18 +73,17 @@ ppProduction (fcat,FConst _ s) = ppFCat fcat <+> text "->" <+> text (show s)
ppFun (funid,FFun fun _ arr) =
- ppFunId funid <+> text ":=" <+> parens (hcat (punctuate comma (map ppSeqId (elems arr))))
+ ppFunId funid <+> text ":=" <+> parens (hcat (punctuate comma (map ppSeqId (elems arr)))) <+> brackets (text (prCId fun))
ppSeq (seqid,seq) =
- ppSeqId seqid <+> text ":=" <+> parens (hsep (map ppSymbol (elems seq)))
+ ppSeqId seqid <+> text ":=" <+> hsep (map ppSymbol (elems seq))
ppStartCat (id,fcats) =
text (prCId id) <+> text ":=" <+> brackets (hcat (punctuate comma (map ppFCat 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 t) = text (show t)
-
+ppSymbol (FSymTok (KS t)) = text (show t)
ppFCat fcat = char 'C' <> int fcat
ppFunId funid = char 'F' <> int funid
|