Code

Transform/lambdalift#199

Code

Merged

DarkDimius merged 27 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:transform/lambdaliftdotty-staging/dotty:transform/lambdaliftCopy head branch name to clipboard

Oct 29, 2014

Commits

Commits on Oct 26, 2014

• Add echo method to printers.

  Show description for 25a8937
  odersky

  committed
  25a8937

  Copy full SHA for 25a8937

• Avoid hoisting local classes

  Show description for 3fea947
  odersky

  committed
  3fea947

  Copy full SHA for 3fea947

• More assertions in TreeChecker.

  Show description for 979fa47
  odersky

  committed
  979fa47

  Copy full SHA for 979fa47

• Insert .package for package object references

  Show description for 8b38acb
  odersky

  committed
  8b38acb

  Copy full SHA for 8b38acb

• TreeTypeMap needs to map declarations of mapped classes

  Show description for 0f3a903
  odersky

  committed
  0f3a903

  Copy full SHA for 0f3a903

• Fix to TreeTypeMap

  Show description for 1a81244
  odersky

  committed
  1a81244

  Copy full SHA for 1a81244

• Implement findMember for JavaArrays

  Show description for 7167c22
  odersky

  committed
  7167c22

  Copy full SHA for 7167c22

• Rename flag Static -> JavaStatic

  Show description for f590cb3
  odersky

  committed
  f590cb3

  Copy full SHA for f590cb3

• Fix flatten problem in erasure

  Show description for e3b0fa2
  odersky

  committed
  e3b0fa2

  Copy full SHA for e3b0fa2

• Two fixes to avoid scanning package contents

  Show description for 04001be
  odersky

  committed
  04001be

  Copy full SHA for 04001be

• Fix to enclosingClass

  Show description for 98deca5
  odersky

  committed
  98deca5

  Copy full SHA for 98deca5

• Fixes to LambdaLift

  Show description for 138045c
  odersky

  committed
  138045c

  Copy full SHA for 138045c

• Added missing case for SuperTypes to TypeComparer

  odersky

  committed
  e7cc8a4

  Copy full SHA for e7cc8a4

• SuperTypes are now promoted in Retyper; lambdaLift fails to Ycheck otherwise.

  odersky

  committed
  8543737

  Copy full SHA for 8543737

• LambdaLift checks now explicitly for references to labels outside scope.

  Show description for 651ff01
  odersky

  committed
  651ff01

  Copy full SHA for 651ff01

• Fixes erasure of super

  Show description for a426e92
  odersky

  committed
  a426e92

  Copy full SHA for a426e92

• Strenghten postCondition of firstTransform

  Show description for 17b78ba
  odersky

  committed
  17b78ba

  Copy full SHA for 17b78ba

• Initialize lambda lift maps

  Show description for 02afa11
  odersky

  committed
  02afa11

  Copy full SHA for 02afa11

• Replace some idents by selects in LambdaLift

  Show description for 55715f1
  odersky

  committed
  55715f1

  Copy full SHA for 55715f1

• Almost all tests pass -Ycheck:lambdLift

  Show description for 4d370b6
  odersky

  committed
  4d370b6

  Copy full SHA for 4d370b6

• Add missing and double symbol checking to TreeChecker

  Show description for 3a25072
  odersky

  committed
  3a25072

  Copy full SHA for 3a25072

• Enabled commented out tests

  odersky

  committed
  8b0f2d6

  Copy full SHA for 8b0f2d6

• Fix pattern matcher double defining symbols used in type tests that are known to succeed.

  

  DarkDimius

  authored and

  odersky

  committed
  a5878de

  Copy full SHA for a5878de

• Fix PreserveSubPatBinders not storing subparts that are used only for type tests.

  

  DarkDimius

  authored and

  odersky

  committed
  f459bf0

  Copy full SHA for f459bf0

• Better tests and bugfix for named args

  Show description for 70946d7
  odersky

  committed
  70946d7

  Copy full SHA for 70946d7

• Make LambdaLift diagnostics log messages instead of printing them directly.

  odersky

  committed
  a3ef72b

  Copy full SHA for a3ef72b

Commits on Oct 27, 2014

• Dropped comment.

  odersky

  committed
  1070499

  Copy full SHA for 1070499