Code

Exclusive capabilities revised#22544

Code

Merged

odersky merged 23 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:test-timeoutdotty-staging/dotty:test-timeoutCopy head branch name to clipboard

Feb 7, 2025

Commits

Commits on Feb 6, 2025

• Elide capabilities implied by Capability subtypes when printing

  Show description for d038367
  odersky

  committed
  d038367

  Copy full SHA for d038367

• Add Mutable classes and ReadOnly capabilities

  Show description for 6ddafb6
  odersky

  committed
  6ddafb6

  Copy full SHA for 6ddafb6

• Drop special handling of functions with pure arguments in Existential.toCap

  Show description for 779f913
  odersky

  committed
  779f913

  Copy full SHA for 779f913

• Implement fresh capabilities

  Show description for 7561432
  odersky

  committed
  7561432

  Copy full SHA for 7561432

• Separation checking for applications

  Show description for 052ffbc
  odersky

  committed
  052ffbc

  Copy full SHA for 052ffbc

• Separation checking for blocks

  Show description for dd422d1
  odersky

  committed
  dd422d1

  Copy full SHA for dd422d1

• Address review comments

  odersky

  committed
  a553277

  Copy full SHA for a553277

• Use deep capturesets for separation checking.

  Show description for bbce87d
  odersky

  committed
  bbce87d

  Copy full SHA for bbce87d

• Cache derived reach, readOnly, and maybe capabilities

  Show description for 4e1094f
  odersky

  committed
  4e1094f

  Copy full SHA for 4e1094f

• Avoid forming intersections of capture sets on refined type lookup

  odersky

  committed
  b3b524c

  Copy full SHA for b3b524c

• Check separation of different parts of a declared type.

  odersky

  committed
  fbb901e

  Copy full SHA for fbb901e

• Check that hidden parameters are annotated @consume

  Show description for ac7780e
  odersky

  committed
  ac7780e

  Copy full SHA for ac7780e

• Check that only @consume parameters flow to @consume parameters

  odersky

  committed
  03f2b2a

  Copy full SHA for 03f2b2a

• Check that SharedCapabilities don't capture `cap`.

  odersky

  committed
  ca5c4cf

  Copy full SHA for ca5c4cf

• Turn separation checking on by default

  Show description for 5125481
  odersky

  committed
  5125481

  Copy full SHA for 5125481

• Make sure fresh results of methods only hide local refs

  odersky

  committed
  82f3e16

  Copy full SHA for 82f3e16

• Make sure parameters are not used again after they are consumed

  odersky

  committed
  e47dae5

  Copy full SHA for e47dae5

• Check accesses to non-local this in hidden sets

  Show description for 53adf90
  odersky

  committed
  53adf90

  Copy full SHA for 53adf90

• Check that @consumed prefix capabilities are not re-used

  Show description for 2bf473d
  odersky

  committed
  2bf473d

  Copy full SHA for 2bf473d

• Allow SharableCapablity anywhere on a path

  odersky

  committed
  7b3d3f4

  Copy full SHA for 7b3d3f4

• Polishings

  odersky

  committed
  0a37cc1

  Copy full SHA for 0a37cc1

Commits on Feb 7, 2025

• Polish and document separation checker (2)

  Show description for d684f60
  odersky

  committed
  d684f60

  Copy full SHA for d684f60

• Address review comments

  odersky

  committed
  071bf19

  Copy full SHA for 071bf19