Code

Generalize Approximating Type Maps#2908

Code

Closed

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

dotty-staging:change-approx-typemapdotty-staging/dotty:change-approx-typemapCopy head branch name to clipboard

Commits

Commits on Aug 9, 2017

• Generalize approximating type maps.

  Show description for 416fadc
  odersky

  committed
  416fadc

  Copy full SHA for 416fadc

• Make applications inside ranges respect variance

  Show description for 45bfa08
  odersky

  committed
  45bfa08

  Copy full SHA for 45bfa08

• Make asSeenFrom use an ApproximatingTypeMap

  Show description for 91ee02f
  odersky

  committed
  91ee02f

  Copy full SHA for 91ee02f

• Drop UnsafeNonvariant

  Show description for a26a309
  odersky

  committed
  a26a309

  Copy full SHA for a26a309

• Simplifications

  Show description for 3459627
  odersky

  committed
  3459627

  Copy full SHA for 3459627

• Refine derivedRefinedType

  odersky

  committed
  fa79a0e

  Copy full SHA for fa79a0e

• Fix comment in test

  odersky

  committed
  08de553

  Copy full SHA for 08de553

• Address reviewers comments

  odersky

  committed
  89180b5

  Copy full SHA for 89180b5

Commits on Aug 13, 2017

• Factor out variance manipulation in TypeMap and TypeAccumulator

  odersky

  committed
  8c1a6dc

  Copy full SHA for 8c1a6dc

• Fix derivedRefinedType in ApproximatingTypeMap

  Show description for 4160921
  odersky

  committed
  4160921

  Copy full SHA for 4160921

• Add comment explaining approximating derivedAppliedType

  odersky

  committed
  396acbf

  Copy full SHA for 396acbf

• Polishings and more comments

  odersky

  committed
  e332bd3

  Copy full SHA for e332bd3

• Fix review comments re homogenizedArg

  odersky

  committed
  efbb1c6

  Copy full SHA for efbb1c6