From c95c63d0df7e93aa5f35da3800b75ed904e1ea81 Mon Sep 17 00:00:00 2001
From: Nicolas Voirol <voirol.nicolas@gmail.com>
Date: Mon, 17 Oct 2016 11:35:29 +0200
Subject: [PATCH] Use private[this] for caches (should be a bit faster)
---
src/main/scala/inox/ast/Definitions.scala | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/scala/inox/ast/Definitions.scala b/src/main/scala/inox/ast/Definitions.scala
index 9fbac46da..ecf59199d 100644
--- a/src/main/scala/inox/ast/Definitions.scala
+++ b/src/main/scala/inox/ast/Definitions.scala
@@ -113,7 +113,7 @@ trait Definitions { self: Trees =>
// for some mysterious reason.
implicit def implicitSymbols: this.type = this
- private val typedADTCache: MutableMap[(Identifier, Seq[Type]), Option[TypedADTDefinition]] = MutableMap.empty
+ private[this] val typedADTCache: MutableMap[(Identifier, Seq[Type]), Option[TypedADTDefinition]] = MutableMap.empty
def lookupADT(id: Identifier): Option[ADTDefinition] = adts.get(id)
def lookupADT(id: Identifier, tps: Seq[Type]): Option[TypedADTDefinition] =
typedADTCache.getOrElseUpdate(id -> tps, lookupADT(id).map(_.typed(tps)))
@@ -121,7 +121,7 @@ trait Definitions { self: Trees =>
def getADT(id: Identifier): ADTDefinition = lookupADT(id).getOrElse(throw ADTLookupException(id))
def getADT(id: Identifier, tps: Seq[Type]): TypedADTDefinition = lookupADT(id, tps).getOrElse(throw ADTLookupException(id))
- private val typedFunctionCache: MutableMap[(Identifier, Seq[Type]), Option[TypedFunDef]] = MutableMap.empty
+ private[this] val typedFunctionCache: MutableMap[(Identifier, Seq[Type]), Option[TypedFunDef]] = MutableMap.empty
def lookupFunction(id: Identifier): Option[FunDef] = functions.get(id)
def lookupFunction(id: Identifier, tps: Seq[Type]): Option[TypedFunDef] =
typedFunctionCache.getOrElseUpdate(id -> tps, lookupFunction(id).map(_.typed(tps)(this)))
--
GitLab