Code

Add experimental capture checking#15877

Code

Merged

odersky merged 99 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:cc-experimentdotty-staging/dotty:cc-experimentCopy head branch name to clipboard

Aug 29, 2022

Commits

Commits on Aug 29, 2022

• Merge pull request #12971 from dotty-staging/add-rechecker

  Show description for 12131be
  odersky

  committed
  12131be

  Copy full SHA for 12131be

• Cleanups

  odersky

  committed
  b64aa7e

  Copy full SHA for b64aa7e

• First version of capture checker.

  Show description for cbdb610
  odersky

  committed
  cbdb610

  Copy full SHA for cbdb610

• Include capture sets of methods in enclosing class

  odersky

  committed
  b3474f2

  Copy full SHA for b3474f2

• Update iterators example

  odersky

  committed
  e12648b

  Copy full SHA for e12648b

• Add capture checks for mutable variables

  Show description for 8f5ef66
  odersky

  committed
  8f5ef66

  Copy full SHA for 8f5ef66

• Implement deep check for variables

  Show description for cdaee68
  odersky

  committed
  cdaee68

  Copy full SHA for cdaee68

• Introduce @capability annotations

  Show description for 5b04553
  odersky

  committed
  5b04553

  Copy full SHA for 5b04553

• Fix typo and update semanticdb.expect

  odersky

  committed
  e835dc0

  Copy full SHA for e835dc0

• Special rule for {this} in capture sets of class members

  Show description for 8cac9db
  odersky

  committed
  8cac9db

  Copy full SHA for 8cac9db

• Pure function types -> and ?->

  Show description for 965635c
  odersky

  committed
  965635c

  Copy full SHA for 965635c

• Updates for latest master

  Show description for bfeacfe
  odersky

  committed
  bfeacfe

  Copy full SHA for bfeacfe

• Shorthand for curried functions

  Show description for 0ae7911
  odersky

  committed
  0ae7911

  Copy full SHA for 0ae7911

• Syntax change: allow capture sets in infix types

  odersky

  committed
  62095a6

  Copy full SHA for 62095a6

• Test for contravariantly used class fields

  Show description for 9c485e5
  odersky

  committed
  9c485e5

  Copy full SHA for 9c485e5

• Handle captures in by-name parameters

  Show description for 4074217
  odersky

  committed
  4074217

  Copy full SHA for 4074217

• Treat exceptions as capabilities

  Show description for fd6b376
  odersky

  committed
  fd6b376

  Copy full SHA for fd6b376

• Mark classes compiled under -Ycc with a CaptureChecked annotation

  odersky

  committed
  39b14f6

  Copy full SHA for 39b14f6

• Map regular function types to impure function types when unpickling

  Show description for d4ffebb
  odersky

  committed
  d4ffebb

  Copy full SHA for d4ffebb

• New scheme to reject root captures

  Show description for 57a6bc0
  odersky

  committed
  57a6bc0

  Copy full SHA for 57a6bc0

• Three changes to typing rules

  Show description for 127a223
  odersky

  committed
  127a223

  Copy full SHA for 127a223

• Change result type of by-name closures

  Show description for 1b4370b
  odersky

  committed
  1b4370b

  Copy full SHA for 1b4370b

• Capture-check exception capabilties

  Show description for 0949618
  odersky

  committed
  0949618

  Copy full SHA for 0949618

• Drop restriction that tracked class parameters must be `val`s.

  Show description for c361123
  odersky

  committed
  c361123

  Copy full SHA for c361123

• Handle constructors with multiple parameter lists

  odersky

  committed
  5460a83

  Copy full SHA for 5460a83

• Don't add class refinements for @constructorOnly parameters

  odersky

  committed
  ba8ae0f

  Copy full SHA for ba8ae0f

• Check capture set conditions on self types

  Show description for ebe081b
  odersky

  committed
  ebe081b

  Copy full SHA for ebe081b

• Handle local objects

  odersky

  committed
  27128c8

  Copy full SHA for 27128c8

• Print boxes only under -Ydebug-cc

  odersky

  committed
  97b9519

  Copy full SHA for 97b9519

• Refine setup of initial types for anonymous functions

  Show description for c6a2e07
  odersky

  committed
  c6a2e07

  Copy full SHA for c6a2e07

• Test from doc page

  odersky

  committed
  7db3a7c

  Copy full SHA for 7db3a7c

