search

frex-project / idris-frex

Other
46 stars 9 forks source link

Fix to be compatible with Idris2#2535 #66

Open ohad opened 2 years ago

ohad commented 2 years ago

Idris2#2535 adds a quantity argument to PCase and ICase. Update the reflection code to include this additional argument and update the CI to go downstream from that version.

Don't merge this commit into main until #2535 is merged, and when that happens, update the CI again to be downstream from there.