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

git.iko.soy/Idris-dev

Make --nowarnreach the default (for now).

commit4957a33d9acfe3dc3b1b2a2d086af2e6318f2d2c authorMatus Tejiscak <ziman@functor.sk> dateSun 23 Mar 2014, 19:10 (13 years ago) parent779ecf2

8 files changed+9−9

compare with master

unifiedsplit

main/Main.hs+1−1 src/Idris/AbsSyntaxTree.hs+1−1 src/Idris/Erasure.hs+1−1 src/Idris/REPL.hs+1−1 test/effects001/run+2−2 test/effects002/run+1−1 test/records001/run+1−1 test/reg002/run+1−1

main/Main.hs+1−1

@@ -108,7 +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" ++

111+ "\t --warnreach Warn about reachable but inaccessible arguments\n" ++

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

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

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

src/Idris/AbsSyntaxTree.hs+1−1

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

325325 | DefaultTotal

326326 | DefaultPartial

327327 | WarnPartial

328− | NoWarnReach

328+ | WarnReach

329329 | NoCoverage

330330 | ErrContext

331331 | ShowImpl

src/Idris/Erasure.hs+1−1

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

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

8787

8888 -- Check that everything reachable is accessible.

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

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

9090 when checkEnabled $

9191 mapM_ (checkAccessibility opt) usage

9292

src/Idris/REPL.hs+1−1

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

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

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

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

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

test/effects001/run+2−2

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

11#!/usr/bin/env bash

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

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

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

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

44./test021

55./test021a

66rm -f test021 test021a *.ibc

test/effects002/run+1−1

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

11#!/usr/bin/env bash

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

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

33./test025

44rm -f test025 *.ibc

test/records001/run+1−1

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

11#!/usr/bin/env bash

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

2+idris $@ test011.idr -o test011

33./test011

44rm -f test011 test011.ibc

test/reg002/run+1−1

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

11#!/usr/bin/env bash

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

2+idris reg002.idr -o reg002

33./reg002

44rm -f reg002 *.ibc