Code

Refactorings around CaptureRef#20893

Code

Closed

odersky wants to merge 35 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:captureref-refactordotty-staging/dotty:captureref-refactorCopy head branch name to clipboard

Commits

Commits on Jun 26, 2024

• More robust level handling

  odersky

  committed
  e77657f

  Copy full SHA for e77657f

• Add existential capabilities, 2nd draft

  odersky

  committed
  8e23712

  Copy full SHA for 8e23712

• Generalize isAlwaysEmpty and streamline isBoxedCaptured

  Show description for 16907ec
  odersky

  committed
  16907ec

  Copy full SHA for 16907ec

• Refine class refinements

  Show description for 0a60670
  odersky

  committed
  0a60670

  Copy full SHA for 0a60670

• Improve handling of no-cap-under-box/unbox errors

  Show description for df0c7b1
  odersky

  committed
  df0c7b1

  Copy full SHA for df0c7b1

• Go back to original no cap in box/unbox restrictions

  Show description for 3ce1f31
  odersky

  committed
  3ce1f31

  Copy full SHA for 3ce1f31

• More robust scheme to re-check definitions once.

  Show description for 37dc2d5
  odersky

  committed
  37dc2d5

  Copy full SHA for 37dc2d5

• Show unsuccessful subCapture tests in TypeMismatch explanations

  odersky

  committed
  61b6647

  Copy full SHA for 61b6647

• Enable existential capabilities

  Show description for f0ddb50
  odersky

  committed
  f0ddb50

  Copy full SHA for f0ddb50

• Tighten rules against escaping local references

  Show description for c50e01c
  odersky

  committed
  c50e01c

  Copy full SHA for c50e01c

• Go back to expansion of capability class references at Setup

  Show description for 03a3e41
  odersky

  committed
  03a3e41

  Copy full SHA for 03a3e41

• Drop expandedUniversalSet

  Show description for ab63489
  odersky

  committed
  ab63489

  Copy full SHA for ab63489

• Adapt new capability class scheme to existentials

  odersky

  committed
  a8a92e1

  Copy full SHA for a8a92e1

• Map capability classes to existentials

  Show description for 3b09cb3
  odersky

  committed
  3b09cb3

  Copy full SHA for 3b09cb3

• Change encoding of impure dependent function types

  Show description for 5c527b6
  odersky

  committed
  5c527b6

  Copy full SHA for 5c527b6

• Fix mapping of cap to existentials

  Show description for 21bd994
  odersky

  committed
  21bd994

  Copy full SHA for 21bd994

• Let only value types derive from Capabilities

  Show description for c870c97
  odersky

  committed
  c870c97

  Copy full SHA for c870c97

• Type inference for existentials

  Show description for 29d01c2
  odersky

  committed
  29d01c2

  Copy full SHA for 29d01c2

• Drop checkReachCapsIsolated restriction

  odersky

  committed
  dddd6bc

  Copy full SHA for dddd6bc

• Drop no universal in deep capture set test everywhere from source 3.5

  odersky

  committed
  c547c2a

  Copy full SHA for c547c2a

• Disallow to box or unbox existentials

  odersky

  committed
  5ade6a4

  Copy full SHA for 5ade6a4

• Fix existential mapping of non-dependent impure function aliases =>

  Show description for 516df7c
  odersky

  committed
  516df7c

  Copy full SHA for 516df7c

• Drop restrictions in widenReachCaptures

  Show description for bca3978
  odersky

  committed
  bca3978

  Copy full SHA for bca3978

• Cleanup ccConfig settings

  odersky

  committed
  87e34ed

  Copy full SHA for 87e34ed

• Don't add ^ to singleton capabilities during Setup

  odersky

  committed
  ec1e66d

  Copy full SHA for ec1e66d

• Refine parameter accessors that have nonempty deep capture sets

  Show description for de4e56f
  odersky

  committed
  de4e56f

  Copy full SHA for de4e56f

• More precise capture set unions

  Show description for ea182f2
  odersky

  committed
  ea182f2

  Copy full SHA for ea182f2

• First implementation of capture polymorphism

  odersky

  committed
  60b0486

  Copy full SHA for 60b0486

Commits on Jun 27, 2024

• Reclassify maximal capabilities

  Show description for 38cf302
  odersky

  committed
  38cf302

  Copy full SHA for 38cf302

• Bring back RefiningVar

  Show description for dd4a60a
  odersky

  committed
  dd4a60a

  Copy full SHA for dd4a60a

• Allow for embedded CapSet^{refs} entries in capture sets

  odersky

  committed
  185f177

  Copy full SHA for 185f177

Commits on Jun 28, 2024

• Improve printing of capture sets before cc

  Show description for 27126ae
  odersky

  committed
  27126ae

  Copy full SHA for 27126ae

• Add some neg tests

  odersky

  committed
  e8167e4

  Copy full SHA for e8167e4

• Refactor CaptureRef operations

  Show description for 4f1d91a
  odersky

  committed
  4f1d91a

  Copy full SHA for 4f1d91a

• Break out CaptureRef into a separate file

  Show description for c971af4
  odersky

  committed
  c971af4

  Copy full SHA for c971af4