diff options
| author | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-22 21:13:21 +0200 |
|---|---|---|
| committer | Krasimir Angelov <kr.angelov@gmail.com> | 2017-08-22 21:13:21 +0200 |
| commit | 00388039f14c04b37a52cb3fb471bfbfeda4d95c (patch) | |
| tree | add08a161de0b8160030f9d1bdd252187bf96135 /src/runtime/haskell/PGF | |
| parent | 82153bf271ca8392c91ae7342a480709ac209058 (diff) | |
a nicer pretty printing for the PGF format
Diffstat (limited to 'src/runtime/haskell/PGF')
| -rw-r--r-- | src/runtime/haskell/PGF/Printer.hs | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/runtime/haskell/PGF/Printer.hs b/src/runtime/haskell/PGF/Printer.hs index fbe9db596..43c270b13 100644 --- a/src/runtime/haskell/PGF/Printer.hs +++ b/src/runtime/haskell/PGF/Printer.hs @@ -47,9 +47,9 @@ ppCnc name cnc = text "productions" $$ nest 2 (vcat [ppProduction (fcat,prod) | (fcat,set) <- IntMap.toList (productions cnc), prod <- Set.toList set]) $$ text "lindefs" $$ - nest 2 (vcat (map ppFunList (IntMap.toList (lindefs cnc)))) $$ + nest 2 (vcat (concatMap ppLinDefs (IntMap.toList (lindefs cnc)))) $$ text "linrefs" $$ - nest 2 (vcat (map ppFunList (IntMap.toList (linrefs cnc)))) $$ + nest 2 (vcat (concatMap ppLinRefs (IntMap.toList (linrefs cnc)))) $$ text "lin" $$ nest 2 (vcat (map ppCncFun (assocs (cncfuns cnc)))) $$ text "sequences" $$ @@ -75,8 +75,11 @@ ppProduction (fid,PConst _ _ ss) = ppCncFun (funid,CncFun fun arr) = ppFunId funid <+> text ":=" <+> parens (hcat (punctuate comma (map ppSeqId (elems arr)))) <+> brackets (ppCId fun) -ppFunList (fid,funids) = - ppFId fid <+> text "->" <+> hcat (punctuate comma (map ppFunId funids)) +ppLinDefs (fid,funids) = + [ppFId fid <+> text "->" <+> ppFunId funid <> brackets (ppFId fidVar) | funid <- funids] + +ppLinRefs (fid,funids) = + [ppFId fidVar <+> text "->" <+> ppFunId funid <> brackets (ppFId fid) | funid <- funids] ppSeq (seqid,seq) = ppSeqId seqid <+> text ":=" <+> hsep (map ppSymbol (elems seq)) @@ -109,6 +112,7 @@ ppFId fid | fid == fidInt = text "CInt" | fid == fidFloat = text "CFloat" | fid == fidVar = text "CVar" + | fid == fidStart = text "CStart" | otherwise = char 'C' <> int fid ppFunId funid = char 'F' <> int funid |