Idris2/tests/idris2/coverage010/expected

1/1: Building casetot (casetot.idr)
casetot.idr:12:1--13:1:main is not covering at:
12	main : IO ()
13	main = do

	Calls non covering function Main.case block in 2147(630)
Calculate compile time references even in case If we don't do this, we don't look inside case blocks to check they cover, and so we might miss coverage errors in nested case blocks. Fixes #202 2020-05-30 23:53:29 +03:00			`1/1: Building casetot (casetot.idr)`
Fixed tests 2020-06-11 23:46:36 +03:00			`casetot.idr:12:1--13:1:main is not covering at:`
			`12 main : IO ()`
			`13 main = do`

Update test output 2020-07-01 13:53:06 +03:00			`Calls non covering function Main.case block in 2147(630)`