Code

An Alternative to Implicits#5458

Code

Merged

milessabin merged 55 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-witnessdotty-staging/dotty:add-witnessCopy head branch name to clipboard

Jan 29, 2019

Commits

Commits on Jan 25, 2019

• Parser polishings

  odersky

  committed
  7111961

  Copy full SHA for 7111961

• Implement witnesses

  Show description for b1fe483
  odersky

  committed
  b1fe483

  Copy full SHA for b1fe483

• Implement anonymous witnesses

  Show description for adf55ef
  odersky

  committed
  adf55ef

  Copy full SHA for adf55ef

• Fix tests

  odersky

  committed
  8539daa

  Copy full SHA for 8539daa

• WIP Witness parameter syntax

  Show description for 2dc6c08
  odersky

  committed
  2dc6c08

  Copy full SHA for 2dc6c08

• Complete reference documentation

  Show description for c2c843f
  odersky

  committed
  c2c843f

  Copy full SHA for c2c843f

• Some more details in docs

  odersky

  committed
  ac28cc9

  Copy full SHA for ac28cc9

• Add witness as a modifier

  odersky

  committed
  ca24bc4

  Copy full SHA for ca24bc4

• Add witness as a modifier

  odersky

  committed
  6d97a2c

  Copy full SHA for 6d97a2c

• Reworked proposal

  Show description for 73cd252
  odersky

  committed
  73cd252

  Copy full SHA for 73cd252

• Split out abstract and alias witnesses into separate proposal

  odersky

  committed
  ae3f613

  Copy full SHA for ae3f613

• Parsing of contextual (`with`) parameters and arguments

  Show description for 16abc13
  odersky

  committed
  16abc13

  Copy full SHA for 16abc13

• Introduce contextual method types

  odersky

  committed
  e672c0c

  Copy full SHA for e672c0c

• Type checking of contextual applications

  odersky

  committed
  ddc8dc7

  Copy full SHA for ddc8dc7

• Changes to implicit function types

  Show description for 9c0b203
  odersky

  committed
  9c0b203

  Copy full SHA for 9c0b203

• Fix dependent function type building

  Show description for da97c7f
  odersky

  committed
  da97c7f

  Copy full SHA for da97c7f

• Implement and test "replacing-implicits" chapter.

  odersky

  committed
  593660c

  Copy full SHA for 593660c

• Flesh out migration discussion

  Show description for 4510f71
  odersky

  committed
  4510f71

  Copy full SHA for 4510f71

• Blacklist fromTasty test

  odersky

  committed
  319dac7

  Copy full SHA for 319dac7

• Fix IDE to use new IFT syntax

  odersky

  committed
  45ac765

  Copy full SHA for 45ac765

• Revert alternative infix syntax for extension methods

  Show description for 7c38257
  odersky

  committed
  7c38257

  Copy full SHA for 7c38257

• Drop dependency injection section

  Show description for c89be2b
  odersky

  committed
  c89be2b

  Copy full SHA for c89be2b

• Tweaks

  odersky

  committed
  03d3dac

  Copy full SHA for 03d3dac

• Add disabled string interpolation test

  odersky

  committed
  1b879a2

  Copy full SHA for 1b879a2

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

  Show description for 2b357c7
  odersky

  committed
  2b357c7

  Copy full SHA for 2b357c7

• Handle right-associative extension operators

  Show description for 9b55656
  odersky

  committed
  9b55656

  Copy full SHA for 9b55656

• Support witness defs with () parameters

  Show description for 15571f9
  odersky

  committed
  15571f9

  Copy full SHA for 15571f9

• Use `of` instead of `for` in witness definitions

  odersky

  committed
  c06f66e

  Copy full SHA for c06f66e

• Remove dead code in Parser

  Show description for 5522497
  odersky

  committed
  5522497

  Copy full SHA for 5522497

• Fix typo

  odersky

  committed
  4cf5dc3

  Copy full SHA for 4cf5dc3

• for -> of

  odersky

  committed
  712fa3a

  Copy full SHA for 712fa3a

• Make `instance` a reserved word

  Show description for 2febab1
  odersky

  committed
  2febab1

  Copy full SHA for 2febab1

• witness -> instance

  Show description for cd33fa4
  odersky

  committed
  cd33fa4

  Copy full SHA for cd33fa4

• Use new extension method syntax in instnace-defs doc

  odersky

  committed
  b675a41

  Copy full SHA for b675a41

• ImplicitConverter -> ImplicitConversion

  odersky

  committed
  fdb0512

  Copy full SHA for fdb0512

• Fix rebase breakage

  odersky

  committed
  63dc37b

  Copy full SHA for 63dc37b

• Another blacklist update

  odersky

  committed
  5f53757

  Copy full SHA for 5f53757

• Fix rebase breakage

  odersky

  committed
  f708ee6

  Copy full SHA for f708ee6

• Drop redundant span computation

  odersky

  committed
  07cd012

  Copy full SHA for 07cd012

• Fix rebase breakage

  odersky

  committed
  6394b6f

  Copy full SHA for 6394b6f

• Docs reorg

  Show description for 5ea1ee6
  odersky

  committed
  5ea1ee6

  Copy full SHA for 5ea1ee6

• Add scala.Conversion

  Show description for bc39a01
  odersky

  committed
  bc39a01

  Copy full SHA for bc39a01

• Make `companionModule` more robust.

  Show description for 8f6ce4b
  odersky

  committed
  8f6ce4b

  Copy full SHA for 8f6ce4b

• Implement instance as a modifier

  odersky

  committed
  e5cbc24

  Copy full SHA for e5cbc24

• Implement anonymous context parameters

  odersky

  committed
  8d4906f

  Copy full SHA for 8d4906f

• Fix typo

  odersky

  committed
  2ebb4e6

  Copy full SHA for 2ebb4e6

Commits on Jan 26, 2019

• Fix synthetic parameter generation for context types

  odersky

  committed
  5b2a5ff

  Copy full SHA for 5b2a5ff

• Fix instance translation

  Show description for ee09505
  odersky

  committed
  ee09505

  Copy full SHA for ee09505

• Fix multiple typeclass instance syntax

  Show description for 32ac2f3
  odersky

  committed
  32ac2f3

  Copy full SHA for 32ac2f3

• Complete test case

  odersky

  committed
  139eec4

  Copy full SHA for 139eec4

• Polish tests

  Show description for cf9b3ec
  odersky

  committed
  cf9b3ec

  Copy full SHA for cf9b3ec

Commits on Jan 27, 2019

• Account for () insertion in class params when generating instances

  Show description for 02737ec
  odersky

  committed
  02737ec

  Copy full SHA for 02737ec

• New syntax for alias instances

  Show description for 6f5df94
  odersky

  committed
  6f5df94

  Copy full SHA for 6f5df94

• Make instance defs final

  odersky

  committed
  ebb609b

  Copy full SHA for ebb609b

• Blacklist a fromTasty test

  odersky

  committed
  7d2a124

  Copy full SHA for 7d2a124