Code

Tighten comparison of skolem types#599

Code

Merged

odersky merged 16 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add/existential-skolemizationdotty-staging/dotty:add/existential-skolemizationCopy head branch name to clipboard

Jun 19, 2015

Commits

Commits on Jun 6, 2015

• Tighten comparison of skolem types

  Show description for 8e9233b
  odersky

  committed
  8e9233b

  Copy full SHA for 8e9233b

• Make skolemsstate three valued

  odersky

  committed
  c8a4792

  Copy full SHA for c8a4792

• Tighten isStable predicate

  Show description for 3352ffc
  odersky

  committed
  3352ffc

  Copy full SHA for 3352ffc

• Follow aliases when deskolemizing

  Show description for bf203a5
  odersky

  committed
  bf203a5

  Copy full SHA for bf203a5

• More inclusive isStable test.

  Show description for 3d241f3
  odersky

  committed
  3d241f3

  Copy full SHA for 3d241f3

• Disable deskolemization in narrowGADTBounds

  Show description for eaf3095
  odersky

  committed
  eaf3095

  Copy full SHA for eaf3095

• Split RefinedThis and SkolemType

  Show description for 080ed2f
  odersky

  committed
  080ed2f

  Copy full SHA for 080ed2f

• Make SkolemTypes cached but generative.

  Show description for 9c63c8b
  odersky

  committed
  9c63c8b

  Copy full SHA for 9c63c8b

• Track unstability in asSeenFrom

  odersky

  committed
  d5ba5fb

  Copy full SHA for d5ba5fb

• Move deskolemization from TypeComparer to TypeOps

  Show description for 84bf590
  odersky

  committed
  84bf590

  Copy full SHA for 84bf590

• Skolemize unstable prefixes in asSeenFrom

  Show description for 0ee8e50
  odersky

  committed
  0ee8e50

  Copy full SHA for 0ee8e50

• Deskolemize types inferred for vals and defs

  Show description for 91dd827
  odersky

  committed
  91dd827

  Copy full SHA for 91dd827

• Remove no longer needed Skolemization.scala

  odersky

  committed
  540aa23

  Copy full SHA for 540aa23

• Delete test which no longer applies

  Show description for 63aaa79
  odersky

  committed
  63aaa79

  Copy full SHA for 63aaa79

• Document asSeenFrom

  odersky

  committed
  081b6ad

  Copy full SHA for 081b6ad

• Better printing of skolem types

  odersky

  committed
  310615e

  Copy full SHA for 310615e