Code

Add multiversal equals#1234

Code

Closed

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

dotty-staging:add-multiversal-equalsdotty-staging/dotty:add-multiversal-equalsCopy head branch name to clipboard

Commits

Commits on Apr 26, 2016

• Augment strawman with null comparisons.

  Show description for 467275f
  odersky

  committed
  467275f

  Copy full SHA for 467275f

• Allow auto-tupling for arguments to overloaded methods

  Show description for 4c7f815
  odersky

  committed
  4c7f815

  Copy full SHA for 4c7f815

• Make sure type parameters correspond to type args in applyOveroaded

  Show description for d4809bc
  odersky

  committed
  d4809bc

  Copy full SHA for d4809bc

• Fix caching problem when computing implicit scopes

  Show description for f0e482b
  odersky

  committed
  f0e482b

  Copy full SHA for f0e482b

• Eq and EqClass definitions

  Show description for 9dcd6d8
  odersky

  committed
  9dcd6d8

  Copy full SHA for 9dcd6d8

• Definitions supporting typesafe equality

  odersky

  committed
  540f8a8

  Copy full SHA for 540f8a8

• Remove multiversal variants of ==

  Show description for dfe7d9c
  odersky

  committed
  dfe7d9c

  Copy full SHA for dfe7d9c

• Ignore LazyRefs in Tasty pickling comparisons

  Show description for b0bbd93
  odersky

  committed
  b0bbd93

  Copy full SHA for b0bbd93

• Check that pattern matches make sense wrt equality

  odersky

  committed
  72fb8a8

  Copy full SHA for 72fb8a8

• Check in post-typer that equalities are safe

  Show description for 49ae192
  odersky

  committed
  49ae192

  Copy full SHA for 49ae192

• Test cases for multiversal equality

  odersky

  committed
  054ccaa

  Copy full SHA for 054ccaa

• Fix doc comment in Eq

  odersky

  committed
  db6c132

  Copy full SHA for db6c132

• Safe equality for core classes:

  Show description for c37f60a
  odersky

  committed
  c37f60a

  Copy full SHA for c37f60a

• Make EqClassOf a universal trait

  odersky

  committed
  940ac7a

  Copy full SHA for 940ac7a

• Merge EqClassOf and EqClass

  Show description for 37b6283
  odersky

  committed
  37b6283

  Copy full SHA for 37b6283

• Make more types have safe equality.

  odersky

  committed
  f7f742b

  Copy full SHA for f7f742b

Commits on Apr 27, 2016

• Fix errors in doc comments

  odersky

  committed
  0ed5da1

  Copy full SHA for 0ed5da1