Code

Add captureset levels (draft)#18348

Code

Closed

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

dotty-staging:add-captureset-levelsdotty-staging/dotty:add-captureset-levelsCopy head branch name to clipboard

Commits

Commits on Aug 7, 2023

• Drop another impure function adaptation

  Show description for 7176548
  odersky

  committed
  7176548

  Copy full SHA for 7176548

• Test case

  Show description for 0bf6a25
  odersky

  committed
  0bf6a25

  Copy full SHA for 0bf6a25

• Simplify healTypeParam

  odersky

  committed
  8205ae9

  Copy full SHA for 8205ae9

Commits on Aug 10, 2023

• Fix installAfter corner case

  Show description for 6339276
  odersky

  committed
  6339276

  Copy full SHA for 6339276

Commits on Aug 11, 2023

• Change closure handling

  Show description for c4aefa1
  odersky

  committed
  c4aefa1

  Copy full SHA for c4aefa1

• Fix SimpleIdentitySet#map

  Show description for 77aa78f
  odersky

  committed
  77aa78f

  Copy full SHA for 77aa78f

• Use a BiTypeMap for substitutions when possible

  Show description for 9fa253d
  odersky

  committed
  9fa253d

  Copy full SHA for 9fa253d

• Cleanup SubstParamsMap

  odersky

  committed
  2b3007a

  Copy full SHA for 2b3007a

• Fix typo in exception message

  odersky

  committed
  4290e61

  Copy full SHA for 4290e61

Commits on Aug 12, 2023

• Fix BiTypeMap#inverse

  odersky

  committed
  1051563

  Copy full SHA for 1051563

Commits on Aug 14, 2023

• Handle levels in constraint solving

  Show description for 63b6aae
  odersky

  committed
  63b6aae

  Copy full SHA for 63b6aae

Commits on Aug 15, 2023

• Refactor printing of capture sets

  odersky

  committed
  874837a

  Copy full SHA for 874837a

• Generalize addenda handling for typeMismatch errors

  odersky

  committed
  f6da2ac

  Copy full SHA for f6da2ac

• Use addenda mechanism to report level violations

  odersky

  committed
  cd67244

  Copy full SHA for cd67244

• Infrastructure for local roots

  odersky

  committed
  91135fb

  Copy full SHA for 91135fb