Update result of reg028
Name generation order has changed for 'with' clauses, due to more uses
of getName.
commitb881bffd6c3092e76c506a23f0cdaf27f6f03d5f
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 30 Nov 2013, 13:53 (13 years ago)
parent7b8f3b4
test/reg028/expected+2−2
@@ -1,2 +1,2 @@
1−reg028.idr:5:1:tbad.bad is possibly not total due to: {tbad.bad12}
2−reg028a.idr:11:1:tbad.qsort' is possibly not total due to: {tbad.qsort'14}
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'18}