diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-07-20 10:36:53 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-18 18:10:39 +0200 |
| commit | 2634498cede2525b07c1e40fbad0f5ae0cf96fda (patch) | |
| tree | f4f24517a670557bc9a85433a72bffafc167680c /src/dotty/tools/dotc/typer/Typer.scala | |
| parent | caae19ba37b7b05b2fd2e1edbad62ee9bf46c5e4 (diff) | |
| download | dotty-2634498cede2525b07c1e40fbad0f5ae0cf96fda.tar.gz dotty-2634498cede2525b07c1e40fbad0f5ae0cf96fda.tar.bz2 dotty-2634498cede2525b07c1e40fbad0f5ae0cf96fda.zip | |
Rename Apply -> hkApply
Want to have a unique name for Apply, so that tests for higher-kinded types become cheaper.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Typer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Typer.scala | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Typer.scala b/src/dotty/tools/dotc/typer/Typer.scala index d35356a85..3f7e0b81c 100644 --- a/src/dotty/tools/dotc/typer/Typer.scala +++ b/src/dotty/tools/dotc/typer/Typer.scala @@ -1434,7 +1434,12 @@ 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) typeArgs = constrained(poly, tree)._2 + 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 + } convertNewArray( adaptInterpolated(tree.appliedToTypes(typeArgs), pt, original)) } |