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

Forbid and and or as the designator in a pattern #33425

Closed
gafter opened this issue Feb 15, 2019 · 1 comment
Closed

Forbid and and or as the designator in a pattern #33425

gafter opened this issue Feb 15, 2019 · 1 comment
Assignees
@gafter
Labels
Area-Compilers Feature - Pattern Matching Pattern Matching Feature Request
Milestone
16.1

Comments

@gafter
Copy link
Member

gafter commented Feb 15, 2019

In anticipation of possibly permitting and and or as pattern combinators in the future, we should forbid (or at least warn) when these identifiers are used as the designator in a declaration or recursive pattern.
@gafter gafter added this to the 16.1 milestone Feb 15, 2019
@gafter gafter self-assigned this Feb 15, 2019
@gafter gafter mentioned this issue Feb 15, 2019
Closed
@gafter
Copy link
Member Author

gafter commented Feb 15, 2019

Added to LDM agenda in the patter-matching open issue list.

@gafter gafter closed this as completed Feb 15, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@gafter gafter

Labels
Area-Compilers Feature - Pattern Matching Pattern Matching Feature Request
Projects
None yet
Milestone
16.1
Development

No branches or pull requests
1 participant
@gafter