Code

Three changes to typing rules#14392

Code

Closed

odersky wants to merge 24 commits intoscala:cc-experimentscala/scala3:cc-experimentfrom dotty-staging:change-this-rulesdotty-staging/dotty:change-this-rulesCopy head branch name to clipboard

+5,240-454

Commits

Commits on Jan 28, 2022

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

  Show description for 98bc26d
  odersky

  committed
  98bc26d

• Cleanups

  odersky

  committed
  4b88b5a

• First version of capture checker.

  Show description for 5e4e4f0
  odersky

  committed
  5e4e4f0

• Include capture sets of methods in enclosing class

  odersky

  committed
  2941b6a

• Update iterators example

  odersky

  committed
  20cf766

• Add capture checks for mutable variables

  Show description for f18d951
  odersky

  committed
  f18d951

• Implement deep check for variables

  Show description for a5d9d06
  odersky

  committed
  a5d9d06

• Introduce @capability annotations

  Show description for 0b130e3
  odersky

  committed
  0b130e3

• Fix typo and update semanticdb.expect

  odersky

  committed
  1513393

• Disable MiMa checks

  odersky

  committed
  81512d5

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

  Show description for 12f17a4
  odersky

  committed
  12f17a4

• Pure function types -> and ?->

  Show description for f134adb
  odersky

  committed
  f134adb

• Updates for latest master

  Show description for 9bc09ee
  odersky

  committed
  9bc09ee

• Shorthand for curried functions

  Show description for e349acc
  odersky

  committed
  e349acc

• Syntax change: allow capture sets in infix types

  odersky

  committed
  670e510

• Test for contravariantly used class fields

  Show description for 7ba7c89
  odersky

  committed
  7ba7c89

• Handle captures in by-name parameters

  Show description for 42c9eed
  odersky

  committed
  42c9eed

• Treat exceptions as capabilities

  Show description for 91299b2
  odersky

  committed
  91299b2

• Mark classes compiled under -Ycc with a CaptureChecked annotation

  odersky

  committed
  9033e0c

• Map regular function types to impure function types when unpickling

  Show description for 6d672b1
  odersky

  committed
  6d672b1

• New scheme to reject root captures

  Show description for 18dd570
  odersky

  committed
  18dd570

Commits on Jan 31, 2022

• Three changes to typing rules

  Show description for 4cc8ff0
  odersky

  committed
  4cc8ff0

Commits on Feb 1, 2022

• Change result type of by-name closures

  Show description for fedd8f2
  odersky

  committed
  fedd8f2

• Capture-check exception capabilties

  Show description for 0ddbbe8
  odersky

  committed
  0ddbbe8