Idris2-boot/tests/ttimp/total003/expected

Processing as TTImp
Written TTC
Yaffle> Main.Bad is not strictly positive
Yaffle> Main.MkBad is not strictly positive
Yaffle> Main.MkBad' is not strictly positive
Yaffle> Main.foo is not terminating due to calls to Main.MkBad, Main.MkBad'
Yaffle> Main.T is not strictly positive
Yaffle> Bye for now!
Record mutual type definitions Also add some tests for totality checker 2019-06-05 19:28:55 +03:00			`Processing as TTImp`
			`Written TTC`
			`Yaffle> Main.Bad is not strictly positive`
			`Yaffle> Main.MkBad is not strictly positive`
			`Yaffle> Main.MkBad' is not strictly positive`
Fix naming issue in totality checker Also added a new test 2019-06-25 12:26:14 +03:00			`Yaffle> Main.foo is not terminating due to calls to Main.MkBad, Main.MkBad'`
Record mutual type definitions Also add some tests for totality checker 2019-06-05 19:28:55 +03:00			`Yaffle> Main.T is not strictly positive`
			`Yaffle> Bye for now!`