Code

Add recheck phase#12971

Code

Merged

odersky merged 7 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-recheckerdotty-staging/dotty:add-recheckerCopy head branch name to clipboard

Aug 17, 2021

Commits

Commits on Aug 8, 2021

• Add a phase for recomputing and rechecking all types in a typed Scala program. This is useful for two reasons:

  Show description for 72961a8
  odersky

  committed
  72961a8

  Copy full SHA for 72961a8

Commits on Aug 13, 2021

• Fix checkConforms test in Recheck

  odersky

  committed
  78d40de

  Copy full SHA for 78d40de

• Fix rechecking of SeqLiterals

  odersky

  committed
  424c719

  Copy full SHA for 424c719

• Re-constant-fold when rechecking

  Show description for 7490001
  odersky

  committed
  7490001

  Copy full SHA for 7490001

• Another rechecking exclude

  Show description for 8afe649
  odersky

  committed
  8afe649

  Copy full SHA for 8afe649

• Address review comments

  Show description for 2b88f1c
  odersky

  committed
  2b88f1c

  Copy full SHA for 2b88f1c

• Loosen skolem comparisons when rechecking

  Show description for 03a7bd8
  odersky

  committed
  03a7bd8

  Copy full SHA for 03a7bd8