• Update checkfiles after rebase

  odersky

  committed
  77cf546

  Copy full SHA for 77cf546

• Refinements to capture checking and a collection strawman

  Show description for 161e8cd
  odersky

  committed
  161e8cd

  Copy full SHA for 161e8cd

• Make it compile under -Yexplicit-nulls

  odersky

  committed
  75143cc

  Copy full SHA for 75143cc

• Make it compile without language.postfixOps

  odersky

  committed
  8a1acde

  Copy full SHA for 8a1acde

• Make derivedAnnotation of universal the identity

  Show description for 0486a79
  odersky

  committed
  0486a79

  Copy full SHA for 0486a79

• add stack allocation tests from CC paper

  

  olhotak

  authored and

  odersky

  committed
  acbab4b

  Copy full SHA for acbab4b

• udpate test to match paper

  

  olhotak

  authored and

  odersky

  committed
  152225d

  Copy full SHA for 152225d

• Fix rebase breakage

  odersky

  committed
  2f0bc12

  Copy full SHA for 2f0bc12

• Fix universal check for inferred types

  Show description for 097b179
  odersky

  committed
  097b179

  Copy full SHA for 097b179

• Allow references to local class parameters in capture sets

  Show description for 64fcbcb
  odersky

  committed
  64fcbcb

  Copy full SHA for 64fcbcb

• Three capture checking fixes

  Show description for 94d0d53
  odersky

  committed
  94d0d53

  Copy full SHA for 94d0d53

• Clean up mapped set handling

  Show description for d61a779
  odersky

  committed
  d61a779

  Copy full SHA for d61a779

• Address review comments

  odersky

  committed
  ed69c36

  Copy full SHA for ed69c36

• Apply suggestions from code review

  Show description for bfd5b20
  

  odersky

  and

  olhotak

  committed
  bfd5b20

  Copy full SHA for bfd5b20

• Fix locility condition for checking inferred types

  Show description for f00dc5d
  odersky

  committed
  f00dc5d

  Copy full SHA for f00dc5d

• Fix rebase breakage

  odersky

  committed
  8e8b336

  Copy full SHA for 8e8b336

• Explicitly generate capturing types for synthetic methods

  Show description for 65ee41a
  odersky

  committed
  65ee41a

  Copy full SHA for 65ee41a

• Better implementation of capture set intersection

  Show description for 33f9ea9
  odersky

  committed
  33f9ea9

  Copy full SHA for 33f9ea9

• Fix some issues with box handling

  Show description for c83751d
  odersky

  committed
  c83751d

  Copy full SHA for c83751d

• Use intersection to type selections

  odersky

  committed
  71847a4

  Copy full SHA for 71847a4

• Update semanticDB expect file

  odersky

  committed
  ef00273

  Copy full SHA for ef00273

• Avoi intersections in typing selections and applications

  Show description for 78e5fa4
  odersky

  committed
  78e5fa4

  Copy full SHA for 78e5fa4

• Generalize new rule for applications

  Show description for 2724ac7
  odersky

  committed
  2724ac7

  Copy full SHA for 2724ac7

• Generalize application rule to all methods

  odersky

  committed
  8c8d6e4

  Copy full SHA for 8c8d6e4

• Fix rebase breakage

  odersky

  committed
  c90f003

  Copy full SHA for c90f003

• Don't elide capture sets when printing (empty) bounds

  odersky

  committed
  768dba2

  Copy full SHA for 768dba2

• Several fixes to boxing

  Show description for 275218d
  odersky

  committed
  275218d

  Copy full SHA for 275218d

• Always print boxes (for now)

  Show description for 54c0ebf
  odersky

  committed
  54c0ebf

  Copy full SHA for 54c0ebf

• Box arguments of type applications

  Show description for 0221744
  odersky

  committed
  0221744

  Copy full SHA for 0221744

• Make classes added by cc experimental

  odersky

  committed
  e08a59f

  Copy full SHA for e08a59f

• Also print boxes for variable capture sets with no elems defined

  odersky

  committed
  8c2b6bf

  Copy full SHA for 8c2b6bf

• More fixes related to boxing

  Show description for 6d30fd2
  odersky

  committed
  6d30fd2

  Copy full SHA for 6d30fd2

• Don't follow abstract in boxed capturing

  Show description for f12f221
  odersky

  committed
  f12f221

  Copy full SHA for f12f221

