diff options
Diffstat (limited to 'src/compiler/GF/Compile/PGFPretty.hs')
| -rw-r--r-- | src/compiler/GF/Compile/PGFPretty.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/compiler/GF/Compile/PGFPretty.hs b/src/compiler/GF/Compile/PGFPretty.hs index 679714db5..706081999 100644 --- a/src/compiler/GF/Compile/PGFPretty.hs +++ b/src/compiler/GF/Compile/PGFPretty.hs @@ -60,6 +60,7 @@ prCnc abstr name c = prAll prLinCat (lincats c) $$ prAll prLin (lins (expand c)) pr p (P t1 t2) = prec p 3 (pr 3 t1 <> text "!" <> pr 3 t2) pr p (S ts) = prec p 2 (hsep (punctuate (text " ++") (map (pr 2) ts))) pr p (K (KS t)) = doubleQuotes (text t) + pr p (K _) = empty pr p (V i) = text ("argv_" ++ show (i+1)) pr p (C i) = text (show (i+1)) pr p (FV ts) = prec p 1 (hsep (punctuate (text " |") (map (pr 1) ts))) |