Update test for more informative error messages
commitf56915508d10254dbe5566d9f7b822dda031121a
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 20 Mar 2014, 17:24 (13 years ago)
parentfb3f7f0
test/basic006/expected+7−6
@@ -1,13 +1,14 @@
11When elaborating right hand side of foo:
2−test020a.idr:14:18:Can't unify
3− Vect n a
4−with
5− List a
6−
7−Specifically:
2+test020a.idr:14:18:When elaborating an application of function Prelude.List.reverse:
83 Can't unify
94 Vect n a
105 with
116 List a
7+
8+ Specifically:
9+ Can't unify
10+ Vect n a
11+ with
12+ List a
1213[3, 2, 1]
1314"Number 42"