Code

Exclusive capabilities#22218

Code

Merged

odersky merged 23 commits intoscala:mainscala/scala3:mainfrom dotty-staging:exclusive-capabilitiesdotty-staging/dotty:exclusive-capabilitiesCopy head branch name to clipboardFeb 5, 2025

+4,075-744

Commits

Commits on Jan 29, 2025

• Elide capabilities implied by Capability subtypes when printing

  Show description for 22cb87b
  odersky

  committed
  22cb87b

  Copy full SHA for 22cb87b

• Add Mutable classes and ReadOnly capabilities

  Show description for 216973e
  odersky

  committed
  216973e

  Copy full SHA for 216973e

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

  Show description for 234d0dc
  odersky

  committed
  234d0dc

  Copy full SHA for 234d0dc

• Implement fresh capabilities

  Show description for a239bfa
  odersky

  committed
  a239bfa

  Copy full SHA for a239bfa

• Separation checking for applications

  Show description for d211bf9
  odersky

  committed
  d211bf9

  Copy full SHA for d211bf9

• Separation checking for blocks

  Show description for fd327e3
  odersky

  committed
  fd327e3

  Copy full SHA for fd327e3

• Address review comments

  odersky

  committed
  b0be75b

  Copy full SHA for b0be75b

• Use deep capturesets for separation checking.

  Show description for c377f49
  odersky

  committed
  c377f49

  Copy full SHA for c377f49

• Cache derived reach, readOnly, and maybe capabilities

  Show description for 1cdb21b
  odersky

  committed
  1cdb21b

  Copy full SHA for 1cdb21b

• Avoid forming intersections of capture sets on refined type lookup

  odersky

  committed
  937b8af

  Copy full SHA for 937b8af

• Check separation of different parts of a declared type.

  odersky

  committed
  438ea60

  Copy full SHA for 438ea60

• Check that hidden parameters are annotated @consume

  Show description for c1f2542
  odersky

  committed
  c1f2542

  Copy full SHA for c1f2542

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

  odersky

  committed
  9ca1776

  Copy full SHA for 9ca1776

• Check that SharedCapabilities don't capture cap.

  odersky

  committed
  564c847

  Copy full SHA for 564c847

• Turn separation checking on by default

  Show description for 94fcabc
  odersky

  committed
  94fcabc

  Copy full SHA for 94fcabc

• Make sure fresh results of methods only hide local refs

  odersky

  committed
  e229807

  Copy full SHA for e229807

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

  odersky

  committed
  84b5bff

  Copy full SHA for 84b5bff

• Check accesses to non-local this in hidden sets

  Show description for c1ad0c1
  odersky

  committed
  c1ad0c1

  Copy full SHA for c1ad0c1

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

  Show description for 65a1301
  odersky

  committed
  65a1301

  Copy full SHA for 65a1301

Commits on Jan 30, 2025

• Allow SharableCapablity anywhere on a path

  odersky

  committed
  9f40649

  Copy full SHA for 9f40649

Commits on Jan 31, 2025

• Polishings

  odersky

  committed
  b0628d1

  Copy full SHA for b0628d1

Commits on Feb 1, 2025

• Polish and document separation checker.

  odersky

  committed
  813c585

  Copy full SHA for 813c585

Commits on Feb 5, 2025

• Address review comments

  odersky

  committed
  a41c10f

  Copy full SHA for a41c10f