• WIP: Turn on box-aware subtyping

  odersky

  committed
  f6407e3

  Copy full SHA for f6407e3

• Cache boxed versions of CapturingTypes

  odersky

  committed
  7066ef7

  Copy full SHA for 7066ef7

• Auto-boxing of arguments of applied types

  odersky

  committed
  f73a73a

  Copy full SHA for f73a73a

• Fuse CapturingTypes

  odersky

  committed
  ad9d8f9

  Copy full SHA for ad9d8f9

• Add test

  odersky

  committed
  4c2bdc9

  Copy full SHA for 4c2bdc9

• Fix init checker error

  odersky

  committed
  0f3d3dd

  Copy full SHA for 0f3d3dd

• Fix test

  odersky

  committed
  7006bea

  Copy full SHA for 7006bea

• Don't box type arguments in Setup

  Show description for b9a559e
  odersky

  committed
  b9a559e

  Copy full SHA for b9a559e

• Optimize boxedUnlessFun

  odersky

  committed
  5659aaf

  Copy full SHA for 5659aaf

• Stabilize boxedType cache

  Show description for fa37358
  odersky

  committed
  fa37358

  Copy full SHA for fa37358

• Drop checkBoxes switch

  Show description for d2b9c9d
  odersky

  committed
  d2b9c9d

  Copy full SHA for d2b9c9d

• Drop addResultBoxes

  odersky

  committed
  77d08ef

  Copy full SHA for 77d08ef

• Polishings

  odersky

  committed
  3e2d6aa

  Copy full SHA for 3e2d6aa

• Test case 15772

  odersky

  committed
  dfe28e4

  Copy full SHA for dfe28e4

• Another test

  Show description for 0230b5a
  odersky

  committed
  0230b5a

  Copy full SHA for 0230b5a

• Drop check file

  odersky

  committed
  2e7c363

  Copy full SHA for 2e7c363

• Recognize capture related syntax and names only under -Ycc

  Show description for 562f9d7
  odersky

  committed
  562f9d7

  Copy full SHA for 562f9d7

• Recognize ImpureFunction only under -Ycc

  odersky

  committed
  01f4e0b

  Copy full SHA for 01f4e0b

• Drop widenSkolems

  Show description for 9f2a801
  odersky

  committed
  9f2a801

  Copy full SHA for 9f2a801

• Polishings in dotc, core, ast, parsing

  odersky

  committed
  8bab2ac

  Copy full SHA for 8bab2ac

• Polishings mostly in typer

  odersky

  committed
  0ce75e1

  Copy full SHA for 0ce75e1

• Reorganize retains annotation classes

  Show description for 30a53ef
  odersky

  committed
  30a53ef

  Copy full SHA for 30a53ef

• Move some cc classes to their proper place in the file hierarchy

  odersky

  committed
  c091c33

  Copy full SHA for c091c33

• Polishing some cc classes

  odersky

  committed
  a158840

  Copy full SHA for a158840

• Polish and comment CaptureSet

  odersky

  committed
  9ecfbc1

  Copy full SHA for 9ecfbc1

• Work on rechecker

  Show description for aeafb05
  odersky

  committed
  aeafb05

  Copy full SHA for aeafb05

• Don't box arguments of inferred applied types at Setup

  Show description for b3eeb23
  odersky

  committed
  b3eeb23

  Copy full SHA for b3eeb23

• Polish Setup

  odersky

  committed
  84c1b24

  Copy full SHA for 84c1b24

• Treat bounds of type variables as boxed

  odersky

  committed
  a0cbb87

  Copy full SHA for a0cbb87

• Reorganize the way capture sets are included in the current environment stack

  odersky

  committed
  acf8286

  Copy full SHA for acf8286

• Refactor and comment CheckCaptures

  odersky

  committed
  e15d31c

  Copy full SHA for e15d31c

• Polish Synthetics.scala

  odersky

  committed
  cf55ddb

  Copy full SHA for cf55ddb

• Change -Ycc setting explanations

  odersky

  committed
  39f035f

  Copy full SHA for 39f035f

• Drop mention of cc-experiment in docs

  odersky

  committed
  4bab1ed

  Copy full SHA for 4bab1ed

• Address review comment

  odersky

  committed
  943d84a

  Copy full SHA for 943d84a