git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1067 from Melvar/fix-reg039
56147bfEdwin Brady
idris.cabal+3
compare with master
unifiedsplit
@@ -227,6 +227,9 @@ Extra-source-files:
227 test/reg038/run
227 test/reg038/run
228 test/reg038/*.idr
228 test/reg038/*.idr
229 test/reg038/expected
229 test/reg038/expected
230+ test/reg039/run
231+ test/reg039/*.idr
232+ test/reg039/expected
230
233
231 test/basic001/run
234 test/basic001/run
232 test/basic001/*.idr
235 test/basic001/*.idr
test/reg039/run+7−1
@@ -22,5 +22,11 @@ timeout() {
22
22
23}
23}
24
24
25+declare -a extraargs
26+for arg in "$@"
27+do
28+ extraargs=("${extraargs[@]}" "'$arg'")
29+done
30+
25−timeout 60 "idris $@ --nocolour reg039.idr --exec go"
31+timeout 60 "idris ${extraargs[*]} --nocolour reg039.idr --exec go"
26rm -f reg039 *.ibc
32rm -f reg039 *.ibc