idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-14 13:56:13 +03:00
Code Issues Projects Releases Wiki Activity
624 Commits 5 Branches 9 Tags 111 MiB
dbdf7dab3d
Commit Graph

1 Commits

Author SHA1 Message Date
Edwin Brady
26e6e1ed82 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 21:53:29 +01:00