Code

Add augment clauses#4043

Code

Closed

odersky wants to merge 34 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add-typepatsdotty-staging/dotty:add-typepatsCopy head branch name to clipboard

Commits

Commits on Mar 7, 2018

• Add opaque types: parsing & pickling

  Show description for 876ba16
  odersky

  committed
  876ba16

  Copy full SHA for 876ba16

• Store opaque info in annotation

  Show description for 49d59d1
  odersky

  committed
  49d59d1

  Copy full SHA for 49d59d1

• Keep track of opaque companion links

  Show description for a9ae016
  odersky

  committed
  a9ae016

  Copy full SHA for a9ae016

• Maintain companion aliases as GADT bounds

  odersky

  committed
  d8faef8

  Copy full SHA for d8faef8

• Test cases

  odersky

  committed
  4643971

  Copy full SHA for 4643971

• Allow for higher-kinded opaque types

  odersky

  committed
  36d5373

  Copy full SHA for 36d5373

• Handle higher-kinded comparisons involving GADTs

  Show description for 08d3b3c
  odersky

  committed
  08d3b3c

  Copy full SHA for 08d3b3c

• Change companion detection scheme

  Show description for 82d9261
  odersky

  committed
  82d9261

  Copy full SHA for 82d9261

• Eliminate boxing for opaque types

  Show description for 35ded60
  odersky

  committed
  35ded60

  Copy full SHA for 35ded60

• Make OpaqueAlias and LinkedType special classes

  Show description for 1e9f806
  odersky

  committed
  1e9f806

  Copy full SHA for 1e9f806

• Make implicit scope include companion objects of opaque types

  odersky

  committed
  52d0a37

  Copy full SHA for 52d0a37

• Add reference documentation

  odersky

  committed
  1a522f3

  Copy full SHA for 1a522f3

• Fix test

  odersky

  committed
  9333219

  Copy full SHA for 9333219

• Fix indentation

  odersky

  committed
  929e4a3

  Copy full SHA for 929e4a3

• Treat companions of opaque types specially

  Show description for d191092
  odersky

  committed
  d191092

  Copy full SHA for d191092

• Replace annotation extractor with access methods

  odersky

  committed
  30c39db

  Copy full SHA for 30c39db

• Simplify companion scheme

  Show description for d4e079c
  odersky

  committed
  d4e079c

  Copy full SHA for d4e079c

• add test

  odersky

  committed
  827534a

  Copy full SHA for 827534a

• Add augment clauses

  Show description for 33cd1ef
  odersky

  committed
  33cd1ef

  Copy full SHA for 33cd1ef

• Allow for `type id` in type patterns

  Show description for fb37b7f
  odersky

  committed
  fb37b7f

  Copy full SHA for fb37b7f

• Convert tests to use new type pattern syntax

  Show description for 1c13524
  odersky

  committed
  1c13524

  Copy full SHA for 1c13524

• Base augment syntax on type patterns

  odersky

  committed
  7cc1e37

  Copy full SHA for 7cc1e37

• Fix typo

  odersky

  committed
  8dd9be5

  Copy full SHA for 8dd9be5

• Make annotation names compilation-order independent

  odersky

  committed
  f18245d

  Copy full SHA for f18245d

• Require that non-extending augments only add extension methods

  odersky

  committed
  7ace3d7

  Copy full SHA for 7ace3d7

• Implement extension methods as implicit value classes

  odersky

  committed
  f338416

  Copy full SHA for f338416

• Partially fix idempotency of static method order

  Show description for 4dd12d3
  

  nicolasstucki

  authored and

  odersky

  committed
  4dd12d3

  Copy full SHA for 4dd12d3

• Allow labels naming an augment

  odersky

  committed
  f83d333

  Copy full SHA for f83d333

• Use semantic names for augmentations

  Show description for 1d61128
  odersky

  committed
  1d61128

  Copy full SHA for 1d61128

• Add regression test for idempotency issue on static methods

  Show description for f37611d
  

  nicolasstucki

  authored and

  odersky

  committed
  f37611d

  Copy full SHA for f37611d

• Add docs for extension methods

  odersky

  committed
  d7570e2

  Copy full SHA for d7570e2

• More docs for augmentations

  odersky

  committed
  a0e6eb7

  Copy full SHA for a0e6eb7

• Remove duplicate test

  odersky

  committed
  02f9f7c

  Copy full SHA for 02f9f7c

• Fix typos

  odersky

  committed
  8f1f0f0

  Copy full SHA for 8f1f0f0