Code

Change to given/using syntax#8162

Code

Merged

odersky merged 8 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-given-usingdotty-staging/dotty:change-given-usingCopy head branch name to clipboard

Feb 2, 2020

Commits

Commits on Jan 31, 2020

• Change docs to given/using syntax

  odersky

  committed
  5439c6e

  Copy full SHA for 5439c6e

• Fix subsection title

  odersky

  committed
  ba174c0

  Copy full SHA for ba174c0

• Implement given/using syntax

  odersky

  committed
  54f0a85

  Copy full SHA for 54f0a85

• Go back to `(given ...` parameters and arguments

  Show description for bfb88cc
  odersky

  committed
  bfb88cc

  Copy full SHA for bfb88cc

• Fix parsing conditional givens with `using`

  odersky

  committed
  ad66401

  Copy full SHA for ad66401

• Partial comversion to using clauses

  Show description for a18bc9e
  odersky

  committed
  a18bc9e

  Copy full SHA for a18bc9e

Commits on Feb 1, 2020

• Change remaining uses of given to using

  odersky

  committed
  041b2bb

  Copy full SHA for 041b2bb

• Remove vestiges of `with` in printing and patching code

  odersky

  committed
  0861a29

  Copy full SHA for 0861a29