git.iko.soy/Idris-dev
on master help sign in
Consolidate reg049 into regression002
d15d21bSteven Shaw
test/reg049/expecteddeleted−6
compare with master
unifiedsplit
@@ -1,6 +0,0 @@
1−reg049.idr:2:9:When checking constructor Main.Bogus:
2−Void is not Main.Foo
3−reg049.idr:5:6:When checking right hand side of uhOh with expected type
4− Void
5−
6−No such variable Bogus
test/reg049/rundeleted−3
@@ -1,3 +0,0 @@
1−#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --nocolour --check $@ reg049.idr
3−rm -f *.ibc
test/regression002/expected+7
@@ -68,3 +68,10 @@ Specifically:
68 b
68 b
69 and
69 and
70 a
70 a
71+reg049.idr:2:9:When checking constructor Main.Bogus:
72+Void is not Main.Foo
73+reg049.idr:5:6:
74+When checking right hand side of uhOh with expected type
75+ Void
76+
77+No such variable Bogus
test/reg049/reg049.idr → test/regression002/reg049.idrrenamed

The content is the same.

test/regression002/run+1
@@ -18,6 +18,7 @@ ${IDRIS:-idris} $@ --nobanner --nocolour --quiet <<!
18:load reg035a.lidr
18:load reg035a.lidr
19:load reg035b.idr
19:load reg035b.idr
20:load reg044.idr
20:load reg044.idr
21+:load reg049.idr
21!
22!
22
23
23rm -f *.ibc
24rm -f *.ibc