From 3ee6b3653f8c25d7d6b19b9f5d4af7fa082146a8 Mon Sep 17 00:00:00 2001 From: Iulian Dragos Date: Thu, 18 Jun 2009 17:19:55 +0000 Subject: Specialization landed in trunk. --- src/compiler/scala/tools/nsc/Global.scala | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'src/compiler/scala/tools/nsc/Global.scala') 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 // -- cgit v1.2.3