Code

New proposal for extension methods#5114

Code

Merged

odersky merged 56 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-extensionsdotty-staging/dotty:add-extensionsCopy head branch name to clipboard

Dec 7, 2018

Commits

Commits on Dec 5, 2018

• Establish companionship directly

  Show description for a708680
  odersky

  committed
  a708680

  Copy full SHA for a708680

• Compare two schemes how extensions could be used to encode typeclasses

  Show description for c78ee10
  odersky

  committed
  c78ee10

  Copy full SHA for c78ee10

• New proposal for extension methods

  odersky

  committed
  81a3cd5

  Copy full SHA for 81a3cd5

• Fix wording of translation rule

  odersky

  committed
  45ea7ae

  Copy full SHA for 45ea7ae

• Fix example code

  odersky

  committed
  04f4877

  Copy full SHA for 04f4877

• Address review comments

  odersky

  committed
  e74fc4d

  Copy full SHA for e74fc4d

• Another fix for example code

  odersky

  committed
  dca503d

  Copy full SHA for dca503d

• Add missing type parameter

  odersky

  committed
  54e6c85

  Copy full SHA for 54e6c85

• Add example file to pickling blacklist

  Show description for 75ea081
  odersky

  committed
  75ea081

  Copy full SHA for 75ea081

• Parsing and pretty-printing of extension methods

  odersky

  committed
  fdfe2f4

  Copy full SHA for fdfe2f4

• Fixes to code and syntax

  odersky

  committed
  61b89c8

  Copy full SHA for 61b89c8

• More fixes to doc

  odersky

  committed
  4b7121c

  Copy full SHA for 4b7121c

• Switch to prefix type arguments

  Show description for 85efcb4
  odersky

  committed
  85efcb4

  Copy full SHA for 85efcb4

• Change syntax to "this modifier" scheme

  odersky

  committed
  e88c3a8

  Copy full SHA for e88c3a8

• Parsing and pretty-printing for "this as modifier" scheme

  odersky

  committed
  328140b

  Copy full SHA for 328140b

• Dotty docs for "this as modifier" scheme

  odersky

  committed
  9b4dc40

  Copy full SHA for 9b4dc40

• Fix rebase breakage

  odersky

  committed
  e3ad509

  Copy full SHA for e3ad509

• Make extension objects eligible for implicit search

  Show description for 93bedf5
  odersky

  committed
  93bedf5

  Copy full SHA for 93bedf5

• Handle extension methods in implicit search

  odersky

  committed
  6e224d8

  Copy full SHA for 6e224d8

• Avoid attachments to communicate extension method applications

  Show description for e7c68ef
  odersky

  committed
  e7c68ef

  Copy full SHA for e7c68ef

• Avoid eta-expanding partially applied extension methods

  odersky

  committed
  4481174

  Copy full SHA for 4481174

• Add check file to test

  odersky

  committed
  4a97662

  Copy full SHA for 4a97662

• Add extensions-methods to pickling blacklist

  Show description for 18029a9
  odersky

  committed
  18029a9

  Copy full SHA for 18029a9

• Handle extension method applications with explicit type arguments

  Show description for 46f1a5c
  odersky

  committed
  46f1a5c

  Copy full SHA for 46f1a5c

• Represent PolyProto arguments as trees, not types

  Show description for d45fd68
  odersky

  committed
  d45fd68

  Copy full SHA for d45fd68

• Refactorings and polishings

  Show description for 91729bc
  odersky

  committed
  91729bc

  Copy full SHA for 91729bc

• Consider extension methods if they are in scope

  odersky

  committed
  708504b

  Copy full SHA for 708504b

• Catch cyclic references when trying extension methods

  Show description for c87a4a0
  odersky

  committed
  c87a4a0

  Copy full SHA for c87a4a0

• Make findRef accessible outside of typedIdent

  odersky

  committed
  6d0a157

  Copy full SHA for 6d0a157

• Add infrastructure to be able to search specifically for extension methods

  odersky

  committed
  1cf72c6

  Copy full SHA for 1cf72c6

• Don't complete normal symbols when searching for an extension method

  odersky

  committed
  1a661db

  Copy full SHA for 1a661db

• excluded -> exclusive

  Show description for 6b31519
  odersky

  committed
  6b31519

  Copy full SHA for 6b31519

• Distinguish between required and excluded flags

  Show description for 601966f
  odersky

  committed
  601966f

  Copy full SHA for 601966f

• Fix rebase breakage

  odersky

  committed
  f25ec80

  Copy full SHA for f25ec80

• Update doc page to describe new resolution rules

  odersky

  committed
  981cb71

  Copy full SHA for 981cb71

• Fix typo.

  odersky

  committed
  659e63f

  Copy full SHA for 659e63f

• Fixes for hasExtensionMethod

  Show description for c880d8e
  odersky

  committed
  c880d8e

  Copy full SHA for c880d8e

• Clarify relationship to operators

  odersky

  committed
  5a4adf7

  Copy full SHA for 5a4adf7

• Integrate extension methods docs in sidebar

  odersky

  committed
  60aa019

  Copy full SHA for 60aa019

• Update docs/docs/reference/extension-methods.md

  Show description for 286a5d6
  

  buzden

  and

  odersky

  committed
  286a5d6

  Copy full SHA for 286a5d6

• Address review comments

  odersky

  committed
  c19c240

  Copy full SHA for c19c240

• Add disabled string interpolation test

  odersky

  committed
  abddd42

  Copy full SHA for abddd42

• Revert: Dotty docs for "this as modifier" scheme

  Show description for cb7a9d8
  odersky

  committed
  cb7a9d8

  Copy full SHA for cb7a9d8

• Revert: Parsing and pretty-printing for "this as modifier" scheme

  Show description for f00cf7b
  odersky

  committed
  f00cf7b

  Copy full SHA for f00cf7b

• Revert: Change syntax to "this modifier" scheme

  Show description for 12cb7a1
  odersky

  committed
  12cb7a1

  Copy full SHA for 12cb7a1

• Revert: Switch to prefix type arguments

  Show description for dd1db7a
  odersky

  committed
  dd1db7a

  Copy full SHA for dd1db7a

• Extension methods with leading parameter list

  odersky

  committed
  401931e

  Copy full SHA for 401931e

• Handle positions in extension methods

  Show description for 3d4366f
  odersky

  committed
  3d4366f

  Copy full SHA for 3d4366f

• Update tests to use prefix parameter syntax for extension methods

  odersky

  committed
  4c4c1e8

  Copy full SHA for 4c4c1e8

• Handle right-associative extension operators

  odersky

  committed
  5f86ca0

  Copy full SHA for 5f86ca0

• Remove dead code in Parser

  odersky

  committed
  f97c6ff

  Copy full SHA for f97c6ff

• Avoid implicit objects that extend nothing

  Show description for 7e2cd66
  odersky

  committed
  7e2cd66

  Copy full SHA for 7e2cd66

• Implement reviewer suggestions

  odersky

  committed
  cee2331

  Copy full SHA for cee2331

• Bring back xml-interpolation3 test

  odersky

  committed
  9d7093c

  Copy full SHA for 9d7093c

• Reject ambiguities between implicit conversions and extension methods

  odersky

  committed
  3506192

  Copy full SHA for 3506192

• Reclassify test

  odersky

  committed
  49bae02

  Copy full SHA for 49bae02