Code

Introduce Maybe Capabilities#19500

Code

Merged

odersky merged 8 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:add-maybe-capsdotty-staging/dotty:add-maybe-capsCopy head branch name to clipboard

Feb 2, 2024

Commits

Commits on Jan 31, 2024

• Avoid forming intersections for dependent function types

  Show description for b860100
  odersky

  committed
  b860100

  Copy full SHA for b860100

• Introduce maybe capabilities x?

  Show description for 11aabcf
  odersky

  committed
  11aabcf

  Copy full SHA for 11aabcf

• Treat result of by-name closures as inferred

  odersky

  committed
  8240523

  Copy full SHA for 8240523

• Update scala2-library-cc to make use of inference fixes

  Show description for 16cae11
  odersky

  committed
  16cae11

  Copy full SHA for 16cae11

• Make all closure results inferred types

  odersky

  committed
  6e7f5be

  Copy full SHA for 6e7f5be

• Make maybeCapability a compiler-generated symbol without source

  Show description for 2e0cf2e
  odersky

  committed
  2e0cf2e

  Copy full SHA for 2e0cf2e

• Fix using source comment

  Show description for 4cd72b7
  odersky

  committed
  4cd72b7

  Copy full SHA for 4cd72b7

• Fix comments

  odersky

  committed
  3ef2514

  Copy full SHA for 3ef2514