Code

Add extension clauses#4085

Code

Closed

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

dotty-staging:add-extenddotty-staging/dotty:add-extendCopy head branch name to clipboard

Commits

Commits on Mar 12, 2018

• Add opaque types: parsing & pickling

  Show description for ab9aca1
  odersky

  committed
  ab9aca1

  Copy full SHA for ab9aca1

• Store opaque info in annotation

  Show description for 5e1b0a8
  odersky

  committed
  5e1b0a8

  Copy full SHA for 5e1b0a8

• Keep track of opaque companion links

  Show description for f5ef7b8
  odersky

  committed
  f5ef7b8

  Copy full SHA for f5ef7b8

• Maintain companion aliases as GADT bounds

  odersky

  committed
  2403e06

  Copy full SHA for 2403e06

• Test cases

  odersky

  committed
  f5060be

  Copy full SHA for f5060be

• Allow for higher-kinded opaque types

  odersky

  committed
  b7e7ef7

  Copy full SHA for b7e7ef7

• Handle higher-kinded comparisons involving GADTs

  Show description for a79210b
  odersky

  committed
  a79210b

  Copy full SHA for a79210b

• Change companion detection scheme

  Show description for a11d1ad
  odersky

  committed
  a11d1ad

  Copy full SHA for a11d1ad

• Eliminate boxing for opaque types

  Show description for 4feb71d
  odersky

  committed
  4feb71d

  Copy full SHA for 4feb71d

• Make OpaqueAlias and LinkedType special classes

  Show description for 1f985da
  odersky

  committed
  1f985da

  Copy full SHA for 1f985da

• Make implicit scope include companion objects of opaque types

  odersky

  committed
  3fb11d2

  Copy full SHA for 3fb11d2

• Add reference documentation

  odersky

  committed
  f9b141b

  Copy full SHA for f9b141b

• Fix test

  odersky

  committed
  599b408

  Copy full SHA for 599b408

• Fix indentation

  odersky

  committed
  cdc5e54

  Copy full SHA for cdc5e54

• Treat companions of opaque types specially

  Show description for 95a3d07
  odersky

  committed
  95a3d07

  Copy full SHA for 95a3d07

• Replace annotation extractor with access methods

  odersky

  committed
  1d03fc0

  Copy full SHA for 1d03fc0

• Simplify companion scheme

  Show description for 4293432
  odersky

  committed
  4293432

  Copy full SHA for 4293432

• add test

  odersky

  committed
  8ac08cc

  Copy full SHA for 8ac08cc

• Bump minor Tasty version

  odersky

  committed
  c6bb46f

  Copy full SHA for c6bb46f

• Follow GADT bounds when computing members

  Show description for b2e85a0
  odersky

  committed
  b2e85a0

  Copy full SHA for b2e85a0

• Consider GADT bounds for findMember and underlying

  Show description for 7b67237
  odersky

  committed
  7b67237

  Copy full SHA for 7b67237

• Extend opaque companion context to inlined code

  Show description for 5de563b
  odersky

  committed
  5de563b

  Copy full SHA for 5de563b

Commits on Mar 14, 2018

• Add augment clauses

  Show description for f6dffe4
  odersky

  committed
  f6dffe4

  Copy full SHA for f6dffe4

• Allow for `type id` in type patterns

  Show description for 971e385
  odersky

  committed
  971e385

  Copy full SHA for 971e385

• Convert tests to use new type pattern syntax

  Show description for 3e55b6b
  odersky

  committed
  3e55b6b

  Copy full SHA for 3e55b6b

• Base augment syntax on type patterns

  odersky

  committed
  6d2cbba

  Copy full SHA for 6d2cbba

• Fix typo

  odersky

  committed
  cb5ae51

  Copy full SHA for cb5ae51

• Make annotation names compilation-order independent

  odersky

  committed
  dc05718

  Copy full SHA for dc05718

• Require that non-extending augments only add extension methods

  odersky

  committed
  958e67a

  Copy full SHA for 958e67a

• Implement extension methods as implicit value classes

  odersky

  committed
  f8b661d

  Copy full SHA for f8b661d

• Partially fix idempotency of static method order

  Show description for b90acc1
  

  nicolasstucki

  authored and

  odersky

  committed
  b90acc1

  Copy full SHA for b90acc1

• Allow labels naming an augment

  odersky

  committed
  55405d8

  Copy full SHA for 55405d8

• Use semantic names for augmentations

  Show description for d4f50df
  odersky

  committed
  d4f50df

  Copy full SHA for d4f50df

• Add regression test for idempotency issue on static methods

  Show description for 823ba95
  

  nicolasstucki

  authored and

  odersky

  committed
  823ba95

  Copy full SHA for 823ba95

• Add docs for extension methods

  odersky

  committed
  90ec0ee

  Copy full SHA for 90ec0ee

• More docs for augmentations

  odersky

  committed
  0b0c2e0

  Copy full SHA for 0b0c2e0

• Remove duplicate test

  odersky

  committed
  5297996

  Copy full SHA for 5297996

• Fix typos

  odersky

  committed
  1c55e04

  Copy full SHA for 1c55e04

• Change syntax from augment/extends to extend/implements

  Show description for 1e4b2a1
  odersky

  committed
  1e4b2a1

  Copy full SHA for 1e4b2a1

• Fix test and error reporting

  odersky

  committed
  ff65a2b

  Copy full SHA for ff65a2b

• Require implemented types to be traits

  odersky

  committed
  53298ce

  Copy full SHA for 53298ce

• Another test - magnet pattern

  odersky

  committed
  19d12d9

  Copy full SHA for 19d12d9

• Change syntax of instance declarations

  Show description for f8bd21a
  odersky

  committed
  f8bd21a

  Copy full SHA for f8bd21a

• A blue sky sketch how one could possibly evolve extends clauses

  odersky

  committed
  b757ba9

  Copy full SHA for b757ba9

• Fix test

  odersky

  committed
  23c863e

  Copy full SHA for 23c863e

• Fix typos

  odersky

  committed
  420a79d

  Copy full SHA for 420a79d

• More blue sky variants

  odersky

  committed
  09aa5d2

  Copy full SHA for 09aa5d2

• Some small updates and variants to blySkyExtensions

  odersky

  committed
  51bff8d

  Copy full SHA for 51bff8d

• Relax restriction about type overrides

  Show description for cfc9058
  odersky

  committed
  cfc9058

  Copy full SHA for cfc9058

Commits on Mar 15, 2018

• More escaping of "extension"

  odersky

  committed
  f65f8b3

  Copy full SHA for f65f8b3