diff options
Diffstat (limited to 'src/compiler/GF/Infra/Option.hs')
| -rw-r--r-- | src/compiler/GF/Infra/Option.hs | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 9785f6895..6bcbe3851 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -1,6 +1,7 @@ module GF.Infra.Option ( - -- ** Option types + -- ** Command line options + -- *** Option types Options, Flags(..), Mode(..), Phase(..), Verbosity(..), @@ -8,21 +9,21 @@ module GF.Infra.Option SISRFormat(..), Optimization(..), CFGTransform(..), HaskellOption(..), Dump(..), Pass(..), Recomp(..), outputFormatsExpl, - -- ** Option parsing + -- *** Option parsing parseOptions, parseModuleOptions, fixRelativeLibPaths, - -- ** Option pretty-printing + -- *** Option pretty-printing optionsGFO, optionsPGF, - -- ** Option manipulation + -- *** Option manipulation addOptions, concatOptions, noOptions, modifyFlags, helpMessage, - -- ** Checking specific options + -- *** Checking specific options flag, cfgTransform, haskellOption, readOutputFormat, isLexicalCat, isLiteralCat, renameEncoding, getEncoding, defaultEncoding, - -- ** Setting specific options + -- *** Setting specific options setOptimization, setCFGTransform, - -- ** Convenience methods for checking options + -- *** Convenience methods for checking options verbAtLeast, dump ) where |