aboutsummaryrefslogtreecommitdiff
path: root/src/dotty
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-12-14 15:13:33 +0100
committerMartin Odersky <odersky@gmail.com>2014-12-14 15:16:44 +0100
commit25f4986d3e1a5fcc9f5c1ee5923c302e30673702 (patch)
tree3e45508afb3cce6e052a93195f97fb3ba70230be /src/dotty
parent4274adf15c6cbe359fd8d98f2f412fe56244f740 (diff)
downloaddotty-25f4986d3e1a5fcc9f5c1ee5923c302e30673702.tar.gz
dotty-25f4986d3e1a5fcc9f5c1ee5923c302e30673702.tar.bz2
dotty-25f4986d3e1a5fcc9f5c1ee5923c302e30673702.zip
Make sure AnnotationTransformers run at own phase
Diffstat (limited to 'src/dotty')
-rw-r--r--src/dotty/tools/dotc/transform/FirstTransform.scala1
-rw-r--r--src/dotty/tools/dotc/transform/TreeTransform.scala2
2 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/FirstTransform.scala b/src/dotty/tools/dotc/transform/FirstTransform.scala
index 42ace148a..56d28cd4d 100644
--- a/src/dotty/tools/dotc/transform/FirstTransform.scala
+++ b/src/dotty/tools/dotc/transform/FirstTransform.scala
@@ -35,7 +35,6 @@ class FirstTransform extends MiniPhaseTransform with IdentityDenotTransformer wi
override def phaseName = "firstTransform"
-
def transformInfo(tp: Type, sym: Symbol)(implicit ctx: Context): Type = tp
override def checkPostCondition(tree: Tree)(implicit ctx: Context): Unit = tree match {
diff --git a/src/dotty/tools/dotc/transform/TreeTransform.scala b/src/dotty/tools/dotc/transform/TreeTransform.scala
index ec7aa4d72..d8eee07ff 100644
--- a/src/dotty/tools/dotc/transform/TreeTransform.scala
+++ b/src/dotty/tools/dotc/transform/TreeTransform.scala
@@ -177,6 +177,8 @@ object TreeTransforms {
trait AnnotationTransformer extends MiniPhaseTransform with InfoTransformer {
val annotationTransformer = mkTreeTransformer
+ override final def treeTransformPhase = this
+ // need to run at own phase because otherwise we get ahead of ourselves in transforming denotations
override def transform(ref: SingleDenotation)(implicit ctx: Context): SingleDenotation = {
val info1 = transformInfo(ref.info, ref.symbol)