Code

Rework implicit search#3421

Code

Merged

odersky merged 30 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-strawandotty-staging/dotty:fix-strawanCopy head branch name to clipboard

Nov 15, 2017

Commits

Commits on Nov 1, 2017

• Fix #3396: Abort implicit search if result does not match

  Show description for fd7ba2b
  odersky

  committed
  fd7ba2b

  Copy full SHA for fd7ba2b

• Fix typo in comment

  odersky

  committed
  fd70c61

  Copy full SHA for fd70c61

Commits on Nov 3, 2017

• Reflect nesting of lazy_implicit values in their levels

  Show description for 2d4efa0
  odersky

  committed
  2d4efa0

  Copy full SHA for 2d4efa0

• Propagate implicit ambiguity and divergence failures

  Show description for d7c8604
  odersky

  committed
  d7c8604

  Copy full SHA for d7c8604

• Move iterator-from test to pending

  Show description for c311bf3
  odersky

  committed
  c311bf3

  Copy full SHA for c311bf3

• Add test

  odersky

  committed
  beb90b4

  Copy full SHA for beb90b4

• Refine order in which implicit candidates are tried

  odersky

  committed
  c1c9198

  Copy full SHA for c1c9198

Commits on Nov 5, 2017

• The great implicits re-org

  Show description for a32b4b8
  odersky

  committed
  a32b4b8

  Copy full SHA for a32b4b8

• Add @sharable to global data

  odersky

  committed
  e1cf2c9

  Copy full SHA for e1cf2c9

• Disable refined preference scheme for implicits

  Show description for 7da033b
  odersky

  committed
  7da033b

  Copy full SHA for 7da033b

Commits on Nov 6, 2017

• Bring back iterator-from from pending

  odersky

  committed
  e6ffe35

  Copy full SHA for e6ffe35

• Replace isAsGood with ternary operator

  Show description for d06d5ae
  odersky

  committed
  d06d5ae

  Copy full SHA for d06d5ae

• WIP: Try out some alternatives

  odersky

  committed
  d8028de

  Copy full SHA for d8028de

• New scheme for handling implicits

  Show description for 2270899
  odersky

  committed
  2270899

  Copy full SHA for 2270899

• Cleanups

  odersky

  committed
  01d8dfb

  Copy full SHA for 01d8dfb

• Fix doc comment

  odersky

  committed
  83f86ab

  Copy full SHA for 83f86ab

• Fix test comment

  odersky

  committed
  2df8031

  Copy full SHA for 2df8031

• Remove stray text in comment

  odersky

  committed
  50bf462

  Copy full SHA for 50bf462

Commits on Nov 7, 2017

• Avoid repeated `tpd.` prefixes in Implicits.scala

  odersky

  committed
  ebb4ba2

  Copy full SHA for ebb4ba2

• Add some doc comments

  odersky

  committed
  15744fb

  Copy full SHA for 15744fb

• Disable numeric value tie break

  Show description for 0e8a74d
  odersky

  committed
  0e8a74d

  Copy full SHA for 0e8a74d

• New test exercising implicit function types

  odersky

  committed
  9c1d942

  Copy full SHA for 9c1d942

Commits on Nov 8, 2017

• New test exercising implicit function types

  odersky

  committed
  0bae8a3

  Copy full SHA for 0bae8a3

Commits on Nov 13, 2017

• Implement negation of implicit searches

  Show description for 2144367
  odersky

  committed
  2144367

  Copy full SHA for 2144367

Commits on Nov 14, 2017

• Fixes and documentation for Not class

  odersky

  committed
  03779a1

  Copy full SHA for 03779a1

• Fix handling divergent implicits

  Show description for 98c4b7d
  odersky

  committed
  98c4b7d

  Copy full SHA for 98c4b7d

Commits on Nov 15, 2017

• Address reviewers comments

  odersky

  committed
  39b4ec2

  Copy full SHA for 39b4ec2

• Fix typo

  odersky

  committed
  66b0d9a

  Copy full SHA for 66b0d9a

• Avoid infinite loop

  odersky

  committed
  0da21e1

  Copy full SHA for 0da21e1

• Simplify control flow in rank method

  odersky

  committed
  db1b09a

  Copy full SHA for db1b09a