diff options
author | Martin Odersky <odersky@gmail.com> | 2014-08-13 15:05:03 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-08-13 15:05:03 +0200 |
commit | 891aeba7ac64be808a7a5959fedecd4e2e41dcf3 (patch) | |
tree | 02a4328ccb126183da4776d1b06808873b3bab59 /src/dotty/tools/dotc/typer | |
parent | a878d19e48455ca600f3fbe6e36c6ddd687e14ff (diff) | |
download | dotty-891aeba7ac64be808a7a5959fedecd4e2e41dcf3.tar.gz dotty-891aeba7ac64be808a7a5959fedecd4e2e41dcf3.tar.bz2 dotty-891aeba7ac64be808a7a5959fedecd4e2e41dcf3.zip |
Switched to new cpy scheme.
Avoid mentioning arguments that are unchanged.
Diffstat (limited to 'src/dotty/tools/dotc/typer')
-rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 5 | ||||
-rw-r--r-- | src/dotty/tools/dotc/typer/ReTyper.scala | 6 |
2 files changed, 5 insertions, 6 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 638caba5b..20a5a1204 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -366,9 +366,8 @@ class Namer { typer: Typer => val Thicket(vdef :: (mcls @ TypeDef(_, _, impl: Template)) :: Nil) = mdef.attachment(ExpandedTree) cdef.attachmentOrElse(ExpandedTree, cdef) match { case Thicket(cls :: mval :: TypeDef(_, _, compimpl: Template) :: crest) => - val mcls1 = cpy.TypeDef(mcls)(mcls.mods, mcls.name, - cpy.Template(impl)(impl.constr, impl.parents, impl.self, - compimpl.body ++ impl.body), Nil) + val mcls1 = cpy.TypeDef(mcls)( + rhs = cpy.Template(impl)(body = compimpl.body ++ impl.body)) mdef.putAttachment(ExpandedTree, Thicket(vdef :: mcls1 :: Nil)) cdef.putAttachment(ExpandedTree, Thicket(cls :: crest)) case _ => diff --git a/src/dotty/tools/dotc/typer/ReTyper.scala b/src/dotty/tools/dotc/typer/ReTyper.scala index dbf353f9e..42128f67f 100644 --- a/src/dotty/tools/dotc/typer/ReTyper.scala +++ b/src/dotty/tools/dotc/typer/ReTyper.scala @@ -32,13 +32,13 @@ class ReTyper extends Typer { override def typedSelect(tree: untpd.Select, pt: Type)(implicit ctx: Context): Tree = { assert(tree.hasType) val qual1 = typed(tree.qualifier, AnySelectionProto) - untpd.cpy.Select(tree)(qual1, tree.name).withType(tree.typeOpt) + untpd.cpy.Select(tree)(qualifier = qual1).withType(tree.typeOpt) } override def typedSelectFromTypeTree(tree: untpd.SelectFromTypeTree, pt: Type)(implicit ctx: Context): SelectFromTypeTree = { assert(tree.hasType) val qual1 = typed(tree.qualifier, AnySelectionProto) - untpd.cpy.SelectFromTypeTree(tree)(qual1, tree.name).withType(tree.typeOpt) + untpd.cpy.SelectFromTypeTree(tree)(qualifier = qual1).withType(tree.typeOpt) } override def typedLiteral(tree: untpd.Literal)(implicit ctc: Context): Literal = @@ -50,7 +50,7 @@ class ReTyper extends Typer { override def typedBind(tree: untpd.Bind, pt: Type)(implicit ctx: Context): Bind = { assert(tree.hasType) val body1 = typed(tree.body, pt) - untpd.cpy.Bind(tree)(tree.name, body1).withType(tree.typeOpt) + untpd.cpy.Bind(tree)(body = body1).withType(tree.typeOpt) } override def localDummy(cls: ClassSymbol, impl: untpd.Template)(implicit ctx: Context) = impl.symbol |