Commit 1517ef88 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Log-message for: Improve command-line parser (add OptIntSuffix); make...

Log-message for: Improve command-line parser (add OptIntSuffix); make -fliberate-case-threshold dynamic

(Alas, Darcs failed to record my log-message for the above patch, 
so this patch is an attempt to add the log message retrospectively.)

Parsing options numeric arguments, such as
	-fliberate-case-threshold=30
for dynamic flags wasn't being handled well.  I elaborated the
command-line parser to have a new constructor, OptIntSuffix, for this
case, and did the consequential changes.

This patch also makes the -fliberate-case-threshold flag into a
dynamic flag.
parent 89a8960b
......@@ -33,7 +33,7 @@ data OptKind m -- Suppose the flag is -f
| AnySuffix (String -> m ()) -- -f or -farg; pass entire "-farg" to fn
| PrefixPred (String -> Bool) (String -> m ())
| AnySuffixPred (String -> Bool) (String -> m ())
processArgs :: Monad m
=> [(String, OptKind m)] -- cmdline parser spec
-> [String] -- args
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment