Show more errors
The totality warnings mean that elaboration doesn't stop when it sees a
totality issue. Allow both issues to be reported in this test.
commita6caf2d3999b532fdfc44329848099e8849bee35
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 6 May 2014, 19:45 (12 years ago)
parent7143962
test/reg018/expected+1
@@ -1,4 +1,5 @@
11reg018a.idr:16:1:conat.minusCoNat is possibly not total due to recursive path conat.minusCoNat
2+reg018a.idr:21:1:conat.loopForever is possibly not total due to: conat.minusCoNat
23reg018b.idr:8:1:A.showB is possibly not total due to recursive path A.showB
34reg018c.idr:19:1:CodataTest.inf is possibly not total due to: {CodataTest.inf19}
45reg018d.idr:5:1:Main.pull is not total as there are missing cases