Code

Fix/erasure 2#128

Code

Merged

DarkDimius merged 36 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix/erasure-2dotty-staging/dotty:fix/erasure-2Copy head branch name to clipboard

May 9, 2014

Commits

Commits on May 8, 2014

• Erasure of term refs without symbols

  Show description for 5700ca9
  

  odersky

  authored and

  DarkDimius

  committed
  5700ca9

  Copy full SHA for 5700ca9

• Fix withSymAndName

  Show description for 5c11da2
  

  odersky

  authored and

  DarkDimius

  committed
  5c11da2

  Copy full SHA for 5c11da2

• Removing duplication between Any and Object methods

  Show description for 92c02ee
  

  odersky

  authored and

  DarkDimius

  committed
  92c02ee

  Copy full SHA for 92c02ee

• Fixing stillValid code

  Show description for a8894ed
  

  odersky

  authored and

  DarkDimius

  committed
  a8894ed

  Copy full SHA for a8894ed

• Added a unique identifier to trees.

  Show description for 861f10b
  

  odersky

  authored and

  DarkDimius

  committed
  861f10b

  Copy full SHA for 861f10b

• Some more debug info.

  

  odersky

  authored and

  DarkDimius

  committed
  9203e01

  Copy full SHA for 9203e01

• isAfterTyper test

  Show description for d78885f
  

  odersky

  authored and

  DarkDimius

  committed
  d78885f

  Copy full SHA for d78885f

• Avoid -Ycheck after errors

  

  odersky

  authored and

  DarkDimius

  committed
  0fed5dd

  Copy full SHA for 0fed5dd

• Better printing of type variables

  Show description for b4e5d39
  

  odersky

  authored and

  DarkDimius

  committed
  b4e5d39

  Copy full SHA for b4e5d39

• Avoid checking for tpt non empty in implicit defs after typer.

  Show description for 6f7fc52
  

  odersky

  authored and

  DarkDimius

  committed
  6f7fc52

  Copy full SHA for 6f7fc52

• Addiong an adapt to implicit parameters.

  Show description for 8298eb2
  

  odersky

  authored and

  DarkDimius

  committed
  8298eb2

  Copy full SHA for 8298eb2

• Making reporters configurable

  Show description for 60527d6
  

  odersky

  authored and

  DarkDimius

  committed
  60527d6

  Copy full SHA for 60527d6

• Refining TreeChecker to work immediately after typer.

  Show description for b6e3c9d
  

  odersky

  authored and

  DarkDimius

  committed
  b6e3c9d

  Copy full SHA for b6e3c9d

• Fix of TyperState#instType

  Show description for afb541a
  

  odersky

  authored and

  DarkDimius

  committed
  afb541a

  Copy full SHA for afb541a

• Make sure AnyVal is loaded by classfile parser.

  Show description for 35366df
  

  odersky

  authored and

  DarkDimius

  committed
  35366df

  Copy full SHA for 35366df

• Changed handling of repeated parameters.

  Show description for 782c24f
  

  odersky

  authored and

  DarkDimius

  committed
  782c24f

  Copy full SHA for 782c24f

• Moved tests to pending because they fail -Ycheck:front

  

  odersky

  authored and

  DarkDimius

  committed
  3ae8452

  Copy full SHA for 3ae8452

• Avoid retyping of Literals

  Show description for 79632fb
  

  odersky

  authored and

  DarkDimius

  committed
  79632fb

  Copy full SHA for 79632fb

• Fixing tailrec test.

  Show description for f84a49d
  

  odersky

  authored and

  DarkDimius

  committed
  f84a49d

  Copy full SHA for f84a49d

• Tightened satisfiablity checks.

  Show description for ef8f242
  

  odersky

  authored and

  DarkDimius

  committed
  ef8f242

  Copy full SHA for ef8f242

• Excluding <:< from eligible candidates for views.

  Show description for 1534539
  

  odersky

  authored and

  DarkDimius

  committed
  1534539

  Copy full SHA for 1534539

• Better wildcard type approximation

  Show description for 90aa3ba
  

  odersky

  authored and

  DarkDimius

  committed
  90aa3ba

  Copy full SHA for 90aa3ba

• Changes to test framework and tests

  Show description for ba2913b
  

  odersky

  authored and

  DarkDimius

  committed
  ba2913b

  Copy full SHA for ba2913b

• Re-enable t0786.

  Show description for 4d47745
  

  odersky

  authored and

  DarkDimius

  committed
  4d47745

  Copy full SHA for 4d47745

• Optimization: Avoid substituting when checking satisfiability

  Show description for cb1f9cb
  

  odersky

  authored and

  DarkDimius

  committed
  cb1f9cb

  Copy full SHA for cb1f9cb

• Fix for type applications.

  Show description for 9099df6
  

  odersky

  authored and

  DarkDimius

  committed
  9099df6

  Copy full SHA for 9099df6

• Making dotc/transform Dotty compliant

  Show description for 615ad1f
  

  odersky

  authored and

  DarkDimius

  committed
  615ad1f

  Copy full SHA for 615ad1f

• Handling of higher-kinded types in intersections and unions.

  Show description for 620b2f4
  

  odersky

  authored and

  DarkDimius

  committed
  620b2f4

  Copy full SHA for 620b2f4

• Tightening of rules for explicit types for implicit defs

  Show description for 4ae473e
  

  odersky

  authored and

  DarkDimius

  committed
  4ae473e

  Copy full SHA for 4ae473e

• Added compliing dotc/transform to tests

  Show description for 94c1348
  

  odersky

  authored and

  DarkDimius

  committed
  94c1348

  Copy full SHA for 94c1348

• Adding dependency tracking to constraint satisfaction

  Show description for 640feb1
  

  odersky

  authored and

  DarkDimius

  committed
  640feb1

  Copy full SHA for 640feb1

• Adding a check that owner chains are correct for -Ycheck

  

  odersky

  authored and

  DarkDimius

  committed
  69403ee

  Copy full SHA for 69403ee

• Adding descriptive message to no-implicits-after-typer assertion.

  

  odersky

  authored and

  DarkDimius

  committed
  9a25199

  Copy full SHA for 9a25199

• Fixing tpd.ClassDef.

  Show description for 8baa5de
  

  odersky

  authored and

  DarkDimius

  committed
  8baa5de

  Copy full SHA for 8baa5de

• Fix lazy vals test broken by fixing fixing tpd.ClassDef.

  DarkDimius

  committed
  ed4cba0

  Copy full SHA for ed4cba0

• Fix dotty deviation failure in TailRec

  DarkDimius

  committed
  e83df26

  Copy full SHA for e83df26