diff options
Diffstat (limited to 'src/compiler/scala/tools/nsc/Global.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 36080c64fa..9f6fe689cb 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -390,7 +390,13 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable val runsRightAfter = None } with ExplicitOuter - // phaseName = "erasure" + // phaseName = "specialize" + object specializeTypes extends { + val global: Global.this.type = Global.this + val runsAfter = List[String]("") + val runsRightAfter = Some("tailcalls") + } with SpecializeTypes + object erasure extends { val global: Global.this.type = Global.this val runsAfter = List[String]("explicitouter") @@ -557,6 +563,8 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable phasesSet += uncurry // uncurry, translate function values to anonymous classes phasesSet += tailCalls // replace tail calls by jumps + if (settings.specialize.value) + phasesSet += specializeTypes phasesSet += explicitOuter // replace C.this by explicit outer pointers, eliminate pattern matching phasesSet += erasure // erase generic types to Java 1.4 types, add interfaces for traits phasesSet += lazyVals // |