Code

Erase arguments of phantom type#2399

Code

Merged

nicolasstucki merged 4 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:implement-phantom-types-part-2dotty-staging/dotty:implement-phantom-types-part-2Copy head branch name to clipboard

Jul 18, 2017

Commits

Commits on Jul 17, 2017

• Erase arguments of phantom type

  Show description for 1c17fad
  nicolasstucki

  committed
  1c17fad

  Copy full SHA for 1c17fad

• Improve code based on review

  nicolasstucki

  committed
  4afa04e

  Copy full SHA for 4afa04e

• Use EtaExpansion.liftApp for impure phantom arguments

  nicolasstucki

  committed
  a6beba4

  Copy full SHA for a6beba4

• Remove un-needed transform

  Show description for 975cee5
  nicolasstucki

  committed
  975cee5

  Copy full SHA for 975cee5