Code

Shallow capture sets#12875

Code

Merged

odersky merged 14 commits intoscala:cc-experimentscala/scala3:cc-experimentfrom

dotty-staging:shallow-capture-setsdotty-staging/dotty:shallow-capture-setsCopy head branch name to clipboard

Jun 28, 2021

Commits

Commits on Jun 19, 2021

• Refactor tests and fix isGlobal

  odersky

  committed
  c226577

  Copy full SHA for c226577

• Fix printing of poly function types

  odersky

  committed
  acc93bb

  Copy full SHA for acc93bb

• Allow capturing types as CFT protos

  odersky

  committed
  87c92d1

  Copy full SHA for 87c92d1

• Don't print trees twice after refiner phases

  odersky

  committed
  651b791

  Copy full SHA for 651b791

• Shallow capture sets

  odersky

  committed
  f5d25da

  Copy full SHA for f5d25da

Commits on Jun 20, 2021

• Fix condition in TreeChecker

  Show description for 9b7fe8b
  odersky

  committed
  9b7fe8b

  Copy full SHA for 9b7fe8b

• Fix precedence of dependent and poly function printing

  odersky

  committed
  3cf68e3

  Copy full SHA for 3cf68e3

• Fix capture sets of applied types

  Show description for 25b23c1
  odersky

  committed
  25b23c1

  Copy full SHA for 25b23c1

• Fix decomposeProto

  Show description for 27c9fc5
  odersky

  committed
  27c9fc5

  Copy full SHA for 27c9fc5

• Adapt tests to shallow capture sets

  odersky

  committed
  988c4c0

  Copy full SHA for 988c4c0

Commits on Jun 21, 2021

• Handle TypeVars in CaptureSets

  odersky

  committed
  6977ad1

  Copy full SHA for 6977ad1

• Assume capture sets of result type in enclosing function

  odersky

  committed
  cceff77

  Copy full SHA for cceff77

• Drop unused val in appliedTo

  odersky

  committed
  7a282ad

  Copy full SHA for 7a282ad

• Print `retains` type trees infix

  odersky

  committed
  59151bd

  Copy full SHA for 59151bd