Consolidate reg049 into regression002
commitd15d21b9b129d4216fe4354cc2fdb9b22a9d44f1
authorSteven Shaw <steven@steshaw.org>
dateFri 5 Aug 2016, 20:42 (10 years ago)
parentd9b8bcb
test/reg049/expecteddeleted−6
@@ -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:
6868 b
6969 and
7070 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 <<!
1818:load reg035a.lidr
1919:load reg035b.idr
2020:load reg044.idr
21+:load reg049.idr
2122!
2223
2324rm -f *.ibc