Code

Add erasable phantom classes (old)#1408

Code

Closed

nicolasstucki wants to merge 7 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:implement-phantom-typesdotty-staging/dotty:implement-phantom-typesCopy head branch name to clipboard

Commits

Commits on Mar 22, 2017

• Rename old PhantomClasses to avoid name clashes with phantom types.

  nicolasstucki

  committed
  fdf3286

  Copy full SHA for fdf3286

• Implement phantom types.

  Show description for 9bf1dbc
  nicolasstucki

  committed
  9bf1dbc

  Copy full SHA for 9bf1dbc

• Extra tests for Phantoms 1.

  nicolasstucki

  committed
  1fd91be

  Copy full SHA for 1fd91be

• Extra tests for Phantoms 2.

  nicolasstucki

  committed
  1071067

  Copy full SHA for 1071067

• Erase arguments of phantom type.

  Show description for 8436d52
  nicolasstucki

  committed
  8436d52

  Copy full SHA for 8436d52

• Erase phantom fields.

  Show description for 2c991c0
  nicolasstucki

  committed
  2c991c0

  Copy full SHA for 2c991c0

• Add support for functions with phantom parameters

  nicolasstucki

  committed
  946a331

  Copy full SHA for 946a331