Code

Add named extensions#4114

Code

Closed

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

dotty-staging:add-extensiondotty-staging/dotty:add-extensionCopy head branch name to clipboard

Commits

Commits on Mar 31, 2018

• Add opaque types: parsing & pickling

  Show description for fb7084c
  odersky

  committed
  fb7084c

  Copy full SHA for fb7084c

• Store opaque info in annotation

  Show description for b3193a5
  odersky

  committed
  b3193a5

  Copy full SHA for b3193a5

• Keep track of opaque companion links

  Show description for e583338
  odersky

  committed
  e583338

  Copy full SHA for e583338

• Maintain companion aliases as GADT bounds

  odersky

  committed
  3e53f63

  Copy full SHA for 3e53f63

• Test cases

  odersky

  committed
  d0eec14

  Copy full SHA for d0eec14

• Allow for higher-kinded opaque types

  odersky

  committed
  8b2117b

  Copy full SHA for 8b2117b

• Handle higher-kinded comparisons involving GADTs

  Show description for e0da82b
  odersky

  committed
  e0da82b

  Copy full SHA for e0da82b

• Change companion detection scheme

  Show description for 2247529
  odersky

  committed
  2247529

  Copy full SHA for 2247529

• Eliminate boxing for opaque types

  Show description for c70bcb0
  odersky

  committed
  c70bcb0

  Copy full SHA for c70bcb0

• Make OpaqueAlias and LinkedType special classes

  Show description for af5c199
  odersky

  committed
  af5c199

  Copy full SHA for af5c199

• Make implicit scope include companion objects of opaque types

  odersky

  committed
  f2cf353

  Copy full SHA for f2cf353

• Add reference documentation

  odersky

  committed
  71ae943

  Copy full SHA for 71ae943

• Fix test

  odersky

  committed
  89dd537

  Copy full SHA for 89dd537

• Fix indentation

  odersky

  committed
  893eebb

  Copy full SHA for 893eebb

• Treat companions of opaque types specially

  Show description for 77317b0
  odersky

  committed
  77317b0

  Copy full SHA for 77317b0

• Replace annotation extractor with access methods

  odersky

  committed
  4006366

  Copy full SHA for 4006366

• Simplify companion scheme

  Show description for fa099ed
  odersky

  committed
  fa099ed

  Copy full SHA for fa099ed

• add test

  odersky

  committed
  55cd70f

  Copy full SHA for 55cd70f

• Follow GADT bounds when computing members

  Show description for 6161baf
  odersky

  committed
  6161baf

  Copy full SHA for 6161baf

• Consider GADT bounds for findMember and underlying

  Show description for 6fee4bb
  odersky

  committed
  6fee4bb

  Copy full SHA for 6fee4bb

• Extend opaque companion context to inlined code

  Show description for ea65c25
  odersky

  committed
  ea65c25

  Copy full SHA for ea65c25

• Remove stray println

  odersky

  committed
  e50e669

  Copy full SHA for e50e669

• Disable failing FromTasty tests

  odersky

  committed
  e3e58eb

  Copy full SHA for e3e58eb

• Fix ctx of opaque type companion

  

  nicolasstucki

  authored and

  odersky

  committed
  252f04a

  Copy full SHA for 252f04a

• Fix ctx and call of inlined opaque extension methods

  

  nicolasstucki

  authored and

  odersky

  committed
  c8ff1d6

  Copy full SHA for c8ff1d6

• Fix rebase breakage

  odersky

  committed
  cf740ba

  Copy full SHA for cf740ba

• Fix modifier printing

  odersky

  committed
  b158666

  Copy full SHA for b158666

• Schema for named extensions

  Show description for 22a7167
  odersky

  committed
  22a7167

  Copy full SHA for 22a7167

• Parser for fixed syntax

  odersky

  committed
  3effb96

  Copy full SHA for 3effb96

• Desugarings for extensions

  odersky

  committed
  a8d48e9

  Copy full SHA for a8d48e9

• Avoid `extension` as an identifier.

  Show description for 2084371
  odersky

  committed
  2084371

  Copy full SHA for 2084371

• Pretty printing, fixes, and tests

  odersky

  committed
  68ab0bb

  Copy full SHA for 68ab0bb

• Adapt RefinedPrinter to new scheme for modText

  odersky

  committed
  e318da7

  Copy full SHA for e318da7