suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added a command-line option for turning on the usage checking

Browse Source
This commit is contained in:
Neil Brown 2008-01-29 22:50:51 +00:00
parent 5a7e6976d1
commit 6a979f3cb1
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
Main.hs
View File

@ -59,6 +59,7 @@ options =
, Option [] ["frontend"] (ReqArg optFrontend "FRONTEND") "language frontend (options: occam, rain)" , Option [] ["frontend"] (ReqArg optFrontend "FRONTEND") "language frontend (options: occam, rain)"
, Option ['v'] ["verbose"] (NoArg $ optVerbose) "be more verbose (use multiple times for more detail)" , Option ['v'] ["verbose"] (NoArg $ optVerbose) "be more verbose (use multiple times for more detail)"
, Option ['o'] ["output"] (ReqArg optOutput "FILE") "output file (default \"-\")" , Option ['o'] ["output"] (ReqArg optOutput "FILE") "output file (default \"-\")"
, Option [] ["usage-checking"] (ReqArg optUsageChecking "SETTING") "usage checking (EXPERIMENTAL) (options: on, off)"
] ]
optMode :: String -> OptFunc optMode :: String -> OptFunc
@ -94,6 +95,14 @@ optVerbose ps = return $ ps { csVerboseLevel = csVerboseLevel ps + 1 }
optOutput :: String -> OptFunc optOutput :: String -> OptFunc
optOutput s ps = return $ ps { csOutputFile = s } optOutput s ps = return $ ps { csOutputFile = s }
optUsageChecking :: String -> OptFunc
optUsageChecking s ps
= do usageCheck <- case s of
"on" -> return True
"off" -> return False
_ -> dieIO (Nothing, "Unknown usage checking mode: " ++ s)
return $ ps { csUsageChecking = usageCheck }
getOpts :: [String] -> IO ([OptFunc], [String]) getOpts :: [String] -> IO ([OptFunc], [String])
getOpts argv = getOpts argv =
case getOpt RequireOrder options argv of case getOpt RequireOrder options argv of