Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Don't produce overlapped patterns #6

Open
goldfirere opened this issue May 7, 2014 · 1 comment
Open

Don't produce overlapped patterns #6

goldfirere opened this issue May 7, 2014 · 1 comment
Labels
enhancement

Comments

@goldfirere
Copy link
Owner

See goldfirere/singletons#60. Desugaring pattern guards sometimes leads to overlapping patterns, which is suboptimal. But, fixing this seems to require pattern completeness analysis. This will be made easier (that is, feasible) once pattern flattening is implemented.
goldfirere pushed a commit that referenced this issue May 7, 2014
Address #6, by detecting universal patterns.
f5a564e 
This implements a check for universal patterns and does not
continue to desugar matches after a universal pattern. This
does *not* eradicate #6, but it makes it less of a problem
in practice (in singletons).
@goldfirere goldfirere mentioned this issue May 7, 2014
Closed
@goldfirere
Copy link
Owner Author

Blocked by #7.

@RyanGlScott RyanGlScott mentioned this issue Apr 28, 2020
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@goldfirere @RyanGlScott