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

🔥 a type annotation.

Browse Source
This commit is contained in:
Rob Rix 2018-03-07 21:26:59 -05:00
parent 9a3e0fe607
commit 66ea2f0c3e
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

@ -72,7 +72,7 @@ instance ( Corecursive term
c <- getConfiguration (embedSubterm e)
-- Convergence here is predicated upon an Eq instance, not α-equivalence
cache <- converge (\ prevCache -> do
putCache (mempty :: CacheFor term value)
putCache mempty
putStore (configurationStore c)
-- We need to reset fresh generation so that this invocation converges.
reset 0