git.iko.soy/Idris-dev
on master help sign in
Update test for more informative error messages
f569155David Raymond Christiansen
test/basic006/expected+7−6
compare with master
unifiedsplit
@@ -1,13 +1,14 @@
1When elaborating right hand side of foo:
1When elaborating right hand side of foo:
2−test020a.idr:14:18:Can't unify
2+test020a.idr:14:18:When elaborating an application of function Prelude.List.reverse:
3− Vect n a
4−with
5− List a
6−
7−Specifically:
8 Can't unify
3 Can't unify
9 Vect n a
4 Vect n a
10 with
5 with
11 List a
6 List a
7+
8+ Specifically:
9+ Can't unify
10+ Vect n a
11+ with
12+ List a
12[3, 2, 1]
13[3, 2, 1]
13"Number 42"
14"Number 42"