git.iko.soy/Idris-dev
on master help sign in
Update test for totality warnings
7f9526cDavid Raymond Christiansen
test/totality004/expected+1
compare with master
unifiedsplit
@@ -1,2 +1,3 @@
1[1, 2, 2, 4, 3, 6, 4, 8, 5, 10]
1[1, 2, 2, 4, 3, 6, 4, 8, 5, 10]
2totality004a.idr:13:1:Main.process is possibly not total due to recursive path Main.process --> Main.process --> Main.process
2totality004a.idr:13:1:Main.process is possibly not total due to recursive path Main.process --> Main.process --> Main.process
3+totality004a.idr:24:1:Main.main is possibly not total due to: Main.process