Idris2-boot/tests/idris2/total006/expected

1/1: Building Total (Total.idr)
Main> Main.count is total
Main> Main.badCount is not terminating due to recursive path Main.badCount -> Prelude.Functor implementation at Prelude.idr:873:1--877:1 -> Prelude.map
Main> Main.process is total
Main> Main.badProcess is not terminating due to recursive path Main.badProcess -> Main.badProcess -> Main.badProcess
Main> Main.doubleInt is total
Main> Main.main is total
Main> Bye for now!
A bit more totality checking polish Need to check for 'assert_total' in getRefs, and get Inf and Lazy the right way around! 2019-06-25 14:57:49 +03:00			`1/1: Building Total (Total.idr)`
			`Main> Main.count is total`
Merge branch 'linearity-clean' of https://github.com/ohad/Idris2 into ohad-linearity-clean 2020-01-19 19:56:13 +03:00			`Main> Main.badCount is not terminating due to recursive path Main.badCount -> Prelude.Functor implementation at Prelude.idr:873:1--877:1 -> Prelude.map`
A bit more totality checking polish Need to check for 'assert_total' in getRefs, and get Inf and Lazy the right way around! 2019-06-25 14:57:49 +03:00			`Main> Main.process is total`
			`Main> Main.badProcess is not terminating due to recursive path Main.badProcess -> Main.badProcess -> Main.badProcess`
			`Main> Main.doubleInt is total`
			`Main> Main.main is total`
			`Main> Bye for now!`