Code

Exclusive capabilities 3rd attempt#22588

Code

Draft

odersky wants to merge 26 commits intoscala:mainscala/scala3:mainfrom dotty-staging:exclusive-capabilities-v3dotty-staging/dotty:exclusive-capabilities-v3Copy head branch name to clipboard

+4,063-745

Commits

Commits on Feb 12, 2025

• Elide capabilities implied by Capability subtypes when printing

  Show description for 62c7494
  odersky

  committed
  62c7494

  Copy full SHA for 62c7494

• Add Mutable classes and ReadOnly capabilities

  Show description for 870ba3a
  odersky

  committed
  870ba3a

  Copy full SHA for 870ba3a

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

  Show description for 1ba5ac2
  odersky

  committed
  1ba5ac2

  Copy full SHA for 1ba5ac2

• Implement fresh capabilities

  Show description for 5e132ad
  odersky

  committed
  5e132ad

  Copy full SHA for 5e132ad

• Separation checking for applications

  Show description for 811700a
  odersky

  committed
  811700a

  Copy full SHA for 811700a

• Separation checking for blocks

  Show description for 602b891
  odersky

  committed
  602b891

  Copy full SHA for 602b891

• Address review comments

  odersky

  committed
  2aeaad7

  Copy full SHA for 2aeaad7

• Use deep capturesets for separation checking.

  Show description for 0a7596b
  odersky

  committed
  0a7596b

  Copy full SHA for 0a7596b

• Cache derived reach, readOnly, and maybe capabilities

  Show description for 6b56d32
  odersky

  committed
  6b56d32

  Copy full SHA for 6b56d32

• Avoid forming intersections of capture sets on refined type lookup

  odersky

  committed
  cb8a1d0

  Copy full SHA for cb8a1d0

• Check separation of different parts of a declared type.

  odersky

  committed
  d99cbd1

  Copy full SHA for d99cbd1

• Check that hidden parameters are annotated @consume

  Show description for 845adbf
  odersky

  committed
  845adbf

  Copy full SHA for 845adbf

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

  odersky

  committed
  ddd4afa

  Copy full SHA for ddd4afa

• Check that SharedCapabilities don't capture cap.

  odersky

  committed
  dd4bde6

  Copy full SHA for dd4bde6

• Turn separation checking on by default

  Show description for 65e6d5e
  odersky

  committed
  65e6d5e

  Copy full SHA for 65e6d5e

• Make sure fresh results of methods only hide local refs

  odersky

  committed
  3bd3fd0

  Copy full SHA for 3bd3fd0

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

  odersky

  committed
  6a421b0

  Copy full SHA for 6a421b0

• Check accesses to non-local this in hidden sets

  Show description for 3223fb3
  odersky

  committed
  3223fb3

  Copy full SHA for 3223fb3

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

  Show description for f907eee
  odersky

  committed
  f907eee

  Copy full SHA for f907eee

• Allow SharableCapablity anywhere on a path

  odersky

  committed
  d79d5ff

  Copy full SHA for d79d5ff

• Polishings

  odersky

  committed
  1a05c96

  Copy full SHA for 1a05c96

• Polish and document separation checker.

  odersky

  committed
  5ec7351

  Copy full SHA for 5ec7351

• Address review comments

  odersky

  committed
  fe20f2c

  Copy full SHA for fe20f2c

• Fix handling paths extending SharedCapabiolity

  Show description for 3b32fe6
  odersky

  committed
  3b32fe6

  Copy full SHA for 3b32fe6

• Streamline deepCaptureSet

  odersky

  committed
  268e837

  Copy full SHA for 268e837

• chore: try with JVM 8

  hamzaremmal

  authored
  134108f

  Copy full SHA for 134108f