From 3548610ba12a42d391c06cde41912ef61741b197 Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 8 Feb 2009 09:57:16 +0000 Subject: [PATCH] fixes in the pretty printer for PMCFG --- src/PGF/PMCFG.hs | 7 +++---- 1 file 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