Code

[Proposal] Typeclass Traits#4153

Code

Closed

odersky wants to merge 54 commits intoscala:masterscala/scala3:masterfrom dotty-staging:add-commondotty-staging/dotty:add-commonCopy head branch name to clipboard

+3,825-382

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

• Pretty printing, fixes, and tests

  odersky

  committed
  9c773c6

  Copy full SHA for 9c773c6

• [Proposal] Common Declarations

  Show description for a7b4719
  odersky

  committed
  a7b4719

  Copy full SHA for a7b4719

• Fix typos

  odersky

  committed
  9a220cf

  Copy full SHA for 9a220cf

• Small changes to test

  odersky

  committed
  61b179b

  Copy full SHA for 61b179b

• Uniform extensions

  Show description for 5ce44c6
  odersky

  committed
  5ce44c6

  Copy full SHA for 5ce44c6

• Also add cases where extended traits are used as direct parameters

  odersky

  committed
  c1c74a3

  Copy full SHA for c1c74a3

• Treat common traits and type classes alike

  odersky

  committed
  153554b

  Copy full SHA for 153554b

• More examples for typeclass encodings

  odersky

  committed
  556add7

  Copy full SHA for 556add7

• Allow extension re-use through automatically inserted forwarders

  odersky

  committed
  e4beb48

  Copy full SHA for e4beb48

• Explain possible typeclass trait extension

  odersky

  committed
  2e754c3

  Copy full SHA for 2e754c3

• Fix rebase breakage

  odersky

  committed
  a0542fe

  Copy full SHA for a0542fe

• Polishings

  odersky

  committed
  46c7809

  Copy full SHA for 46c7809

Commits on Apr 1, 2018

• Small fixes to docs

  odersky

  committed
  0453e05

  Copy full SHA for 0453e05

Commits on Apr 2, 2018

• Fix test

  odersky

  committed
  434a689

  Copy full SHA for 434a689

• Flesh out documentation

  Show description for 6e18885
  odersky

  committed
  6e18885

  Copy full SHA for 6e18885

• Fix more typos

  odersky

  committed
  26ce98a

  Copy full SHA for 26ce98a

Commits on Apr 3, 2018

• Merge vendethiel/patch-1

  Show description for 4b1ba83
  odersky

  committed
  4b1ba83

  Copy full SHA for 4b1ba83

Commits on Apr 4, 2018

• Name-mangle both injector parameters

  odersky

  committed
  0cfc375

  Copy full SHA for 0cfc375

Commits on Apr 5, 2018

• Disentangle common and typeclass

  Show description for 07256c2
  odersky

  committed
  07256c2

  Copy full SHA for 07256c2

• Make the encoding of common more regular.

  odersky

  committed
  97f7590

  Copy full SHA for 97f7590

• Rename common from a trait companion to at.

  Show description for 37f8424
  odersky

  committed
  37f8424

  Copy full SHA for 37f8424