From ca32bdc5515d334389e7b9c298bca84c0a5a16f4 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Tue, 6 Mar 2018 16:46:38 -0500 Subject: [PATCH] Define 'analyzeTerm' for 'CachingAnalysis'. --- src/Analysis/Abstract/Caching.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Caching.hs b/src/Analysis/Abstract/Caching.hs index 6c09e0add..09a880415 100644 --- a/src/Analysis/Abstract/Caching.hs +++ b/src/Analysis/Abstract/Caching.hs @@ -80,7 +80,7 @@ instance ( Corecursive t , Semigroup (Cell (LocationFor v) v) ) => MonadAnalysis t v (CachingAnalysis t v) where - evaluateTerm = foldSubterms $ \e -> do + analyzeTerm e = do c <- getConfiguration (embedSubterm e) -- Convergence here is predicated upon an Eq instance, not α-equivalence cache <- converge (\ prevCache -> do