github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-01 19:55:34 +03:00
Code Issues Projects Releases Wiki Activity

Define a binary tree datatype.

Browse Source
This commit is contained in:
Rob Rix 2018-10-23 16:46:06 -04:00
parent 88a116cedc
commit 448c6e03ec
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Analysis/Abstract/Caching/FlowInsensitive.hs
View File

@ -147,6 +147,9 @@ caching
. raiseHandler (runReader lowerBound)
. raiseHandler runNonDet
data B a = B (B a) (B a) | L a | E
deriving (Foldable, Functor, Traversable)
-- | A map of 'Configuration's to 'Set's of resulting values & 'Heap's.
newtype Cache term address = Cache { unCache :: Monoidal.Map (Configuration term address) (Set (ValueRef address)) }