Some configuation parameters

Caching, plus whether we want to match on signatures or types.

1 files changed, 10 insertions, 8 deletions

diff --git a/src/dotty/tools/dotc/core/SymDenotations.scala b/src/dotty/tools/dotc/core/SymDenotations.scala
index d6032aee3..af2e6a8ca 100644
--- a/src/dotty/tools/dotc/core/SymDenotations.scala
+++ b/src/dotty/tools/dotc/core/SymDenotations.scala
@@ -10,6 +10,7 @@ import collection.immutable.BitSet
 import scala.reflect.io.AbstractFile
 import Decorators.SymbolIteratorDecorator
 import annotation.tailrec
+import config.Config
 
 trait SymDenotations { this: Context =>
   import SymDenotations._
@@ -921,14 +922,15 @@ object SymDenotations {
      *  The elements of the returned pre-denotation all
      *  have existing symbols.
      */
-    final def membersNamed(name: Name)(implicit ctx: Context): PreDenotation = {
-      var denots: PreDenotation = memberCache lookup name
-      if (denots == null) {
-        denots = computeMembersNamed(name)
-        memberCache enter (name, denots)
-      }
-      denots
-    }
+    final def membersNamed(name: Name)(implicit ctx: Context): PreDenotation =
+      if (Config.cacheMemberNames) {
+        var denots: PreDenotation = memberCache lookup name
+        if (denots == null) {
+          denots = computeMembersNamed(name)
+          memberCache enter (name, denots)
+        }
+        denots
+      } else computeMembersNamed(name)
 
     private def computeMembersNamed(name: Name)(implicit ctx: Context): PreDenotation =
       if (!classSymbol.hasChildren || (memberFingerPrint contains name)) {