github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity

Define 'analyzeTerm' for 'CachingAnalysis'.

Browse Source
This commit is contained in:
Rob Rix 2018-03-06 16:46:38 -05:00
parent 76c69dce45
commit ca32bdc551
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Analysis/Abstract/Caching.hs
View File

@ -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