From 1cdf171251a56baf0867b65a95c9bd59801ff912 Mon Sep 17 00:00:00 2001 From: krasimir Date: Fri, 11 Sep 2009 13:45:34 +0000 Subject: polish the PGF API and make Expr and Type abstract types. Tree is a type synonym of Expr --- src/PGF/PMCFG.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/PGF/PMCFG.hs') diff --git a/src/PGF/PMCFG.hs b/src/PGF/PMCFG.hs index 480c7d91f..4957f5295 100644 --- a/src/PGF/PMCFG.hs +++ b/src/PGF/PMCFG.hs @@ -72,13 +72,13 @@ ppProduction (fcat,FConst _ ss) = ppFCat fcat <+> text "->" <+> ppStrs ss ppFun (funid,FFun fun _ arr) = - ppFunId funid <+> text ":=" <+> parens (hcat (punctuate comma (map ppSeqId (elems arr)))) <+> brackets (text (prCId fun)) + ppFunId funid <+> text ":=" <+> parens (hcat (punctuate comma (map ppSeqId (elems arr)))) <+> brackets (ppCId fun) ppSeq (seqid,seq) = ppSeqId seqid <+> text ":=" <+> hsep (map ppSymbol (elems seq)) ppStartCat (id,fcats) = - text (prCId id) <+> text ":=" <+> brackets (hcat (punctuate comma (map ppFCat fcats))) + ppCId 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 '>' -- cgit v1.2.3