aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/typer
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-08-13 15:05:03 +0200
committerMartin Odersky <odersky@gmail.com>2014-08-13 15:05:03 +0200
commit891aeba7ac64be808a7a5959fedecd4e2e41dcf3 (patch)
tree02a4328ccb126183da4776d1b06808873b3bab59 /src/dotty/tools/dotc/typer
parenta878d19e48455ca600f3fbe6e36c6ddd687e14ff (diff)
downloaddotty-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.scala5
-rw-r--r--src/dotty/tools/dotc/typer/ReTyper.scala6
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