Fix error location in test
The syntax improvement has caused a more accurate location in an error
in a test.
commite1fce3fa2d0e3e68a8c3112ffdbc570c96a9ded7
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateThu 18 Jun 2015, 23:08 (11 years ago)
parentc48561f
test/proof002/expected+1−1
@@ -1,4 +1,4 @@
1−Reflect.idr:208:38:
1+test030a.idr:12:26-14:1:
22When checking right hand side of testReflect1:
33When checking an application of function Reflect.getJust:
44 Type mismatch between