Code

Cache ResultCaps#23198

Code

Merged

Linyxus merged 10 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-15923dotty-staging/dotty:fix-15923Copy head branch name to clipboard

May 21, 2025

Commits

Commits on May 21, 2025

• Changes to existing code base that mirror changes in refactor-capabilities

  odersky

  committed
  9635cf8

  Copy full SHA for 9635cf8

• Refactor type maps to split out capability handling

  Show description for 8638fc3
  odersky

  committed
  8638fc3

  Copy full SHA for 8638fc3

• Fix pathRoot and pathOwner

  Show description for d876555
  odersky

  committed
  d876555

  Copy full SHA for d876555

• Implement != for SimpleIdentitySet

  odersky

  committed
  4f6d1b6

  Copy full SHA for 4f6d1b6

• Refactoring: Capabilities as a separate type

  Show description for 831c60a
  odersky

  committed
  831c60a

  Copy full SHA for 831c60a

• Rename CaptureRef -> Capability

  odersky

  committed
  55b47bc

  Copy full SHA for 55b47bc

• Integrate root.scala in Capability.scala

  odersky

  committed
  edcb64c

  Copy full SHA for edcb64c

• Map cap to fresh in capture sets

  Show description for 1787fb9
  odersky

  committed
  1787fb9

  Copy full SHA for 1787fb9

• Cache ResultCaps

  Show description for 390233e
  odersky

  committed
  390233e

  Copy full SHA for 390233e

• Prevent fallback to normal function when comparing dependent functions

  Show description for b27874c
  odersky

  committed
  b27874c

  Copy full SHA for b27874c