Code

Support for CapturingTypes#12947

Code

Closed

odersky wants to merge 25 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-cc2dotty-staging/dotty:add-cc2Copy head branch name to clipboard

Commits

Commits on Aug 17, 2021

• Cleanups

  odersky

  committed
  1cc5cf3

  Copy full SHA for 1cc5cf3

• Support for CapturingTypes

  odersky

  committed
  4183685

  Copy full SHA for 4183685

• Suppress Mima checking in build

  odersky

  committed
  445eac7

  Copy full SHA for 445eac7

• Add capture set constraints

  Show description for 6e30a15
  odersky

  committed
  6e30a15

  Copy full SHA for 6e30a15

• Make <:< all-or-nothing

  Show description for fd753da
  odersky

  committed
  fd753da

  Copy full SHA for fd753da

• Add element validation

  Show description for 32a5e14
  odersky

  committed
  32a5e14

  Copy full SHA for 32a5e14

• Integrate CheckCaptures with Rechecker

  odersky

  committed
  dd31f20

  Copy full SHA for dd31f20

• Add tests and some fixes

  odersky

  committed
  bf5f161

  Copy full SHA for bf5f161

• Add iterator method to SimpleIdentitySet

  odersky

  committed
  6ab93dd

  Copy full SHA for 6ab93dd

• Cleanups and annotations suggesting changes and removals

  odersky

  committed
  e03ef8c

  Copy full SHA for e03ef8c

• Initial capture checker with boxes

  odersky

  committed
  e76cb7d

  Copy full SHA for e76cb7d

• Print capturing types as in paper

  Show description for a76b035
  odersky

  committed
  a76b035

  Copy full SHA for a76b035

• Allow paper syntax to parse capturing types

  Show description for 21e1ae6
  odersky

  committed
  21e1ae6

  Copy full SHA for 21e1ae6

• Add boxmap test from paper

  odersky

  committed
  c7e5ddb

  Copy full SHA for c7e5ddb

• Fix problem in decomposeProtoFunction

  Show description for ea884bd
  odersky

  committed
  ea884bd

  Copy full SHA for ea884bd

• Use explicit Top bounds for boxmap example

  Show description for 203391c
  odersky

  committed
  203391c

  Copy full SHA for 203391c

• Move checkCaptures before pruneErasedDefs

  Show description for 99dc50a
  odersky

  committed
  99dc50a

  Copy full SHA for 99dc50a

• Clean up printing of capture sets

  odersky

  committed
  0515a86

  Copy full SHA for 0515a86

• Give Closure trees the span of the underling function

  odersky

  committed
  da82287

  Copy full SHA for da82287

• Fix checkNotGlobal condition for root capture set

  odersky

  committed
  c89072c

  Copy full SHA for c89072c

• Fix tests

  odersky

  committed
  636c57c

  Copy full SHA for 636c57c

• Fix noCaptures condition

  odersky

  committed
  1214a67

  Copy full SHA for 1214a67

• Include call captures for parameterless methods

  odersky

  committed
  550de29

  Copy full SHA for 550de29

• Revert "Give Closure trees the span of the underling function"

  Show description for f3153a4
  odersky

  committed
  f3153a4

  Copy full SHA for f3153a4

• Skip closure nodes when checking conformance

  odersky

  committed
  ea313fd

  Copy full SHA for ea313fd