Skip to content

Rework range pattern rules #1756

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

Merged
merged 7 commits into from
Mar 18, 2025
Merged

Rework range pattern rules #1756

Changes from 1 commit
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
a84ea27
add RangeToExclusivePattern to the reference
m4rch3n1ng Mar 2, 2025
18e422e
Include all range types in the _RangePattern_ production
ehuss Mar 3, 2025
9628f6b
Add note about _ObsoleteRangePattern_ being edition-specific.
ehuss Mar 3, 2025
5ac1ad0
Drop mention of `...` since it is no longer supported in the latest e…
ehuss Mar 12, 2025
43c4bac
Move the definition of bounds to the intro
ehuss Mar 12, 2025
d42bb62
Fix patterns.range.constraint-slice
ehuss Mar 12, 2025
daa1992
Rework range pattern rules
ehuss Mar 12, 2025
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
Next Next commit
add RangeToExclusivePattern to the reference
  • Loading branch information
@m4rch3n1ng @ehuss
m4rch3n1ng authored and ehuss committed Mar 12, 2025
commit a84ea2783fcee84b70c3aa57e28e9a3c9b9d1f1b
8 changes: 6 additions & 2 deletions src/patterns.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -492,6 +492,9 @@ r[patterns.range.syntax]
> _RangeFromPattern_ :\
>       _RangePatternBound_ `..`
>
> _RangeToExclusivePattern_ :\
>       `..` _RangePatternBound_
>
> _RangeToInclusivePattern_ :\
>       `..=` _RangePatternBound_
>
Expand Down Expand Up @@ -537,8 +540,9 @@ For example, `1..` will match 1, 9, or 9001, or 9007199254740991 (if it is of an

r[patterns.range.open-above]
A range pattern with only an upper bound matches any value less than or equal to the upper bound.
It is written as `..=` followed by its upper bound, and has the same type as its upper bound.
For example, `..=10` will match 10, 1, 0, and for signed integer types, all negative values.
It is written as `..=` for an end-inclusive or `..` for an end-exclusive pattern, followed by its upper bound,
and has the same type as its upper bound.
For example, `..=10` will match 10, 1, 0, and for signed integer types, all negative values, while `..10` will not match 10.

r[patterns.range.constraint-slice]
Range patterns with only one bound cannot be used as the top-level pattern for subpatterns in [slice patterns](#slice-patterns).
Expand Down