4957a33 · Idris-dev · git.iko.soy

main/Main.hs+1−1

compare with master

unifiedsplit

@@ -108,7 +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 --warnreach Warn about reachable but inaccessible arguments\n" ++

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

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

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

src/Idris/AbsSyntaxTree.hs+1−1

@@ -325,7 +325,7 @@ data Opt = Filename String

325 | DefaultTotal

326 | DefaultPartial

327 | WarnPartial

328− | NoWarnReach

328+ | WarnReach

329 | NoCoverage

330 | ErrContext

331 | ShowImpl

src/Idris/Erasure.hs+1−1

@@ -86,7 +86,7 @@ performUsageAnalysis = do

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

87

88 -- Check that everything reachable is accessible.

89− checkEnabled <- (NoWarnReach `notElem`) . opt_cmdline . idris_options <$> getIState

89+ checkEnabled <- (WarnReach `elem`) . opt_cmdline . idris_options <$> getIState

90 when checkEnabled $

91 mapM_ (checkAccessibility opt) usage

92

src/Idris/REPL.hs+1−1

@@ -1111,7 +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)

1114+parseArgs ("--warnreach":ns) = WarnReach : (parseArgs ns)

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

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

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

test/effects001/run+2−2

@@ -1,6 +1,6 @@

1#!/usr/bin/env bash

2−idris -p effects $@ test021.idr -o test021 --nowarnreach

2+idris -p effects $@ test021.idr -o test021

3−idris -p effects $@ test021a.idr -o test021a --nowarnreach

3+idris -p effects $@ test021a.idr -o test021a

4./test021

5./test021a

6rm -f test021 test021a *.ibc

test/effects002/run+1−1

@@ -1,4 +1,4 @@

1#!/usr/bin/env bash

2−idris -p effects $@ test025.idr -o test025 --nowarnreach

2+idris -p effects $@ test025.idr -o test025

3./test025

4rm -f test025 *.ibc

test/records001/run+1−1

@@ -1,4 +1,4 @@

1#!/usr/bin/env bash

2−idris $@ test011.idr -o test011 --nowarnreach

2+idris $@ test011.idr -o test011

3./test011

4rm -f test011 test011.ibc

test/reg002/run+1−1

@@ -1,4 +1,4 @@

1#!/usr/bin/env bash

2−idris reg002.idr -o reg002 --nowarnreach

2+idris reg002.idr -o reg002

3./reg002

4rm -f reg002 *.ibc