Code

Fix/bounds propagation v2#238

Code

Merged

odersky merged 17 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/bounds-propagation-v2dotty-staging/dotty:fix/bounds-propagation-v2Copy head branch name to clipboard

Nov 26, 2014

Commits

Commits on Nov 24, 2014

• Improve simplifications of type projections.

  Show description for 38b2a61
  odersky

  committed
  38b2a61

  Copy full SHA for 38b2a61

• Make reduceProjection use lookupRefined

  Show description for 4df3d2a
  odersky

  committed
  4df3d2a

  Copy full SHA for 4df3d2a

• Fixed type adaptation problem in checkBounds

  Show description for 958e2a0
  odersky

  committed
  958e2a0

  Copy full SHA for 958e2a0

• More robust TypeVar printing.

  Show description for 8d94a93
  odersky

  committed
  8d94a93

  Copy full SHA for 8d94a93

• More robust isSetter test.

  Show description for f4d6c0f
  odersky

  committed
  f4d6c0f

  Copy full SHA for f4d6c0f

• Changed underlying type of RefinedThis

  Show description for a89f48d
  odersky

  committed
  a89f48d

  Copy full SHA for a89f48d

• Fixes in TypeComparer for RefinedTypes.

  Show description for 7427c67
  odersky

  committed
  7427c67

  Copy full SHA for 7427c67

• Fix to checkBounds

  Show description for 8329573
  odersky

  committed
  8329573

  Copy full SHA for 8329573

• Take off the training wheels for refined type comparisons.

  odersky

  committed
  f6ebe1e

  Copy full SHA for f6ebe1e

• checkBounds refactoring

  Show description for a468a86
  odersky

  committed
  a468a86

  Copy full SHA for a468a86

• Better printing of variant types with wildcard arguments.

  Show description for 917f58f
  odersky

  committed
  917f58f

  Copy full SHA for 917f58f

• Updated refinement checking.

  Show description for e26fb44
  odersky

  committed
  e26fb44

  Copy full SHA for e26fb44

• Added and corrected tests

  Show description for 05d286b
  odersky

  committed
  05d286b

  Copy full SHA for 05d286b

• Cyclicity checking independent of positions.

  Show description for 9d6c104
  odersky

  committed
  9d6c104

  Copy full SHA for 9d6c104

• Fixed cycle detection.

  Show description for 642c5e4
  odersky

  committed
  642c5e4

  Copy full SHA for 642c5e4

• Simpler cycle detection

  Show description for 48f78cd
  odersky

  committed
  48f78cd

  Copy full SHA for 48f78cd

Commits on Nov 25, 2014

• Added test case from SI-6169

  odersky

  committed
  a2884d5

  Copy full SHA for a2884d5