diff options
author | Martin Odersky <odersky@gmail.com> | 2017-03-18 18:46:24 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-04-06 13:15:28 +0200 |
commit | f6c61f3976a2780ce42ea6cd814986b662570687 (patch) | |
tree | 55ba214a169584e8ea2d7faff5c34296951b9b3b /compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala | |
parent | 8b1340b9b73d319ef7ac8f7f3bdaa75943de277e (diff) | |
download | dotty-f6c61f3976a2780ce42ea6cd814986b662570687.tar.gz dotty-f6c61f3976a2780ce42ea6cd814986b662570687.tar.bz2 dotty-f6c61f3976a2780ce42ea6cd814986b662570687.zip |
Split HKTypeLambda from PolyType
Diffstat (limited to 'compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala b/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala index fb1728578..2aa7036b4 100644 --- a/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala +++ b/compiler/src/dotty/tools/dotc/typer/TypeAssigner.scala @@ -329,7 +329,7 @@ trait TypeAssigner { def assignType(tree: untpd.TypeApply, fn: Tree, args: List[Tree])(implicit ctx: Context) = { val ownType = fn.tpe.widen match { - case pt: PolyType => + case pt: TypeLambda => val paramNames = pt.paramNames if (hasNamedArg(args)) { // Type arguments which are specified by name (immutable after this first loop) |