Fix pruviloj test
commit954d858742cafa8b689c2abbb49400b8d0fc6d12
authorJoomy Korkut <joomy@cattheory.com>
dateWed 4 Oct 2017, 07:29 (9 years ago)
parent42b2f8d
test/pruviloj001/expected+2−2
@@ -1,6 +1,6 @@
1−pruviloj001.idr:74:9:
1+pruviloj001.idr:73:9:
22Main.evenZ has a name which may be implicitly bound.
33This is likely to lead to problems!
4−pruviloj001.idr:75:10:
4+pruviloj001.idr:74:10:
55Main.evenSS has a name which may be implicitly bound.
66This is likely to lead to problems!