diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-10-31 15:53:15 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-10-31 15:53:15 +0100 |
| commit | d694f15a028cf14ea0cf210d3113c7b1d6af54e7 (patch) | |
| tree | 04459bb65cbb8883fe1bf090ffe75667a7f31e7b | |
| parent | 8b10844da492292d1fd70bf94f639fe70f88fcd2 (diff) | |
| download | dotty-d694f15a028cf14ea0cf210d3113c7b1d6af54e7.tar.gz dotty-d694f15a028cf14ea0cf210d3113c7b1d6af54e7.tar.bz2 dotty-d694f15a028cf14ea0cf210d3113c7b1d6af54e7.zip | |
Address review comment
Other comments had already been addressed in previous commits.
| -rw-r--r-- | src/dotty/tools/dotc/core/tasty/PositionPickler.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/tasty/PositionPickler.scala b/src/dotty/tools/dotc/core/tasty/PositionPickler.scala index 6eb798721..4b67bc188 100644 --- a/src/dotty/tools/dotc/core/tasty/PositionPickler.scala +++ b/src/dotty/tools/dotc/core/tasty/PositionPickler.scala @@ -79,7 +79,8 @@ class PositionPickler(pickler: TastyPickler, addrsOfTree: tpd.Tree => List[Addr] } //else if (x.pos.exists) println(i"skipping $x") x match { - case x: MemberDef @unchecked => traverse(x.symbol.annotations.map(_.tree)) + case x: MemberDef @unchecked => + for (ann <- x.symbol.annotations) traverse(ann.tree) case _ => } traverse(x.productIterator) |