diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-09-18 17:30:04 +0200 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-10-11 08:24:35 +0200 |
| commit | 12a624a75d05372002e4308f4b2830847ca88d3e (patch) | |
| tree | bd7b21e7b2f4bc2260b66cde151c8ae563541c85 /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | 117b643d0c20aebac6363057d4043ac2cbb817fe (diff) | |
| download | dotty-12a624a75d05372002e4308f4b2830847ca88d3e.tar.gz dotty-12a624a75d05372002e4308f4b2830847ca88d3e.tar.bz2 dotty-12a624a75d05372002e4308f4b2830847ca88d3e.zip | |
Replace tree.withName with {tpd|untpd}.rename.tree
Advantage: Can rename typed as well as untyped trees.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 9066012f0..9c1110dd1 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -390,7 +390,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit case lhsCore: RefTree if setter.exists => val setterTypeRaw = pre select (setterName, setter) val setterType = ensureAccessible(setterTypeRaw, isSuperSelection(lhsCore), tree.pos) - val lhs2 = lhsCore.withName(setterName).withType(setterType) + val lhs2 = untpd.rename(lhsCore, setterName).withType(setterType) typed(cpy.Apply(tree)(untpd.TypedSplice(lhs2), tree.rhs :: Nil)) case _ => reassignmentToVal @@ -1009,7 +1009,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit } } - protected def encodeName(tree: untpd.NameTree)(implicit ctx: Context) = tree withName tree.name.encode + protected def encodeName(tree: untpd.NameTree)(implicit ctx: Context): untpd.NameTree = + untpd.rename(tree, tree.name.encode) def typed(tree: untpd.Tree, pt: Type = WildcardType)(implicit ctx: Context): Tree = /*>|>*/ ctx.traceIndented (i"typing $tree", typr, show = true) /*<|<*/ { assertPositioned(tree) |