Code

Implement value classes#411

Code

Merged

DarkDimius merged 18 commits intoscala:masterscala/scala3:masterfrom

smarter:add/value-classessmarter/dotty:add/value-classesCopy head branch name to clipboard

May 1, 2015

Commits

Commits on May 1, 2015

• Remove obsolete comment about t2667 failing

  Show description for b9a98a6
  

  smarter

  authored and

  DarkDimius

  committed
  b9a98a6

  Copy full SHA for b9a98a6

• Don't consider the temporary refinement classes as derived value classes

  

  smarter

  authored and

  DarkDimius

  committed
  00b4fce

  Copy full SHA for 00b4fce

• Don't create extension methods for Scala2x value classes

  Show description for 57c893e
  

  smarter

  authored and

  DarkDimius

  committed
  57c893e

  Copy full SHA for 57c893e

• TypeErasure: simplify and fix bugs

  Show description for f2c5b50
  

  smarter

  authored and

  DarkDimius

  committed
  f2c5b50

  Copy full SHA for f2c5b50

• TypeErasure: replace isSemi by semiEraseVCs and simplify the code

  Show description for a1f31a5
  

  smarter

  authored and

  DarkDimius

  committed
  a1f31a5

  Copy full SHA for a1f31a5

• TypeComparer: Add support for ErasedValueType

  

  smarter

  authored and

  DarkDimius

  committed
  926d48e

  Copy full SHA for 926d48e

• Cache the instantiations of ErasedValueType

  Show description for a02ce56
  

  smarter

  authored and

  DarkDimius

  committed
  a02ce56

  Copy full SHA for a02ce56

• RefinedPrinter: Pretty-print ErasedValueType

  

  smarter

  authored and

  DarkDimius

  committed
  f168970

  Copy full SHA for f168970

• Add synthetic casts to and from ErasedValueType

  Show description for 391c80c
  

  smarter

  authored and

  DarkDimius

  committed
  391c80c

  Copy full SHA for 391c80c

• Erasure: properly erase value classes

  Show description for 5dec4ce
  

  smarter

  authored and

  DarkDimius

  committed
  5dec4ce

  Copy full SHA for 5dec4ce

• New phase: ElimErasedValueType

  Show description for 9c94605
  

  smarter

  authored and

  DarkDimius

  committed
  9c94605

  Copy full SHA for 9c94605

• Erasure: properly handle null in value classes

  Show description for 8bd4139
  

  smarter

  authored and

  DarkDimius

  committed
  8bd4139

  Copy full SHA for 8bd4139

• Make ExtensionMethods#extensionMethods an object method

  Show description for 3fca64e
  

  smarter

  authored and

  DarkDimius

  committed
  3fca64e

  Copy full SHA for 3fca64e

• New phase: VCInline which inlines value classes calls

  Show description for 411d5be
  

  smarter

  authored and

  DarkDimius

  committed
  411d5be

  Copy full SHA for 411d5be

• Enable untried pos tests related to value classes

  Show description for 06e1905
  

  smarter

  authored and

  DarkDimius

  committed
  06e1905

  Copy full SHA for 06e1905

• Enable pending pos tests related to value classes

  Show description for e5b02a8
  

  smarter

  authored and

  DarkDimius

  committed
  e5b02a8

  Copy full SHA for e5b02a8

• Fix companionClass not working after Erasure for value classes

  Show description for 449055d
  

  smarter

  authored and

  DarkDimius

  committed
  449055d

  Copy full SHA for 449055d

• Erasure: Box closures of value classes when needed

  Show description for d012f93
  

  smarter

  authored and

  DarkDimius

  committed
  d012f93

  Copy full SHA for d012f93