git.iko.soy/Idris-dev
on master help sign in
Ignore usage warnings in test/effects*.
0916929Matus Tejiscak
test/effects001/run+2−2
compare with master
unifiedsplit
@@ -1,6 +1,6 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris -p effects $@ test021.idr -o test021
2+idris -p effects $@ test021.idr -o test021 --nowarnreach
3−idris -p effects $@ test021a.idr -o test021a
3+idris -p effects $@ test021a.idr -o test021a --nowarnreach
4./test021
4./test021
5./test021a
5./test021a
6rm -f test021 test021a *.ibc
6rm -f test021 test021a *.ibc
test/effects002/run+1−1
@@ -1,4 +1,4 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−idris -p effects $@ test025.idr -o test025
2+idris -p effects $@ test025.idr -o test025 --nowarnreach
3./test025
3./test025
4rm -f test025 *.ibc
4rm -f test025 *.ibc