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

📝 valueRoots.

Browse Source
This commit is contained in:
Rob Rix 2017-12-21 09:47:13 -05:00
parent 100bfdcfcd
commit ecdca89393
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

@ -78,6 +78,7 @@ type family LocationFor value :: * where
-- | Value types, e.g. closures, which can root a set of addresses.
class ValueRoots l v | v -> l where
-- | Compute the set of addresses rooted by a given value.
valueRoots :: v -> Live l v
class AbstractValue v where