diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-17 11:20:59 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-17 11:20:59 +0200 |
| commit | 1ad3803e3610ee249a0b95016639d97c85817e69 (patch) | |
| tree | b8ece811ef0c43dee78397ee7939dd3bce89e8ea /src/dotty/tools/dotc/core | |
| parent | f98b847cb2fca7d82cd24c869f4ba5a60c49d8b1 (diff) | |
| download | dotty-1ad3803e3610ee249a0b95016639d97c85817e69.tar.gz dotty-1ad3803e3610ee249a0b95016639d97c85817e69.tar.bz2 dotty-1ad3803e3610ee249a0b95016639d97c85817e69.zip | |
Fix pickling of annotation positions
Diffstat (limited to 'src/dotty/tools/dotc/core')
| -rw-r--r-- | src/dotty/tools/dotc/core/tasty/PositionPickler.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/tasty/PositionPickler.scala b/src/dotty/tools/dotc/core/tasty/PositionPickler.scala index b528b8aaf..64552ef27 100644 --- a/src/dotty/tools/dotc/core/tasty/PositionPickler.scala +++ b/src/dotty/tools/dotc/core/tasty/PositionPickler.scala @@ -59,7 +59,7 @@ class PositionPickler(pickler: TastyPickler, addrsOfTree: tpd.Tree => List[Addr] if (x.pos.exists /*&& x.pos.toSynthetic != x.initialPos.toSynthetic*/) { nextTreeAddr(x) match { case Some(addr) => - //println(i"pickling $x ar $addr") + //println(i"pickling $x at $addr") pickleDeltas(addr.index, x.pos) case _ => //println(i"no address for $x") @@ -67,7 +67,7 @@ class PositionPickler(pickler: TastyPickler, addrsOfTree: tpd.Tree => List[Addr] } //else println(i"skipping $x") x match { - case x: MemberDef @unchecked => traverse(x.symbol.annotations) + case x: MemberDef @unchecked => traverse(x.symbol.annotations.map(_.tree)) case _ => } traverse(x.productIterator) |