ed81980 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

Update expected error messages for tests

ed81980Ben Sherman12 years ago

test/basic006/expected−6

@@ -4,11 +4,5 @@ When elaborating an application of function Prelude.List.reverse:

4 Vect n a

5 with

6 List a

7−

8− Specifically:

9− Can't unify

10− Vect n a

11− with

12− List a

13[3, 2, 1]

7[3, 2, 1]

14"Number 42"

8"Number 42"

test/reg010/expected−6

@@ -3,9 +3,3 @@ Can't unify

3 P x

4with

5 P y

6−

7−Specifically:

8− Can't unify

9− P x

10− with

11− P y

test/reg023/expected−6

@@ -3,9 +3,3 @@ Can't unify

3 [94mNat[0m

4with

5 [92mf[0m [94mNat[0m

6−

7−Specifically:

8− Can't unify

9− [94mNat[0m

10− with

11− [92mf[0m [94mNat[0m