diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-12-11 15:56:37 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-12-11 20:06:08 +0100 |
commit | 0304e00168393d47e18dbb4d2c634d51bab1383a (patch) | |
tree | 191643e52a25845360767433364b41d9de091ef6 /src | |
parent | b345b42cac64aa97e3bbcc6f14ef8f08214ab56f (diff) | |
download | scala-0304e00168393d47e18dbb4d2c634d51bab1383a.tar.gz scala-0304e00168393d47e18dbb4d2c634d51bab1383a.tar.bz2 scala-0304e00168393d47e18dbb4d2c634d51bab1383a.zip |
SI-6780 Better handling of cycles in in-scope implicit search
Implicit searches in the body of implicit members with inferred
types were leading to cycles. Before we used to resolve that
by saying there were no implicits in scope at all; now we just
skip the current context and still include the enclosing implicits.
Care is taken not to cache results under these circumstances.
This entails reworking `Context#implicitss` so that:
- the implicit info cache only contains implicits from the current
level. The List[List[_]] is now contructed on demand;
- we can detect cycles by setting `implicitsCacheRunId` to -1 during
the computation. The outer implicits when we encounter that.
- we avoid caching when we hit a cycle or when the owner is uninitialized.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/typechecker/Contexts.scala | 33 |
1 files changed, 24 insertions, 9 deletions
diff --git a/src/compiler/scala/tools/nsc/typechecker/Contexts.scala b/src/compiler/scala/tools/nsc/typechecker/Contexts.scala index 2be6d92ed0..b7a942fc0d 100644 --- a/src/compiler/scala/tools/nsc/typechecker/Contexts.scala +++ b/src/compiler/scala/tools/nsc/typechecker/Contexts.scala @@ -773,7 +773,7 @@ trait Contexts { self: Analyzer => // Implicit collection // - private var implicitsCache: List[List[ImplicitInfo]] = null + private var implicitsCache: List[ImplicitInfo] = null private var implicitsRunId = NoRunId def resetCache() { @@ -834,14 +834,24 @@ trait Contexts { self: Analyzer => def implicitss: List[List[ImplicitInfo]] = { val imports = this.imports val nextOuter = this.nextOuter - if (implicitsRunId != currentRunId) { - implicitsRunId = currentRunId + def withOuter(is: List[ImplicitInfo]): List[List[ImplicitInfo]] = + is match { + case Nil => nextOuter.implicitss + case _ => is :: nextOuter.implicitss + } + + val CycleMarker = NoRunId - 1 + if (implicitsRunId == CycleMarker) { + debuglog(s"cycle while collecting implicits at owner ${owner}, probably due to an implicit without an explicit return type. Continuing with implicits from enclosing contexts.") + withOuter(Nil) + } else if (implicitsRunId != currentRunId) { + implicitsRunId = CycleMarker implicitsCache = List() + var canCache = true val newImplicits: List[ImplicitInfo] = if (owner != nextOuter.owner && owner.isClass && !owner.isPackageClass && !inSelfSuperCall) { - if (!owner.isInitialized) return nextOuter.implicitss - // debuglog("collect member implicits " + owner + ", implicit members = " + owner.thisType.implicitMembers)//DEBUG - savingEnclClass(this) { + if (!owner.isInitialized) { canCache = false; Nil } + else savingEnclClass(this) { // !!! In the body of `class C(implicit a: A) { }`, `implicitss` returns `List(List(a), List(a), List(<predef..)))` // it handled correctly by implicit search, which considers the second `a` to be shadowed, but should be // remedied nonetheless. @@ -857,10 +867,15 @@ trait Contexts { self: Analyzer => // the corresponding package object may contain implicit members. collectImplicits(owner.tpe.implicitMembers, owner.tpe) } else List() - implicitsCache = if (newImplicits.isEmpty) nextOuter.implicitss - else newImplicits :: nextOuter.implicitss + + if (canCache) { + implicitsRunId = currentRunId + implicitsCache = newImplicits + } else implicitsRunId = NoRunId + + withOuter(newImplicits) } - implicitsCache + else withOuter(implicitsCache) } // |