Added pgf-pretty output-format

2026-04-19 01:39:32 -06:00 · 2008-09-26 15:21:32 +00:00
parent 0f4e8468be
commit ba321be3ff
3 changed files with 91 additions and 0 deletions
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -81,6 +81,7 @@ data Encoding = UTF_8 | ISO_8859_1 | CP_1251
  deriving (Eq,Ord)

 data OutputFormat = FmtPGF 
+                  | FmtPGFPretty
                  | FmtJavaScript 
                  | FmtHaskell 
                  | FmtHaskell_GADT 
@@ -453,6 +454,7 @@ optDescr =
 outputFormats :: [(String,OutputFormat)]
 outputFormats = 
    [("pgf",          FmtPGF),
+     ("pgf-pretty",   FmtPGFPretty),
     ("js",           FmtJavaScript),
     ("haskell",      FmtHaskell),
     ("haskell_gadt", FmtHaskell_GADT),