git.iko.soy/Idris-dev
on master help sign in
Consolidate reg003 into regression002
1db1851Steven Shaw
test/reg003/rundeleted−3
compare with master
unifiedsplit
@@ -1,3 +0,0 @@
1−#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --check reg003.idr reg003a.idr
3−rm -f *.ibc
test/reg003/expected → test/regression002/expectedrenamed

The content is the same.

test/reg003/reg003.idr → test/regression002/reg003.idrrenamed

The content is the same.

test/reg003/reg003a.idr → test/regression002/reg003a.idrrenamed

The content is the same.

test/regression002/runnew file+8
@@ -0,0 +1,8 @@
1+#!/usr/bin/env bash
2+
3+${IDRIS:-idris} $@ --nobanner --nocolour --quiet <<!
4+:load reg003.idr
5+:load reg003a.idr
6+!
7+
8+rm -f *.ibc