Consolidate reg050 into regression002
commit88c66f9a59ae4726409f67da7158b647e57b5766
authorSteven Shaw <steven@steshaw.org>
dateFri 5 Aug 2016, 20:47 (10 years ago)
parentd15d21b
test/reg050/expecteddeleted−10
@@ -1,10 +0,0 @@
1−./badbangop.idr:7:1: error: ! is
2− not a valid
3− operator, expected: space
4−(!) : List a -> Nat -> Maybe a
5−^
6−./baddoublebang.idr:6:28: error: unexpected
7− Operator without known fixity:
8− !!, expected: space
9−doubleBang mmn = do pure !!mmn
10− ^
test/reg050/rundeleted−5
@@ -1,5 +0,0 @@
1−#!/usr/bin/env bash
2−${IDRIS:-idris} $@ --nocolour --check working.idr
3−${IDRIS:-idris} $@ --nocolour --check badbangop.idr
4−${IDRIS:-idris} $@ --nocolour --check baddoublebang.idr
5−rm -f *.ibc
test/reg050/badbangop.idr → test/regression002/badbangop.idrrenamed
The content is the same.
test/reg050/baddoublebang.idr → test/regression002/baddoublebang.idrrenamed
The content is the same.
test/regression002/expected+10
@@ -75,3 +75,13 @@ When checking right hand side of uhOh with expected type
7575 Void
7676
7777No such variable Bogus
78+./badbangop.idr:7:1: error: ! is
79+ not a valid
80+ operator, expected: space
81+(!) : List a -> Nat -> Maybe a
82+^
83+./baddoublebang.idr:6:28: error: unexpected
84+ Operator without known fixity:
85+ !!, expected: space
86+doubleBang mmn = do pure !!mmn
87+ ^
test/regression002/run+3
@@ -19,6 +19,9 @@ ${IDRIS:-idris} $@ --nobanner --nocolour --quiet <<!
1919:load reg035b.idr
2020:load reg044.idr
2121:load reg049.idr
22+:load working.idr
23+:load badbangop.idr
24+:load baddoublebang.idr
2225!
2326
2427rm -f *.ibc
test/reg050/working.idr → test/regression002/working.idrrenamed
The content is the same.