diff options
author | Martin Odersky <odersky@gmail.com> | 2015-07-20 13:59:34 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:12:16 +0200 |
commit | 38ac02916ec0beef0cb93f0fdd48ad1f9dfdcf48 (patch) | |
tree | ed5255fab168a5d0eecac8e052ce843b43dc3536 /src/dotty/tools/dotc/typer/Typer.scala | |
parent | 5a9a48d21038b78545aba15d0d99238c3c395d47 (diff) | |
download | dotty-38ac02916ec0beef0cb93f0fdd48ad1f9dfdcf48.tar.gz dotty-38ac02916ec0beef0cb93f0fdd48ad1f9dfdcf48.tar.bz2 dotty-38ac02916ec0beef0cb93f0fdd48ad1f9dfdcf48.zip |
Replace isLambda with ifHK
Replace occurrences of isLambda with isHK, because isHK is
a bit faster and simplier.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index 3f7e0b81c..d35356a85 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1434,12 +1434,7 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit case Select(New(tpt), nme.CONSTRUCTOR) => tpt.tpe.dealias.argTypesLo case _ => Nil } - if (typeArgs.isEmpty) { - //for ((pname, pbound) <- poly.paramNames.zip(poly.paramBounds)) - // if (pbound.hi.isSafeLambda) - // ctx.error(d"cannot infer argument for higher-kinded type parameter $pname", tree.pos) - typeArgs = constrained(poly, tree)._2 - } + if (typeArgs.isEmpty) typeArgs = constrained(poly, tree)._2 convertNewArray( adaptInterpolated(tree.appliedToTypes(typeArgs), pt, original)) } |