diff options
author | Martin Odersky <odersky@gmail.com> | 2012-08-20 08:10:34 +0100 |
---|---|---|
committer | Grzegorz Kossakowski <grzegorz.kossakowski@gmail.com> | 2012-08-20 08:10:38 +0100 |
commit | cf9b7ae0867f594aba39984ac732fbd26ed12f51 (patch) | |
tree | 3d4035fda41f8f2bd84361fbca312693c8d2b6f2 /src/compiler/scala/tools/nsc/typechecker/Typers.scala | |
parent | c32b189a2a2575512d0dc8d91a400d773b53a7f0 (diff) | |
download | scala-cf9b7ae0867f594aba39984ac732fbd26ed12f51.tar.gz scala-cf9b7ae0867f594aba39984ac732fbd26ed12f51.tar.bz2 scala-cf9b7ae0867f594aba39984ac732fbd26ed12f51.zip |
Compilespeed improvements: Exists arguments and others
It turns out that exists is not inlinable, even if put into List.
We try to eliminate or hoist most closures passed to exists in Types.
There are some other small improvements as well.
--
(@gkossakowski): This commit contains also a fix to crasher
prepared by @paulp. I squashed that commit and kept the
test-case that came with it.
Diffstat (limited to 'src/compiler/scala/tools/nsc/typechecker/Typers.scala')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Typers.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Typers.scala b/src/compiler/scala/tools/nsc/typechecker/Typers.scala index 7df2f323e1..46fbaee20a 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Typers.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Typers.scala @@ -352,7 +352,7 @@ trait Typers extends Modes with Adaptations with Tags { if (formals exists (isRepeatedParamType(_))) error(pos, "methods with `*`-parameters cannot be converted to function values"); */ - if (restpe.isDependent) + if (tpe.isDependentMethodType) DependentMethodTpeConversionToFunctionError(tree, tpe) checkParamsConvertible(tree, restpe) case _ => |