Code

Multiversal Equality#1246

Code

Merged

odersky merged 21 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-multiversal-equals-2dotty-staging/dotty:add-multiversal-equals-2Copy head branch name to clipboard

May 25, 2016

Commits

Commits on May 23, 2016

• Allow auto-tupling for arguments to overloaded methods

  Show description for fc79397
  odersky

  committed
  fc79397

  Copy full SHA for fc79397

• Make sure type parameters correspond to type args in applyOveroaded

  Show description for dc319c5
  odersky

  committed
  dc319c5

  Copy full SHA for dc319c5

• Fix caching problem when computing implicit scopes

  Show description for b8b0f38
  odersky

  committed
  b8b0f38

  Copy full SHA for b8b0f38

• Ignore LazyRefs in Tasty pickling comparisons

  Show description for 039e20f
  odersky

  committed
  039e20f

  Copy full SHA for 039e20f

• Downwards comparisons for implicit search and overloading resolution

  Show description for 8954026
  odersky

  committed
  8954026

  Copy full SHA for 8954026

• Add new strawman for multiversal equality

  odersky

  committed
  4936627

  Copy full SHA for 4936627

• Fixed error in comment

  odersky

  committed
  3676baa

  Copy full SHA for 3676baa

• Hooks to check that comparisons with == / != make sense

  Show description for cd8bf2d
  odersky

  committed
  cd8bf2d

  Copy full SHA for cd8bf2d

• Check equality that with == and != makes sense

  Show description for 4baaa5a
  odersky

  committed
  4baaa5a

  Copy full SHA for 4baaa5a

• Test case

  odersky

  committed
  7a264ee

  Copy full SHA for 7a264ee

• Make Eq contravariant

  Show description for bfe9faa
  odersky

  committed
  bfe9faa

  Copy full SHA for bfe9faa

• Print diagnostics to implicits printer

  odersky

  committed
  f2361d6

  Copy full SHA for f2361d6

• Add Java types to equality test

  odersky

  committed
  ec71e00

  Copy full SHA for ec71e00

• Safe equality for core classes:

  Show description for a88de62
  odersky

  committed
  a88de62

  Copy full SHA for a88de62

• Make use of implicitNotFound for eqaulity errors

  Show description for 22d1ad4
  odersky

  committed
  22d1ad4

  Copy full SHA for 22d1ad4

• Fix comments in Eq class and make it a trait.

  odersky

  committed
  2ffecb8

  Copy full SHA for 2ffecb8

• Tweak of valid eqAny condition

  odersky

  committed
  25411d9

  Copy full SHA for 25411d9

• Address reviewers comments

  odersky

  committed
  7749866

  Copy full SHA for 7749866

• Add Eq instances of standard types to Predef

  Show description for cae7b78
  odersky

  committed
  cae7b78

  Copy full SHA for cae7b78

• Move eqAny to Predef

  odersky

  committed
  3c1a87b

  Copy full SHA for 3c1a87b

• Fix doc comment

  odersky

  committed
  2f3b895

  Copy full SHA for 2f3b895