Code

Implement given/with syntax#8017

Code

Merged

odersky merged 22 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-given-withdotty-staging/dotty:change-given-withCopy head branch name to clipboard

Jan 23, 2020

Commits

Commits on Jan 23, 2020

• Revert "Convert more conditional given instances to new syntax"

  Show description for 167dbb4
  odersky

  committed
  167dbb4

  Copy full SHA for 167dbb4

• Revert "Tweak syntax of conditions in given instances"

  Show description for 0e4105c
  odersky

  committed
  0e4105c

  Copy full SHA for 0e4105c

• Revert "Fix #7788: Add new syntax for conditional given instances"

  Show description for 0d88349
  odersky

  committed
  0d88349

  Copy full SHA for 0d88349

• Go back to `given ... as` for instances

  odersky

  committed
  03d0b42

  Copy full SHA for 03d0b42

• Update semanticDb check files

  odersky

  committed
  4a2a28d

  Copy full SHA for 4a2a28d

• Change to ?=> for context functions

  odersky

  committed
  576e535

  Copy full SHA for 576e535

• Use `with` for context parameters

  odersky

  committed
  823c816

  Copy full SHA for 823c816

• Adapt printing of context functions to new syntax

  odersky

  committed
  762c644

  Copy full SHA for 762c644

• Switch to `with` syntax for context parameters

  odersky

  committed
  04095bc

  Copy full SHA for 04095bc

• Specify and describe new indentation rules

  odersky

  committed
  3f53520

  Copy full SHA for 3f53520

• Adapt printing of context parameters and arguments to new syntax

  odersky

  committed
  1d2c32c

  Copy full SHA for 1d2c32c

• More indentation doc changes

  odersky

  committed
  a660faf

  Copy full SHA for a660faf

• Restore blog post to original form

  Show description for 79359e9
  odersky

  committed
  79359e9

  Copy full SHA for 79359e9

• Restore currently valid doc pages to original form

  Show description for 96a7a9b
  odersky

  committed
  96a7a9b

  Copy full SHA for 96a7a9b

• Update docs to `given` ... `with` syntax

  Show description for 8e04361
  odersky

  committed
  8e04361

  Copy full SHA for 8e04361

• Update comment on tooling

  odersky

  committed
  471b9cd

  Copy full SHA for 471b9cd

• Some doc fixes

  odersky

  committed
  0e2a86a

  Copy full SHA for 0e2a86a

• Imlement new import seclectors for givens

  Show description for 8b8a7ff
  odersky

  committed
  8b8a7ff

  Copy full SHA for 8b8a7ff

• Fix typo

  odersky

  committed
  3290913

  Copy full SHA for 3290913

• Allow normal parameter clauses after context parameters.

  Show description for d8a9235
  odersky

  committed
  d8a9235

  Copy full SHA for d8a9235

• Doc fixes

  Show description for cdc785f
  odersky

  committed
  cdc785f

  Copy full SHA for cdc785f

• Clarify migration of context bounds

  odersky

  committed
  744ab30

  Copy full SHA for 744ab30