Idris2-boot/tests/ttimp/coverage002/expected

Processing as TTImp
Written TTC
Yaffle> Main.lookup: All cases covered
Yaffle> Main.lookup':
($resolved135 {arg:0} {arg:1} (Main.FZ {m:0}) {arg:3})
Yaffle> Main.lookup'': Calls non covering function Main.lookup'
Yaffle> Bye for now!
Calculate missing cases via coverage checker 2019-06-03 01:43:21 +03:00			`Processing as TTImp`
			`Written TTC`
			`Yaffle> Main.lookup: All cases covered`
			`Yaffle> Main.lookup':`
Chapter 11 examples now working 2019-07-09 00:46:20 +03:00			`($resolved135 {arg:0} {arg:1} (Main.FZ {m:0}) {arg:3})`
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			`Yaffle> Main.lookup'': Calls non covering function Main.lookup'`
Calculate missing cases via coverage checker 2019-06-03 01:43:21 +03:00			`Yaffle> Bye for now!`