summaryrefslogtreecommitdiff
path: root/src/interactive
diff options
context:
space:
mode:
authorJason Zaugg <jzaugg@gmail.com>2013-12-11 15:56:37 +0100
committerJason Zaugg <jzaugg@gmail.com>2013-12-11 20:06:08 +0100
commit0304e00168393d47e18dbb4d2c634d51bab1383a (patch)
tree191643e52a25845360767433364b41d9de091ef6 /src/interactive
parentb345b42cac64aa97e3bbcc6f14ef8f08214ab56f (diff)
downloadscala-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/interactive')
0 files changed, 0 insertions, 0 deletions