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/core/TypeComparer.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/core/TypeComparer.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index a8598ae44..35e4d804b 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -633,11 +633,10 @@ class TypeComparer(initctx: Context) extends DotClass with ConstraintHandling { /** Does `tp` need to be eta lifted to be comparable to `target`? */ private def needsEtaLift(tp: Type, target: RefinedType): Boolean = { - //default.echo(i"needs eta $tp $target?", { // @@@ rewrite + // if (tp.isLambda != tp.isHK) println(i"discrepancy for $tp, isLambda = ${tp.isLambda}, isHK = ${tp.isHK}") val name = target.refinedName - (name.isLambdaArgName || (name eq tpnme.hkApply)) && target.isLambda && - tp.exists && !tp.isLambda - //}) + (name.isLambdaArgName || (name eq tpnme.hkApply)) && + tp.exists && !tp.isLambda // we do encounter Lambda classes without any arguments here @@@ check whether this makes sense. } /** Narrow gadt.bounds for the type parameter referenced by `tr` to include |