Update test for totality warnings
Now, all totality problems are shown. Update test accordingly.
commit7f9526c5955b4a9380a4f2c808cf52034f8624fc
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateTue 6 May 2014, 19:57 (12 years ago)
parentcd8a233
test/totality004/expected+1
@@ -1,2 +1,3 @@
11[1, 2, 2, 4, 3, 6, 4, 8, 5, 10]
22totality004a.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