Code

Implement phantom types part 1#2136

Code

Merged

odersky merged 32 commits intoscala:masterscala/scala3:masterfrom

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

May 8, 2017

Commits

Commits on May 8, 2017

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

  

  nicolasstucki

  authored and

  odersky

  committed
  f067b8e

  Copy full SHA for f067b8e

• Implement phantom types.

  Show description for ac57124
  

  nicolasstucki

  authored and

  odersky

  committed
  ac57124

  Copy full SHA for ac57124

• Extra tests for Phantoms 1.

  

  nicolasstucki

  authored and

  odersky

  committed
  84931e3

  Copy full SHA for 84931e3

• Extra tests for Phantoms 2.

  

  nicolasstucki

  authored and

  odersky

  committed
  a23ef92

  Copy full SHA for a23ef92

• Quick cleanup

  

  nicolasstucki

  authored and

  odersky

  committed
  7ccdbf3

  Copy full SHA for 7ccdbf3

• Optimizations

  

  nicolasstucki

  authored and

  odersky

  committed
  01063d3

  Copy full SHA for 01063d3

• Remove unecessary code

  

  nicolasstucki

  authored and

  odersky

  committed
  5fb733c

  Copy full SHA for 5fb733c

• Add restriction on phantom latice definition.

  

  nicolasstucki

  authored and

  odersky

  committed
  e8590f6

  Copy full SHA for e8590f6

• Fixes after rebase.

  

  nicolasstucki

  authored and

  odersky

  committed
  621a67b

  Copy full SHA for 621a67b

• Replace phantomTop by general top type.

  

  nicolasstucki

  authored and

  odersky

  committed
  ee44731

  Copy full SHA for ee44731

• Fix error on if/match with phantoms of different lattices.

  

  nicolasstucki

  authored and

  odersky

  committed
  0f4f863

  Copy full SHA for 0f4f863

• Inline error messages.

  

  nicolasstucki

  authored and

  odersky

  committed
  efae3a3

  Copy full SHA for efae3a3

• Fix phantom Nothing.

  

  nicolasstucki

  authored and

  odersky

  committed
  510c0cb

  Copy full SHA for 510c0cb

• Fix cyclic computation of topType.

  Show description for f782288
  

  nicolasstucki

  authored and

  odersky

  committed
  f782288

  Copy full SHA for f782288

• Move phantom universe checks from Typer to TypeAssigner.

  

  nicolasstucki

  authored and

  odersky

  committed
  341cdf1

  Copy full SHA for 341cdf1

• Remove PhantomTypeErasure and integrate into Erasure.

  Show description for a50328f
  

  nicolasstucki

  authored and

  odersky

  committed
  a50328f

  Copy full SHA for a50328f

• Slighly faster phantom erasure checks.

  

  nicolasstucki

  authored and

  odersky

  committed
  9502cb2

  Copy full SHA for 9502cb2

• Simplify the definition of Phantom.assume.

  

  nicolasstucki

  authored and

  odersky

  committed
  6f03972

  Copy full SHA for 6f03972

• Cache PhantomNothing, PhantomAny and PhantomAssume symbols.

  

  nicolasstucki

  authored and

  odersky

  committed
  621610f

  Copy full SHA for 621610f

• Shortcircuit slow path typing Nothing <:< XYZ for non phantoms.

  

  nicolasstucki

  authored and

  odersky

  committed
  ef62884

  Copy full SHA for ef62884

• Faster bottomType and phantomness checks.

  

  nicolasstucki

  authored and

  odersky

  committed
  49e88fe

  Copy full SHA for 49e88fe

• Improve names of phantom classes in defn.

  

  nicolasstucki

  authored and

  odersky

  committed
  e062df3

  Copy full SHA for e062df3

• Remove unnecessary changes.

  

  nicolasstucki

  authored and

  odersky

  committed
  3ff903e

  Copy full SHA for 3ff903e

• Remove ErasedPhantom class and use Unit.

  

  nicolasstucki

  authored and

  odersky

  committed
  f0383fe

  Copy full SHA for f0383fe

• Set flags of scala.Phantom to be NoInitsTrait.

  

  nicolasstucki

  authored and

  odersky

  committed
  91558c3

  Copy full SHA for 91558c3

• Rename Phantoms in defn and add Type.isPhantom.

  

  nicolasstucki

  authored and

  odersky

  committed
  ec13270

  Copy full SHA for ec13270

• Add documentation.

  

  nicolasstucki

  authored and

  odersky

  committed
  62b7732

  Copy full SHA for 62b7732

• Fix neg/cycles.scala infinite loop on phantomLatticeType.

  

  nicolasstucki

  authored and

  odersky

  committed
  4202b98

  Copy full SHA for 4202b98

• Code cleanup.

  

  nicolasstucki

  authored and

  odersky

  committed
  c6fe778

  Copy full SHA for c6fe778

• Fix after rebase, if/match missmatch on phantoms.

  

  nicolasstucki

  authored and

  odersky

  committed
  07c02c8

  Copy full SHA for 07c02c8

• Polishings of Typer and TypeAssigner

  odersky

  committed
  40ab53a

  Copy full SHA for 40ab53a

• Remove unused error messages.

  nicolasstucki

  committed
  a21404a

  Copy full SHA for a21404a