Add --nowarnreach.
commitbfd99005dcdd7c629330ef3ad1c27fb302cccd5b
authorMatus Tejiscak <ziman@functor.sk>
dateWed 26 Feb 2014, 14:25 (13 years ago)
parente8c6a5b
main/Main.hs+1
@@ -108,6 +108,7 @@ usagemsg = usagemsghdr ++ "\n" ++
108108 "\t --check Undocumented\n" ++
109109 "\t --total Require functions to be total by default\n" ++
110110 "\t --partial Undocumented\n" ++
111+ "\t --nowarnreach Do not warn about reachable but inaccessible arguments\n" ++
111112 "\t --warnpartial Warn about undeclared partial functions.\n" ++
112113 "\t --warn Undocumented\n" ++
113114 "\t --typecase Undocumented\n" ++
src/Idris/AbsSyntaxTree.hs+1
@@ -324,6 +324,7 @@ data Opt = Filename String
324324 | DefaultTotal
325325 | DefaultPartial
326326 | WarnPartial
327+ | NoWarnReach
327328 | NoCoverage
328329 | ErrContext
329330 | ShowImpl
src/Idris/Erasure.hs+3−1
@@ -80,7 +80,9 @@ performUsageAnalysis = do
8080 logLvl 5 $ "Residual deps:\n" ++ unlines (map fmtItem . M.toList $ residDeps)
8181
8282 -- Check that everything reachable is accessible.
83− mapM_ (checkAccessibility opt) usage
83+ checkEnabled <- (NoWarnReach `notElem`) . opt_cmdline . idris_options <$> getIState
84+ when checkEnabled $
85+ mapM_ (checkAccessibility opt) usage
8486
8587 -- Store the usage info in the internal state.
8688 mapM_ (storeUsage cg) usage
src/Idris/REPL.hs+1
@@ -1111,6 +1111,7 @@ parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)
11111111parseArgs ("--total":ns) = DefaultTotal : (parseArgs ns)
11121112parseArgs ("--partial":ns) = DefaultPartial : (parseArgs ns)
11131113parseArgs ("--warnpartial":ns) = WarnPartial : (parseArgs ns)
1114+parseArgs ("--nowarnreach":ns) = NoWarnReach : (parseArgs ns)
11141115parseArgs ("--nocoverage":ns) = NoCoverage : (parseArgs ns)
11151116parseArgs ("--errorcontext":ns) = ErrContext : (parseArgs ns)
11161117parseArgs ("--help":ns) = Usage : (parseArgs ns)