git.iko.soy/Idris-dev
on master help sign in
Fix error location in test
e1fce3fDavid Raymond Christiansen
test/proof002/expected+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−Reflect.idr:208:38:
1+test030a.idr:12:26-14:1:
2When checking right hand side of testReflect1:
2When checking right hand side of testReflect1:
3When checking an application of function Reflect.getJust:
3When checking an application of function Reflect.getJust:
4 Type mismatch between
4 Type mismatch between