bfd9900 · Idris-dev · git.iko.soy

main/Main.hs+1

compare with master

unifiedsplit

@@ -108,6 +108,7 @@ usagemsg = usagemsghdr ++ "\n" ++

108 "\t --check Undocumented\n" ++

109 "\t --total Require functions to be total by default\n" ++

110 "\t --partial Undocumented\n" ++

111+ "\t --nowarnreach Do not warn about reachable but inaccessible arguments\n" ++

111 "\t --warnpartial Warn about undeclared partial functions.\n" ++

112 "\t --warnpartial Warn about undeclared partial functions.\n" ++

112 "\t --warn Undocumented\n" ++

113 "\t --warn Undocumented\n" ++

113 "\t --typecase Undocumented\n" ++

114 "\t --typecase Undocumented\n" ++

src/Idris/AbsSyntaxTree.hs+1

@@ -324,6 +324,7 @@ data Opt = Filename String

324 | DefaultTotal

325 | DefaultPartial

326 | WarnPartial

327+ | NoWarnReach

327 | NoCoverage

328 | NoCoverage

328 | ErrContext

329 | ErrContext

329 | ShowImpl

330 | ShowImpl

src/Idris/Erasure.hs+3−1

@@ -80,7 +80,9 @@ performUsageAnalysis = do

80 logLvl 5 $ "Residual deps:\n" ++ unlines (map fmtItem . M.toList $ residDeps)

81

82 -- Check that everything reachable is accessible.

83+ checkEnabled <- (NoWarnReach `notElem`) . opt_cmdline . idris_options <$> getIState

84+ when checkEnabled $

83− mapM_ (checkAccessibility opt) usage

85+ mapM_ (checkAccessibility opt) usage

84

86

85 -- Store the usage info in the internal state.

87 -- Store the usage info in the internal state.

86 mapM_ (storeUsage cg) usage

88 mapM_ (storeUsage cg) usage

src/Idris/REPL.hs+1

@@ -1111,6 +1111,7 @@ parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)

1111parseArgs ("--total":ns) = DefaultTotal : (parseArgs ns)

1112parseArgs ("--partial":ns) = DefaultPartial : (parseArgs ns)

1113parseArgs ("--warnpartial":ns) = WarnPartial : (parseArgs ns)

1114+parseArgs ("--nowarnreach":ns) = NoWarnReach : (parseArgs ns)

1114parseArgs ("--nocoverage":ns) = NoCoverage : (parseArgs ns)

1115parseArgs ("--nocoverage":ns) = NoCoverage : (parseArgs ns)

1115parseArgs ("--errorcontext":ns) = ErrContext : (parseArgs ns)

1116parseArgs ("--errorcontext":ns) = ErrContext : (parseArgs ns)

1116parseArgs ("--help":ns) = Usage : (parseArgs ns)

1117parseArgs ("--help":ns) = Usage : (parseArgs ns)