mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-10-26 18:02:24 +03:00
Add --nowarnreach.
This commit is contained in:
parent
e8c6a5bb03
commit
bfd99005dc
@ -108,6 +108,7 @@ usagemsg = usagemsghdr ++ "\n" ++
|
||||
"\t --check Undocumented\n" ++
|
||||
"\t --total Require functions to be total by default\n" ++
|
||||
"\t --partial Undocumented\n" ++
|
||||
"\t --nowarnreach Do not warn about reachable but inaccessible arguments\n" ++
|
||||
"\t --warnpartial Warn about undeclared partial functions.\n" ++
|
||||
"\t --warn Undocumented\n" ++
|
||||
"\t --typecase Undocumented\n" ++
|
||||
|
@ -324,6 +324,7 @@ data Opt = Filename String
|
||||
| DefaultTotal
|
||||
| DefaultPartial
|
||||
| WarnPartial
|
||||
| NoWarnReach
|
||||
| NoCoverage
|
||||
| ErrContext
|
||||
| ShowImpl
|
||||
|
@ -80,7 +80,9 @@ performUsageAnalysis = do
|
||||
logLvl 5 $ "Residual deps:\n" ++ unlines (map fmtItem . M.toList $ residDeps)
|
||||
|
||||
-- Check that everything reachable is accessible.
|
||||
mapM_ (checkAccessibility opt) usage
|
||||
checkEnabled <- (NoWarnReach `notElem`) . opt_cmdline . idris_options <$> getIState
|
||||
when checkEnabled $
|
||||
mapM_ (checkAccessibility opt) usage
|
||||
|
||||
-- Store the usage info in the internal state.
|
||||
mapM_ (storeUsage cg) usage
|
||||
|
@ -1111,6 +1111,7 @@ parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)
|
||||
parseArgs ("--total":ns) = DefaultTotal : (parseArgs ns)
|
||||
parseArgs ("--partial":ns) = DefaultPartial : (parseArgs ns)
|
||||
parseArgs ("--warnpartial":ns) = WarnPartial : (parseArgs ns)
|
||||
parseArgs ("--nowarnreach":ns) = NoWarnReach : (parseArgs ns)
|
||||
parseArgs ("--nocoverage":ns) = NoCoverage : (parseArgs ns)
|
||||
parseArgs ("--errorcontext":ns) = ErrContext : (parseArgs ns)
|
||||
parseArgs ("--help":ns) = Usage : (parseArgs ns)
|
||||
|
Loading…
Reference in New Issue
Block a user