summaryrefslogtreecommitdiff
path: root/src/GF/Infra
diff options
context:
space:
mode:
authorkrasimir <krasimir@chalmers.se>2009-02-07 23:31:22 +0000
committerkrasimir <krasimir@chalmers.se>2009-02-07 23:31:22 +0000
commit5c2ce87cde2dee9f6af65ed5e63ee7d9f072f399 (patch)
tree3e0dd3ea1537b34657ec1c2bdc6223ed7ebfb10a /src/GF/Infra
parent14c13cb08077290643cb19538c7d0b3b50dc6df0 (diff)
PMCFG pretty printer
Diffstat (limited to 'src/GF/Infra')
-rw-r--r--src/GF/Infra/Option.hs6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs
index 4bc78d2a5..e02130ff3 100644
--- a/src/GF/Infra/Option.hs
+++ b/src/GF/Infra/Option.hs
@@ -16,7 +16,7 @@ module GF.Infra.Option
modifyFlags,
helpMessage,
-- * Checking specific options
- flag, cfgTransform, haskellOption,
+ flag, cfgTransform, haskellOption, readOutputFormat,
isLexicalCat,
-- * Setting specific options
setOptimization, setCFGTransform,
@@ -81,6 +81,7 @@ data Encoding = UTF_8 | ISO_8859_1 | CP_1251
deriving (Eq,Ord)
data OutputFormat = FmtPGFPretty
+ | FmtPMCFGPretty
| FmtJavaScript
| FmtHaskell
| FmtProlog
@@ -427,7 +428,8 @@ optDescr =
outputFormats :: [(String,OutputFormat)]
outputFormats =
- [("pgf-pretty", FmtPGFPretty),
+ [("pgf_pretty", FmtPGFPretty),
+ ("pmcfg_pretty", FmtPMCFGPretty),
("js", FmtJavaScript),
("haskell", FmtHaskell),
("prolog", FmtProlog),