diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-01-27 16:06:41 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-01-27 19:27:10 +0100 |
| commit | 3617102b51df4625cbe37f6a3f71caf64ddf7211 (patch) | |
| tree | 126395f38546b865c0a8e4928dfce1ef68f072fe /src/dotty/tools/dotc/typer/Namer.scala | |
| parent | c476171d838c55bbfe36856e73a470e826748acc (diff) | |
| download | dotty-3617102b51df4625cbe37f6a3f71caf64ddf7211.tar.gz dotty-3617102b51df4625cbe37f6a3f71caf64ddf7211.tar.bz2 dotty-3617102b51df4625cbe37f6a3f71caf64ddf7211.zip | |
Selective caching of SelectionProtos and ViewProtos
We cache SelectionProtos if their "compat" parameter is "NoViewsAllowed". We always cache ViewProtos.
That's important for implicit search, because this enables eligible refs to be better cached. To make this work, we add a case to WildApprox which massages SelectionProtos so they also get noViewsAllowed in the compat parameter.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Namer.scala')
| -rw-r--r-- | src/dotty/tools/dotc/typer/Namer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/typer/Namer.scala b/src/dotty/tools/dotc/typer/Namer.scala index 92441d899..4dd400792 100644 --- a/src/dotty/tools/dotc/typer/Namer.scala +++ b/src/dotty/tools/dotc/typer/Namer.scala @@ -7,7 +7,7 @@ import ast._ import Trees._, Constants._, StdNames._, Scopes._, Denotations._ import Contexts._, Symbols._, Types._, SymDenotations._, Names._, NameOps._, Flags._, Decorators._ import ast.desugar, ast.desugar._ -import Inferencing.{fullyDefinedType, AnySelectionProto, checkClassTypeWithStablePrefix, ensureFirstIsClass, forwardTypeParams} +import Inferencing._ import util.Positions._ import util.SourcePosition import collection.mutable |