diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-06-30 18:42:29 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-07-11 13:35:07 +0200 |
| commit | 34a068b7f6039637d6f1330e3d071f5bf75e9cec (patch) | |
| tree | ef7b435c50e4110971721836ebdaf9e0d07b4328 /src/dotty/tools/dotc/typer/Applications.scala | |
| parent | 32c0135b59fe02a70ed0b1a693251a0028d479c8 (diff) | |
| download | dotty-34a068b7f6039637d6f1330e3d071f5bf75e9cec.tar.gz dotty-34a068b7f6039637d6f1330e3d071f5bf75e9cec.tar.bz2 dotty-34a068b7f6039637d6f1330e3d071f5bf75e9cec.zip | |
Drop Config.checkKinds
Allows us to drop also the involved knownHK method. Lots of other
cleanups.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index caae422d3..aba073f3d 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -67,7 +67,7 @@ object Applications { if (extractorMemberType(unapplyResult, nme.isDefined, pos) isRef defn.BooleanClass) { if (getTp.exists) if (unapplyFn.symbol.name == nme.unapplySeq) { - val seqArg = boundsToHi(getTp.firstBaseArgInfo(defn.SeqClass)) + val seqArg = boundsToHi(getTp.elemType) if (seqArg.exists) return args map Function.const(seqArg) } else return getUnapplySelectors(getTp, args, pos) @@ -629,7 +629,7 @@ trait Applications extends Compatibility { self: Typer => def typedTypeApply(tree: untpd.TypeApply, pt: Type)(implicit ctx: Context): Tree = track("typedTypeApply") { val isNamed = hasNamedArg(tree.args) - var typedArgs = if (isNamed) typedNamedArgs(tree.args) else tree.args.mapconserve(typedType(_)) + val typedArgs = if (isNamed) typedNamedArgs(tree.args) else tree.args.mapconserve(typedType(_)) val typedFn = typedExpr(tree.fun, PolyProto(typedArgs.tpes, pt)) typedFn.tpe.widen match { case pt: PolyType => |