git.iko.soy/Idris-dev
on master help sign in
Update result of reg028
b881bffEdwin Brady
test/reg028/expected+2−2
compare with master
unifiedsplit
@@ -1,2 +1,2 @@
1−reg028.idr:5:1:tbad.bad is possibly not total due to: {tbad.bad12}
1+reg028.idr:5:1:tbad.bad is possibly not total due to: {tbad.bad16}
2−reg028a.idr:11:1:tbad.qsort' is possibly not total due to: {tbad.qsort'14}
2+reg028a.idr:11:1:tbad.qsort' is possibly not total due to: {tbad.qsort'18}