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.

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

Number type-checker for patterns and copatterns #231

Closed
valis opened this issue Jun 29, 2020 · 2 comments · Fixed by #262
Closed

Number type-checker for patterns and copatterns #231

valis opened this issue Jun 29, 2020 · 2 comments · Fixed by #262
Assignees
Labels
Milestone

Comments

@valis
Copy link
Collaborator

valis commented Jun 29, 2020

Number literals can appear in patterns, but number type-checker is not invoked there. We can also allow numbers in copatterns and invoke it there too.

@valis valis added the api label Jun 29, 2020
@ice1000
Copy link
Contributor

ice1000 commented Jul 7, 2020

Do we have language extension for patterns?

@valis
Copy link
Collaborator Author

valis commented Jul 8, 2020

Number typechecker is not invoked in patterns. That's a part of this task.

@ice1000 ice1000 self-assigned this Sep 24, 2020
ice1000 added a commit that referenced this issue Sep 24, 2020
ice1000 added a commit that referenced this issue Sep 24, 2020
ice1000 added a commit that referenced this issue Oct 1, 2020
ice1000 added a commit that referenced this issue Oct 2, 2020
ice1000 added a commit that referenced this issue Oct 15, 2020
@valis valis closed this as completed in 0ad28ee Oct 24, 2020
@ice1000 ice1000 added this to the 1.6 milestone Oct 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants