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

📝 AbstractValue.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 09:48:22 -05:00
parent ecdca89393
commit 09ed71177c
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/Data/Abstract/Value.hs
View File

@ -81,6 +81,7 @@ class ValueRoots l v | v -> l where
-- | Compute the set of addresses rooted by a given value.
valueRoots :: v -> Live l v
-- | An interface for constructing abstract values.
class AbstractValue v where
unit :: v
integer :: Prelude.Integer -> v