git.iko.soy/Idris-dev
on master help sign in
Fix pruviloj test
954d858Joomy Korkut
test/pruviloj001/expected+2−2
compare with master
unifiedsplit
@@ -1,6 +1,6 @@
1−pruviloj001.idr:74:9:
1+pruviloj001.idr:73:9:
2Main.evenZ has a name which may be implicitly bound.
2Main.evenZ has a name which may be implicitly bound.
3This is likely to lead to problems!
3This is likely to lead to problems!
4−pruviloj001.idr:75:10:
4+pruviloj001.idr:74:10:
5Main.evenSS has a name which may be implicitly bound.
5Main.evenSS has a name which may be implicitly bound.
6This is likely to lead to problems!
6This is likely to lead to problems!