git.iko.soy/Idris-dev
on master help sign in
Consolidate reg050 into regression002
88c66f9Steven Shaw
test/reg050/expecteddeleted−10
compare with master
unifiedsplit
@@ -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
75 Void
75 Void
76
76
77No such variable Bogus
77No 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 <<!
19:load reg035b.idr
19:load reg035b.idr
20:load reg044.idr
20:load reg044.idr
21:load reg049.idr
21:load reg049.idr
22+:load working.idr
23+:load badbangop.idr
24+:load baddoublebang.idr
22!
25!
23
26
24rm -f *.ibc
27rm -f *.ibc
test/reg050/working.idr → test/regression002/working.idrrenamed

The content is the same.