idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-23 11:43:08 +03:00
Code Issues Projects Releases Wiki Activity
2,864 Commits 6 Branches 9 Tags 115 MiB
a197300f77
Commit Graph

2 Commits

Author SHA1 Message Date
Guillaume ALLAIS
63bf9f2900 [ re #1852 ] Partial fix without the Hole UN refactoring 2021-11-24 10:54:32 +00:00
Edwin Brady
4ca8caeb13 Fix case split in parameter blocks 
We need to make sure variables are bound as PVar, in the end, otherwise
the case split machinery doesn't know how to handle them.
 2021-07-10 19:13:27 +01:00