Code

Fix #1045#1053

Code

Merged

odersky merged 5 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#1045dotty-staging/dotty:fix-#1045Copy head branch name to clipboard

Feb 8, 2016

Commits

Commits on Feb 4, 2016

• Push `|' into corresponding RefinedTypes in approximateUnion

  Show description for 7d1d93e
  odersky

  committed
  7d1d93e

  Copy full SHA for 7d1d93e

• Try to make refinements match in approximateUnions

  Show description for 8efdbdc
  odersky

  committed
  8efdbdc

  Copy full SHA for 8efdbdc

• Slight optimization

  odersky

  committed
  6778e3c

  Copy full SHA for 6778e3c

• Disable benchmark test

  Show description for fc4867e
  odersky

  committed
  fc4867e

  Copy full SHA for fc4867e

Commits on Feb 8, 2016

• Drop redundant context parameter

  odersky

  committed
  ae09ac2

  Copy full SHA for ae09ac2