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

📝 evCache.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 14:55:21 -05:00
parent 3331746591
commit 01598e70c9
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -75,6 +75,7 @@ evalCache :: forall v term
evalCache e = run @(CachingInterpreter term v) (fixCache (fix (evCache (evCollect (\ recur yield -> eval recur yield . project)))) pure e) evalCache e = run @(CachingInterpreter term v) (fixCache (fix (evCache (evCollect (\ recur yield -> eval recur yield . project)))) pure e)
-- | Evaluation of a single iteration of an analysis, given a 'MonadCacheIn' instance as an oracle for results and a 'MonadCacheOut' instance to record computed results in.
evCache :: forall t v m evCache :: forall t v m
. ( Ord (LocationFor v) . ( Ord (LocationFor v)
, Ord t , Ord t