Add --nowarnreach to two tests.
commit014f993726bb7a9fab9fab55a441090b569f0a02
authorMatus Tejiscak <ziman@functor.sk>
dateTue 11 Mar 2014, 12:16 (13 years ago)
parent843238d
test/proof003/Parity.idr+2−2
@@ -1,8 +1,8 @@
11module Parity
22
33data Parity : Nat -> Type where
4− even : Parity (n + n)
5− odd : Parity (S (n + n))
4+ even : {n : Nat} -> Parity (n + n)
5+ odd : {n : Nat} -> Parity (S (n + n))
66
77parity : (n:Nat) -> Parity n
88parity Z = even {n=Z}
test/records001/run+1−1
@@ -1,4 +1,4 @@
11#!/usr/bin/env bash
2−idris $@ test011.idr -o test011
2+idris $@ test011.idr -o test011 --nowarnreach
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
2+idris reg002.idr -o reg002 --nowarnreach
33./reg002
44rm -f reg002 *.ibc