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

Pattern matching syntax and semantics #2188

Merged
merged 28 commits into from
Jan 7, 2023
Merged

Pattern matching syntax and semantics #2188

Changes from 4 commits
Commits
Show all changes
28 commits
Select commit Hold shift + click to select a range
f6e6558
Proposal: pattern matching syntax and semantics.
zygoloid Sep 15, 2022
3040dcf
Pre-commit.
zygoloid Sep 15, 2022
d2e03cb
Allow `{.a: T, ...}` as a pattern even though it contains no bindings.
zygoloid Sep 15, 2022
931068b
Avoid mismatched braces in examples.
zygoloid Sep 15, 2022
9551c27
Handle grouping parentheses.
zygoloid Sep 15, 2022
0eb5834
Add bullets to prevent grammar productions from wrapping together
zygoloid Sep 16, 2022
e908623
Fix tuple / struct typo.
zygoloid Sep 16, 2022
7fee7d2
Allow trailing comma for one-tuple patterns.
zygoloid Sep 16, 2022
1f3bb35
Allow reuse of comparison results. Improve wording. Add future work to
zygoloid Sep 16, 2022
68de53b
Address review comments and feedback. Remove `identifier: pattern`.
zygoloid Sep 20, 2022
bbfccab
Add ref to #157.
zygoloid Sep 20, 2022
db3de32
Fix xref.
zygoloid Sep 20, 2022
b12a666
Add more xrefs to #2022 and to #1084.
zygoloid Sep 20, 2022
d7a568d
Update proposals/p2188.md
zygoloid Sep 21, 2022
591b77e
Update links now #2022 has landed.
zygoloid Sep 21, 2022
b4d810b
Reformat
zygoloid Sep 21, 2022
e6125b8
Merge branch 'trunk' into proposal-pattern-match
zygoloid Sep 21, 2022
eabdce5
Don't try to reason symbolically about types in templates.
zygoloid Sep 22, 2022
d968e0e
Fix typo.
zygoloid Nov 1, 2022
09fd308
Respond to some review comments.
zygoloid Nov 1, 2022
c7ad276
Add as-patterns as future work.
zygoloid Nov 2, 2022
f0cc392
Require exhaustiveness as suggested in code review and discussed on
zygoloid Nov 16, 2022
213981b
Add examples.
zygoloid Dec 1, 2022
4f5b78e
Re-add sharper template dependence rule.
zygoloid Dec 1, 2022
85a1135
Apply suggestions from code review
zygoloid Dec 3, 2022
a0803c0
Review comments.
zygoloid Dec 3, 2022
f832e40
Updates based on review comments.
zygoloid Dec 6, 2022
acba0cd
Add another benefit of `is` from the weekly sync meeting.
zygoloid Dec 7, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading