Update expected error messages for tests
commited8198032c10504d7f4e7f898b6594d0929cd7a1
authorBen Sherman <sherman@metsci.com>
dateWed 3 Dec 2014, 15:36 (12 years ago)
parent43cb5c7
test/basic006/expected−6
@@ -4,11 +4,5 @@ When elaborating an application of function Prelude.List.reverse:
44 Vect n a
55 with
66 List a
7−
8− Specifically:
9− Can't unify
10− Vect n a
11− with
12− List a
137[3, 2, 1]
148"Number 42"
test/reg010/expected−6
@@ -3,9 +3,3 @@ Can't unify
33 P x
44with
55 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
33 [94mNat[0m
44with
55 [92mf[0m [94mNat[0m
6−
7−Specifically:
8− Can't unify
9− [94mNat[0m
10− with
11− [92mf[0m [94mNat[0m