Copatterns Implementation - tdidriksen/Idris-dev GitHub Wiki
As GitHub does not seem to support milestones on forks, we will proceed with a wiki page.
Here's how I imagine the roadmap for a copatterns implementation:
- Investigate elaborator
- Create a meaningful function definition using existing elaborator constructs
- Parse copatterns
- PTerm copatterns
- Implement elaborated copatterns
- Implement non-nested copatterns without support for standard pattern matching
- Implement support for standard pattern matching in copattern clauses
- Implement nested copatterns (with support for standard pattern matching