diff options
Diffstat (limited to 'src/compiler/GF/Infra/Option.hs')
| -rw-r--r-- | src/compiler/GF/Infra/Option.hs | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/compiler/GF/Infra/Option.hs b/src/compiler/GF/Infra/Option.hs index 8bcb52cc5..9785f6895 100644 --- a/src/compiler/GF/Infra/Option.hs +++ b/src/compiler/GF/Infra/Option.hs @@ -1,6 +1,6 @@ module GF.Infra.Option ( - -- * Option types + -- ** Option types Options, Flags(..), Mode(..), Phase(..), Verbosity(..), @@ -8,21 +8,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 |