Code

Exclusive Capabilities#22577

Code

Draft

hamzaremmal wants to merge 23 commits intoscala:mainscala/scala3:mainfrom hamzaremmal:hr/exclusive-capabilitieshamzaremmal/scala3:hr/exclusive-capabilitiesCopy head branch name to clipboard

+4,055-738

Commits

Commits on Feb 10, 2025

• Add Mutable classes and ReadOnly capabilities

  Show description for c1e47df
  

  odersky

  authored and

  hamzaremmal

  committed
  c1e47df

  Copy full SHA for c1e47df

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

  Show description for 060464f
  

  odersky

  authored and

  hamzaremmal

  committed
  060464f

  Copy full SHA for 060464f

• Implement fresh capabilities

  Show description for b77ad3e
  

  odersky

  authored and

  hamzaremmal

  committed
  b77ad3e

  Copy full SHA for b77ad3e

• Separation checking for applications

  Show description for d4e5be7
  

  odersky

  authored and

  hamzaremmal

  committed
  d4e5be7

  Copy full SHA for d4e5be7

• Separation checking for blocks

  Show description for 16439af
  

  odersky

  authored and

  hamzaremmal

  committed
  16439af

  Copy full SHA for 16439af

• Address review comments

  

  odersky

  authored and

  hamzaremmal

  committed
  f41140e

  Copy full SHA for f41140e

• Use deep capturesets for separation checking.

  Show description for 24e941e
  

  odersky

  authored and

  hamzaremmal

  committed
  24e941e

  Copy full SHA for 24e941e

• Cache derived reach, readOnly, and maybe capabilities

  Show description for 061562d
  

  odersky

  authored and

  hamzaremmal

  committed
  061562d

  Copy full SHA for 061562d

• Avoid forming intersections of capture sets on refined type lookup

  

  odersky

  authored and

  hamzaremmal

  committed
  d24bf82

  Copy full SHA for d24bf82

• Check separation of different parts of a declared type.

  

  odersky

  authored and

  hamzaremmal

  committed
  eb0fe69

  Copy full SHA for eb0fe69

• Check that hidden parameters are annotated @consume

  Show description for ad6be5b
  

  odersky

  authored and

  hamzaremmal

  committed
  ad6be5b

  Copy full SHA for ad6be5b

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

  

  odersky

  authored and

  hamzaremmal

  committed
  ffcb9e5

  Copy full SHA for ffcb9e5

• Check that SharedCapabilities don't capture cap.

  

  odersky

  authored and

  hamzaremmal

  committed
  9b5f992

  Copy full SHA for 9b5f992

• Turn separation checking on by default

  Show description for 0672e42
  

  odersky

  authored and

  hamzaremmal

  committed
  0672e42

  Copy full SHA for 0672e42

• Make sure fresh results of methods only hide local refs

  

  odersky

  authored and

  hamzaremmal

  committed
  1114c4b

  Copy full SHA for 1114c4b

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

  

  odersky

  authored and

  hamzaremmal

  committed
  1c2c5e0

  Copy full SHA for 1c2c5e0

• Check accesses to non-local this in hidden sets

  Show description for 3c995df
  

  odersky

  authored and

  hamzaremmal

  committed
  3c995df

  Copy full SHA for 3c995df

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

  Show description for 26b1056
  

  odersky

  authored and

  hamzaremmal

  committed
  26b1056

  Copy full SHA for 26b1056

• Allow SharableCapablity anywhere on a path

  

  odersky

  authored and

  hamzaremmal

  committed
  01a54cf

  Copy full SHA for 01a54cf

• Polishings

  

  odersky

  authored and

  hamzaremmal

  committed
  78370ea

  Copy full SHA for 78370ea

• Polish and document separation checker (2)

  Show description for 623c864
  

  odersky

  authored and

  hamzaremmal

  committed
  623c864

  Copy full SHA for 623c864

• Address review comments

  

  odersky

  authored and

  hamzaremmal

  committed
  f276d72

  Copy full SHA for f276d72

• chore: Increase the code cache limit

  hamzaremmal

  committed
  28ca79a

  Copy full SHA for 28ca79a