Code

Implement Scala2 traits#622

Code

Merged

odersky merged 22 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:add/implement-scala2-traitsdotty-staging/dotty:add/implement-scala2-traitsCopy head branch name to clipboard

Jun 6, 2015

Commits

Commits on Jun 1, 2015

• Merge postConditions of memoize and constructors

  Show description for 54d4d3d
  odersky

  committed
  54d4d3d

  Copy full SHA for 54d4d3d

• Make Mutable a ModifierFlag.

  Show description for 069010b
  odersky

  committed
  069010b

  Copy full SHA for 069010b

• New NameOps methods for Scala2 traits

  Show description for 11848a8
  odersky

  committed
  11848a8

  Copy full SHA for 11848a8

• Move needsForwarder logic from ResolveSuper to MixinOps.

  Show description for 9a167de
  odersky

  committed
  9a167de

  Copy full SHA for 9a167de

• Use $init$ as the name of trait constructors

  Show description for 4f0af8e
  odersky

  committed
  4f0af8e

  Copy full SHA for 4f0af8e

• Make ensureMethodic work after erasure.

  Show description for 6cdb3d4
  odersky

  committed
  6cdb3d4

  Copy full SHA for 6cdb3d4

• New utility method tpd.Underscore

  Show description for 31a7f64
  odersky

  committed
  31a7f64

  Copy full SHA for 31a7f64

• Avoid referring to initial$x methods when implementing Scala2 traits

  Show description for 4f50e8f
  odersky

  committed
  4f50e8f

  Copy full SHA for 4f50e8f

• New phase: AugmentScala2Traits

  odersky

  committed
  71067e6

  Copy full SHA for 71067e6

• Make memberSignature work after erasure.

  Show description for e4dc4fa
  odersky

  committed
  e4dc4fa

  Copy full SHA for e4dc4fa

• New phase: LinkScala2ImplClasses

  Show description for 8263d33
  odersky

  committed
  8263d33

  Copy full SHA for 8263d33

• Improve comments

  odersky

  committed
  0b34395

  Copy full SHA for 0b34395

• Make elimWildcardIdents apply to Assignments

  Show description for 9b85e30
  odersky

  committed
  9b85e30

  Copy full SHA for 9b85e30

• Elim ElimWildcardIdents

  Show description for 9220844
  odersky

  committed
  9220844

  Copy full SHA for 9220844

• Fix missing implementation class forward

  Show description for 86f954c
  odersky

  committed
  86f954c

  Copy full SHA for 86f954c

• Uncomment important test for Scala trait forwarding

  Show description for 2ab65fd
  odersky

  committed
  2ab65fd

  Copy full SHA for 2ab65fd

• Avoid generating trait setters for constants.

  Show description for 9e56405
  odersky

  committed
  9e56405

  Copy full SHA for 9e56405

• Add test case.

  Show description for 5aaa406
  odersky

  committed
  5aaa406

  Copy full SHA for 5aaa406

• More precise and uniform modelling of "isCurrent"

  Show description for 0a0d3dd
  odersky

  committed
  0a0d3dd

  Copy full SHA for 0a0d3dd

Commits on Jun 2, 2015

• Refine "&" for denotations.

  Show description for 4182fb7
  odersky

  committed
  4182fb7

  Copy full SHA for 4182fb7

• Make LazyVals respect scope hygiene.

  Show description for 82f8a81
  odersky

  committed
  82f8a81

  Copy full SHA for 82f8a81

• Fixed test.

  Show description for 0cdb299
  odersky

  committed
  0cdb299

  Copy full SHA for 0cdb299