Code

Allow given bindings in patterns#7194

Code

Merged

odersky merged 10 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:change-given-impldotty-staging/dotty:change-given-implCopy head branch name to clipboard

Sep 12, 2019

Commits

Commits on Sep 11, 2019

• Trial balloon for fixes to given syntax

  Show description for 801c527
  odersky

  committed
  801c527

  Copy full SHA for 801c527

• Use `:` instead of `as`

  Show description for 4e9e39b
  odersky

  committed
  4e9e39b

  Copy full SHA for 4e9e39b

• Rename `the` to `summon`

  odersky

  committed
  af1705f

  Copy full SHA for af1705f

• Formalize syntax changes

  Show description for c068597
  odersky

  committed
  c068597

  Copy full SHA for c068597

• Allow `given` bindings in patterns

  Show description for d4e5a2e
  odersky

  committed
  d4e5a2e

  Copy full SHA for d4e5a2e

• Fix typo

  odersky

  committed
  dde5bf2

  Copy full SHA for dde5bf2

• Drop check file

  odersky

  committed
  ec30014

  Copy full SHA for ec30014

• Avoid crash on member not found in inlined code

  odersky

  committed
  40e1697

  Copy full SHA for 40e1697

• Implement summonFrom as a replacement for implicit match

  odersky

  committed
  2b25407

  Copy full SHA for 2b25407

Commits on Sep 12, 2019

• Fix test

  odersky

  committed
  2b8ba68

  Copy full SHA for 2b8ba68