diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-24 15:14:50 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-24 17:50:52 +0200 |
commit | 3d92b75223d0f2d7391e1da1a1b011079ab34c97 (patch) | |
tree | 8cb56bca40bef864e39176653c7bf0ee6d0ed18a /src | |
parent | 3b7cba4666be03991083fe89780120eae9843c52 (diff) | |
download | dotty-3d92b75223d0f2d7391e1da1a1b011079ab34c97.tar.gz dotty-3d92b75223d0f2d7391e1da1a1b011079ab34c97.tar.bz2 dotty-3d92b75223d0f2d7391e1da1a1b011079ab34c97.zip |
Add TypedSplice case to untpd.TreeAccumulator
We should simply treat a typed tree in a splice as an untyped one here.
Note: the same trick does not work for TreeMap - an untyped treemap cannot
be extended to produce a typed tree.
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/ast/untpd.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/ast/untpd.scala b/src/dotty/tools/dotc/ast/untpd.scala index edade1420..9ac01df9c 100644 --- a/src/dotty/tools/dotc/ast/untpd.scala +++ b/src/dotty/tools/dotc/ast/untpd.scala @@ -408,6 +408,8 @@ object untpd extends Trees.Instance[Untyped] with UntypedTreeInfo { this(this(this(x, pats), tpt), rhs) case tree: PolyTypeDef => this(this(x, tree.tparams), tree.rhs) + case TypedSplice(tree) => + this(x, tree) case _ => super.foldOver(x, tree) } |