Code

Rework type inference#4080

Code

Merged

odersky merged 19 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-interpolation-3dotty-staging/dotty:change-interpolation-3Copy head branch name to clipboard

Mar 7, 2018

Commits

Commits on Mar 7, 2018

• Drop ephemeral

  Show description for 90a661b
  odersky

  committed
  90a661b

  Copy full SHA for 90a661b

• More flexible tracing

  Show description for 860d102
  odersky

  committed
  860d102

  Copy full SHA for 860d102

• Avoid creation of an unused closure value in each trace op

  Show description for 0ff0189
  odersky

  committed
  0ff0189

  Copy full SHA for 0ff0189

• Allow to suppress "inlined from" parts when printing trees

  Show description for 086f33d
  odersky

  committed
  086f33d

  Copy full SHA for 086f33d

• Add SimpleIdentitySet data structure

  Show description for 8a19054
  odersky

  committed
  8a19054

  Copy full SHA for 8a19054

• Specialize SimpleIdentitySet with 3 elements

  odersky

  committed
  06fd9aa

  Copy full SHA for 06fd9aa

• Better printing of TyperStates

  Show description for 2b6ce9c
  odersky

  committed
  2b6ce9c

  Copy full SHA for 2b6ce9c

• Show resulting type when tracing "adapt" calls

  odersky

  committed
  e3d5a7f

  Copy full SHA for e3d5a7f

• Two fixes to invalidation scheme

  Show description for 93a0bca
  odersky

  committed
  93a0bca

  Copy full SHA for 93a0bca

• Workaroound for testOptimized failure.

  Show description for 1215dd2
  odersky

  committed
  1215dd2

  Copy full SHA for 1215dd2

• More precise characterization of singleton bounds

  Show description for c460627
  odersky

  committed
  c460627

  Copy full SHA for c460627

• Micro-optimization for denotAt

  odersky

  committed
  59bb75b

  Copy full SHA for 59bb75b

• Get rid of TypeState.hashesStr

  Show description for a800a10
  odersky

  committed
  a800a10

  Copy full SHA for a800a10

• Strengthen isMultiSingleton

  Show description for d17cab4
  odersky

  committed
  d17cab4

  Copy full SHA for d17cab4

• New interpolation scheme

  Show description for 417f0c8
  odersky

  committed
  417f0c8

  Copy full SHA for 417f0c8

• Reduce # calls to simplify

  Show description for a6e1d19
  odersky

  committed
  a6e1d19

  Copy full SHA for a6e1d19

• Get rid of bindingTree and ownerSym in TypeVars

  odersky

  committed
  95f8a84

  Copy full SHA for 95f8a84

• Fix typo in extends

  odersky

  committed
  c810d5a

  Copy full SHA for c810d5a

• Fix typos

  odersky

  committed
  855e0e9

  Copy full SHA for 855e0e9