Code

Change extension method syntax#7557

Code

Merged

nicolasstucki merged 7 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:given-extendsdotty-staging/dotty:given-extendsCopy head branch name to clipboard

Nov 18, 2019

Commits

Commits on Nov 16, 2019

• Change extension method syntax

  odersky

  committed
  86cd4e1

  Copy full SHA for 86cd4e1

• Change syntax from `extend` to `extension`

  odersky

  committed
  4c6945e

  Copy full SHA for 4c6945e

• Handle given parameters in extension clauses when desugaring

  odersky

  committed
  758f2a3

  Copy full SHA for 758f2a3

• Show synthesized extension instance name in docs

  odersky

  committed
  1fb42b9

  Copy full SHA for 1fb42b9

• Improve specificity comparisons for extension methods

  Show description for 05a72c5
  odersky

  committed
  05a72c5

  Copy full SHA for 05a72c5

• Disallow old anonymous extension syntax

  Show description for 0933b9c
  odersky

  committed
  0933b9c

  Copy full SHA for 0933b9c

Commits on Nov 18, 2019

• Implement review suggestions

  odersky

  committed
  1dcc26d

  Copy full SHA for 1dcc26d