diff options
| author | bringert <unknown> | 2005-03-08 14:31:22 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-03-08 14:31:22 +0000 |
| commit | 7194efcea85e6a1d16b35fd2ad268dfc675a1b24 (patch) | |
| tree | 4394b0668240b8e4d92d62d2d4a80313015033b8 /src/GF/Infra/Option.hs | |
| parent | a4b8921544c5e809f4f664d2fa19bb8257fa77bf (diff) | |
Finished UTF8 identifier conversion. Will probably redo it at string level, i.e. after pretty-printing instead
Diffstat (limited to 'src/GF/Infra/Option.hs')
| -rw-r--r-- | src/GF/Infra/Option.hs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/GF/Infra/Option.hs b/src/GF/Infra/Option.hs index 8ee49b68d..a1a4e3468 100644 --- a/src/GF/Infra/Option.hs +++ b/src/GF/Infra/Option.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/02/25 15:35:48 $ --- > CVS $Author: aarne $ --- > CVS $Revision: 1.21 $ +-- > CVS $Date: 2005/03/08 15:31:22 $ +-- > CVS $Author: bringert $ +-- > CVS $Revision: 1.22 $ -- -- Options and flags used in GF shell commands and files. -- @@ -151,7 +151,7 @@ dontParse = iOpt "read" showAbstr, showXML, showOld, showLatex, showFullForm, showEBNF, showCF, showWords, showOpts, isCompiled, isHaskell, noCompOpers, retainOpers, - newParser, noCF, checkCirc, noCheckCirc, lexerByNeed :: Option + newParser, noCF, checkCirc, noCheckCirc, lexerByNeed, useUTF8id :: Option defaultGrOpts :: [Option] showAbstr = iOpt "abs" @@ -174,6 +174,7 @@ noCF = iOpt "nocf" checkCirc = iOpt "nocirc" noCheckCirc = iOpt "nocheckcirc" lexerByNeed = iOpt "cflexer" +useUTF8id = iOpt "utf8id" -- ** linearization |