aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2015-08-14 18:50:43 -0700
committerMartin Odersky <odersky@gmail.com>2015-08-15 13:55:31 -0700
commitb30843c59757ccaaf00c6733bf81f15eb911e6c2 (patch)
tree47ea0667e674f448bff261df665ae5c8a4f660e5
parent05fb4208c68d194a8575d42852ee1c792a328267 (diff)
downloaddotty-b30843c59757ccaaf00c6733bf81f15eb911e6c2.tar.gz
dotty-b30843c59757ccaaf00c6733bf81f15eb911e6c2.tar.bz2
dotty-b30843c59757ccaaf00c6733bf81f15eb911e6c2.zip
Fix miniphase assembly.
There were two architectural errors here, which confused TreeTransforms and MiniPhases and which caused "NotDefinedHere" on transformFollowing: 1. TreeTransforms should not have idx fields, MiniPhases have them.2 2. TreeTransformers initialize arrays of MiniPhases not TreeTransforms.
-rw-r--r--src/dotty/tools/dotc/core/Decorators.scala2
-rw-r--r--src/dotty/tools/dotc/core/Phases.scala18
-rw-r--r--src/dotty/tools/dotc/transform/TreeChecker.scala2
-rw-r--r--src/dotty/tools/dotc/transform/TreeTransform.scala23
-rw-r--r--test/test/transform/TreeTransformerTest.scala10
5 files changed, 26 insertions, 29 deletions
diff --git a/src/dotty/tools/dotc/core/Decorators.scala b/src/dotty/tools/dotc/core/Decorators.scala
index d90b959ab..60c019bce 100644
--- a/src/dotty/tools/dotc/core/Decorators.scala
+++ b/src/dotty/tools/dotc/core/Decorators.scala
@@ -135,7 +135,7 @@ object Decorators {
*/
implicit class PhaseListDecorator(val names: List[String]) extends AnyVal {
def containsPhase(phase: Phase): Boolean = phase match {
- case phase: TreeTransformer => phase.transformations.exists(trans => containsPhase(trans.phase))
+ case phase: TreeTransformer => phase.miniPhases.exists(containsPhase)
case _ =>
names exists { name =>
name == "all" || {
diff --git a/src/dotty/tools/dotc/core/Phases.scala b/src/dotty/tools/dotc/core/Phases.scala
index 42b03484e..24eb19cd5 100644
--- a/src/dotty/tools/dotc/core/Phases.scala
+++ b/src/dotty/tools/dotc/core/Phases.scala
@@ -109,11 +109,9 @@ object Phases {
assert(false, s"Only tree transforms can be squashed, ${phase.phaseName} can not be squashed")
}
}
- val transforms = filteredPhaseBlock.asInstanceOf[List[MiniPhase]].map(_.treeTransform)
val block = new TreeTransformer {
- override def phaseName: String = transformations.map(_.phase.phaseName).mkString("TreeTransform:{", ", ", "}")
-
- override def transformations: Array[TreeTransform] = transforms.toArray
+ override def phaseName: String = miniPhases.map(_.phaseName).mkString("TreeTransform:{", ", ", "}")
+ override def miniPhases: Array[MiniPhase] = filteredPhaseBlock.asInstanceOf[List[MiniPhase]].toArray
}
prevPhases ++= filteredPhaseBlock.map(_.getClazz)
block
@@ -145,7 +143,7 @@ object Phases {
val flatPhases = collection.mutable.ListBuffer[Phase]()
phasess.foreach(p => p match {
- case t: TreeTransformer => flatPhases ++= t.transformations.map(_.phase)
+ case t: TreeTransformer => flatPhases ++= t.miniPhases
case _ => flatPhases += p
})
@@ -173,11 +171,11 @@ object Phases {
val phase = phasess(i)
phase match {
case t: TreeTransformer =>
- val transforms = t.transformations
- transforms.foreach{ x =>
- checkRequirements(x.phase)
- x.phase.init(this, nextPhaseId)}
- t.init(this, transforms.head.phase.id, transforms.last.phase.id)
+ val miniPhases = t.miniPhases
+ miniPhases.foreach{ phase =>
+ checkRequirements(phase)
+ phase.init(this, nextPhaseId)}
+ t.init(this, miniPhases.head.id, miniPhases.last.id)
case _ =>
phase.init(this, nextPhaseId)
checkRequirements(phase)
diff --git a/src/dotty/tools/dotc/transform/TreeChecker.scala b/src/dotty/tools/dotc/transform/TreeChecker.scala
index a1847e456..6ae765480 100644
--- a/src/dotty/tools/dotc/transform/TreeChecker.scala
+++ b/src/dotty/tools/dotc/transform/TreeChecker.scala
@@ -103,7 +103,7 @@ class TreeChecker extends Phase with SymTransformer {
private def previousPhases(phases: List[Phase])(implicit ctx: Context): List[Phase] = phases match {
case (phase: TreeTransformer) :: phases1 =>
- val subPhases = phase.transformations.map(_.phase)
+ val subPhases = phase.miniPhases
val previousSubPhases = previousPhases(subPhases.toList)
if (previousSubPhases.length == subPhases.length) previousSubPhases ::: previousPhases(phases1)
else previousSubPhases
diff --git a/src/dotty/tools/dotc/transform/TreeTransform.scala b/src/dotty/tools/dotc/transform/TreeTransform.scala
index 62cd5dbe9..7a2280baa 100644
--- a/src/dotty/tools/dotc/transform/TreeTransform.scala
+++ b/src/dotty/tools/dotc/transform/TreeTransform.scala
@@ -63,9 +63,6 @@ object TreeTransforms {
def treeTransformPhase: Phase = phase.next
- /** id of this treeTransform in group */
- var idx: Int = _
-
def prepareForIdent(tree: Ident)(implicit ctx: Context) = this
def prepareForSelect(tree: Select)(implicit ctx: Context) = this
def prepareForThis(tree: This)(implicit ctx: Context) = this
@@ -137,10 +134,10 @@ object TreeTransforms {
def transform(tree: Tree)(implicit ctx: Context, info: TransformerInfo): Tree = info.group.transform(tree, info, 0)
/** Transform subtree using all transforms following the current one in this group */
- def transformFollowingDeep(tree: Tree)(implicit ctx: Context, info: TransformerInfo): Tree = info.group.transform(tree, info, idx + 1)
+ def transformFollowingDeep(tree: Tree)(implicit ctx: Context, info: TransformerInfo): Tree = info.group.transform(tree, info, phase.idx + 1)
/** Transform single node using all transforms following the current one in this group */
- def transformFollowing(tree: Tree)(implicit ctx: Context, info: TransformerInfo): Tree = info.group.transformSingle(tree, idx + 1)
+ def transformFollowing(tree: Tree)(implicit ctx: Context, info: TransformerInfo): Tree = info.group.transformSingle(tree, phase.idx + 1)
def atGroupEnd[T](action : Context => T)(implicit ctx: Context, info: TransformerInfo) = {
val last = info.transformers(info.transformers.length - 1)
@@ -152,6 +149,9 @@ object TreeTransforms {
trait MiniPhase extends Phase { thisPhase =>
def treeTransform: TreeTransform
+ /** id of this mini phase in group */
+ var idx: Int = _
+
/** List of names of phases that should have finished their processing of all compilation units
* before this phase starts
*/
@@ -159,7 +159,7 @@ object TreeTransforms {
protected def mkTreeTransformer = new TreeTransformer {
override def phaseName: String = thisPhase.phaseName
- override def transformations = Array(treeTransform)
+ override def miniPhases = Array(thisPhase)
}
override def run(implicit ctx: Context): Unit = {
@@ -197,7 +197,6 @@ object TreeTransforms {
@sharable val NoTransform = new TreeTransform {
def phase = unsupported("phase")
- idx = -1
}
type Mutator[T] = (TreeTransform, T, Context) => TreeTransform
@@ -474,7 +473,7 @@ object TreeTransforms {
/** A group of tree transforms that are applied in sequence during the same phase */
abstract class TreeTransformer extends Phase {
- def transformations: Array[TreeTransform]
+ def miniPhases: Array[MiniPhase]
override def run(implicit ctx: Context): Unit = {
val curTree = ctx.compilationUnit.tpdTree
@@ -549,10 +548,10 @@ object TreeTransforms {
val prepForStats: Mutator[List[Tree]] = (trans, trees, ctx) => trans.prepareForStats(trees)(ctx)
val prepForUnit: Mutator[Tree] = (trans, tree, ctx) => trans.prepareForUnit(tree)(ctx)
- val initialTransformationsCache = transformations.zipWithIndex.map {
- case (transform, id) =>
- transform.idx = id
- transform
+ val initialTransformationsCache = miniPhases.zipWithIndex.map {
+ case (miniPhase, id) =>
+ miniPhase.idx = id
+ miniPhase.treeTransform
}
val initialInfoCache = new TransformerInfo(initialTransformationsCache, new NXTransformations(initialTransformationsCache), this)
diff --git a/test/test/transform/TreeTransformerTest.scala b/test/test/transform/TreeTransformerTest.scala
index fadc44ab9..df6175735 100644
--- a/test/test/transform/TreeTransformerTest.scala
+++ b/test/test/transform/TreeTransformerTest.scala
@@ -20,7 +20,7 @@ class TreeTransformerTest extends DottyTest {
init(ctx, ctx.period.firstPhaseId, ctx.period.lastPhaseId)
}
val transformer = new TreeTransformer {
- override def transformations = Array(new EmptyTransform)
+ override def miniPhases = Array(new EmptyTransform)
override def phaseName: String = "test"
}
@@ -42,7 +42,7 @@ class TreeTransformerTest extends DottyTest {
init(ctx, ctx.period.firstPhaseId, ctx.period.lastPhaseId)
}
val transformer = new TreeTransformer {
- override def transformations = Array(new ConstantTransform)
+ override def miniPhases = Array(new ConstantTransform)
override def phaseName: String = "test"
}
@@ -72,7 +72,7 @@ class TreeTransformerTest extends DottyTest {
init(ctx, ctx.period.firstPhaseId, ctx.period.lastPhaseId)
}
val transformer = new TreeTransformer {
- override def transformations = Array(new Transformation)
+ override def miniPhases = Array(new Transformation)
override def phaseName: String = "test"
@@ -119,7 +119,7 @@ class TreeTransformerTest extends DottyTest {
init(ctx, ctx.period.firstPhaseId, ctx.period.lastPhaseId)
}
val transformer = new TreeTransformer {
- override def transformations = Array(new Transformation1, new Transformation2)
+ override def miniPhases = Array(new Transformation1, new Transformation2)
override def phaseName: String = "test"
}
@@ -187,7 +187,7 @@ class TreeTransformerTest extends DottyTest {
init(ctx, ctx.period.firstPhaseId, ctx.period.lastPhaseId)
}
val transformer = new TreeTransformer {
- override def transformations = Array(new Transformation1, new Transformation2)
+ override def miniPhases = Array(new Transformation1, new Transformation2)
override def phaseName: String = "test"
}