Skip to content

Add Unscoped classifier #24470

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
odersky merged 13 commits into from
Nov 20, 2025
Merged

Add Unscoped classifier #24470

Changes from 1 commit
Commits
Show all changes
13 commits
Select commit Hold shift + click to select a range
1d48e30
Add Unscoped classifier
odersky Nov 16, 2025
54de369
Revert "Represent read-only with a classifier"
odersky Nov 17, 2025
da00515
Expand level owner of unscoped fresh caps only where necessary
odersky Nov 17, 2025
48f8c0f
Consume Unscoped caps assigned to outer variables
odersky Nov 18, 2025
21e7a30
Drop `Read` as a classifier
odersky Nov 18, 2025
81d56a5
Fix parsing of derived capabilities
odersky Nov 18, 2025
3cf2e5c
Let implied class capabilities respect read-only
odersky Nov 19, 2025
503ba4a
Don't consider `val _: T = e` as a binding in SepChecks
odersky Nov 19, 2025
f43149a
Require that consume parameters are covered by a FreshCap
odersky Nov 19, 2025
2a0ba0e
Don't treat consume class parameters as refining accessors
odersky Nov 20, 2025
d54f0fc
Update classifiers.md
odersky Nov 20, 2025
f7db3fd
Add more tests for consume constructor parameters
bracevac Nov 20, 2025
df8c615
Update internals/syntax.md
bracevac Nov 20, 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
Prev Previous commit
Update internals/syntax.md
  • Loading branch information
@bracevac
bracevac committed Nov 20, 2025
commit df8c615c0194ef536f919aff74a65645a7a2c622
6 changes: 3 additions & 3 deletions docs/_docs/internals/syntax.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -234,9 +234,9 @@ TypeBound ::= Type
| CaptureSet -- under captureChecking
NamesAndTypes ::= NameAndType {‘,’ NameAndType}
NameAndType ::= id ':' Type
CaptureSet ::= ‘{’ CaptureRef {‘,’ CaptureRef} ‘}’ -- under captureChecking
CaptureRef ::= { SimpleRef ‘.’ } SimpleRef [‘*’] [CapFilter] [‘.’ ‘rd’] -- under captureChecking
CapFilter ::= ‘.’ ‘as’ ‘[’ QualId ’]’ -- under captureChecking
CaptureSet ::= '{' CaptureRef {',' CaptureRef} '}' -- under captureChecking
CaptureRef ::= { SimpleRef '.' } SimpleRef ['*'] [CapFilter] ['.' 'rd'] -- under captureChecking
CapFilter ::= '.' 'only' '[' QualId ']' -- under captureChecking
```

### Expressions
Expand Down
Loading