diff options
author | Martin Odersky <odersky@gmail.com> | 2013-12-20 11:33:05 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-12-20 11:38:39 +0100 |
commit | 146a362bf74418feeb18e12c34178819ecb64942 (patch) | |
tree | 2dec7acd61107a673ce859450cccfad9b50dba88 /src/dotty/tools/dotc/ast/tpd.scala | |
parent | bac6a2081d971c7f5c87b610cfaac7cd39c06713 (diff) | |
download | dotty-146a362bf74418feeb18e12c34178819ecb64942.tar.gz dotty-146a362bf74418feeb18e12c34178819ecb64942.tar.bz2 dotty-146a362bf74418feeb18e12c34178819ecb64942.zip |
Handling implicit unapply arguments.
Changed format of UnApply nodes to also take implicit parameters. See doc comment in class Trees.UnApply
Diffstat (limited to 'src/dotty/tools/dotc/ast/tpd.scala')
-rw-r--r-- | src/dotty/tools/dotc/ast/tpd.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/ast/tpd.scala b/src/dotty/tools/dotc/ast/tpd.scala index 195797b2b..8d079fa72 100644 --- a/src/dotty/tools/dotc/ast/tpd.scala +++ b/src/dotty/tools/dotc/ast/tpd.scala @@ -205,12 +205,12 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo { def Alternative(trees: List[Tree])(implicit ctx: Context): Alternative = untpd.Alternative(trees).withType(ctx.typeComparer.lub(trees map (_.tpe))).checked - def UnApply(fun: Tree, args: List[Tree])(implicit ctx: Context): UnApply = { + def UnApply(fun: Tree, implicits: List[Tree], patterns: List[Tree])(implicit ctx: Context): UnApply = { val owntype = fun.tpe.widen match { case MethodType(_, paramType :: Nil) => paramType case _ => check(false); ErrorType } - untpd.UnApply(fun, args).withType(owntype).checked + untpd.UnApply(fun, implicits, patterns).withType(owntype).checked } def ValDef(sym: TermSymbol, rhs: Tree = EmptyTree)(implicit ctx: Context): ValDef = |