diff options
| author | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-09 11:06:42 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-05-09 11:16:30 +0200 |
| commit | f6eeed6dd1c328e9cf46415e12390eac880bd93e (patch) | |
| tree | 75c58097d010753f84e04034415e653cbdfb7b34 /src/dotty/tools/dotc/ast/Trees.scala | |
| parent | 4299a075a7056b72a4778802582492d38bf7a059 (diff) | |
| download | dotty-f6eeed6dd1c328e9cf46415e12390eac880bd93e.tar.gz dotty-f6eeed6dd1c328e9cf46415e12390eac880bd93e.tar.bz2 dotty-f6eeed6dd1c328e9cf46415e12390eac880bd93e.zip | |
withPos for Thickets.
Diffstat (limited to 'src/dotty/tools/dotc/ast/Trees.scala')
| -rw-r--r-- | src/dotty/tools/dotc/ast/Trees.scala | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/ast/Trees.scala b/src/dotty/tools/dotc/ast/Trees.scala index e11bdeefc..dfd69c03c 100644 --- a/src/dotty/tools/dotc/ast/Trees.scala +++ b/src/dotty/tools/dotc/ast/Trees.scala @@ -775,6 +775,10 @@ object Trees { override def isEmpty: Boolean = trees.isEmpty override def toList: List[Tree[T]] = flatten(trees) override def toString = if (isEmpty) "EmptyTree" else "Thicket(" + trees.mkString(", ") + ")" + override def withPos(pos: Position): this.type = { + val newTrees = trees.map(_.withPos(pos)) + new Thicket[T](newTrees).asInstanceOf[this.type] + } } class EmptyValDef[T >: Untyped] extends ValDef[T]( |