github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-13 03:15:45 +03:00
Code Issues Projects Releases Wiki Activity

Add address free variable to State Heap

Browse Source
This commit is contained in:
joshvera 2018-09-25 16:30:51 -05:00
parent a537f5d641
commit 45ba7a44f8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Data/Abstract/Value/Abstract.hs
View File

@ -22,7 +22,7 @@ runFunction :: ( Member (Allocator address) effects
, Member (Reader ModuleInfo) effects
, Member (Reader Span) effects
, Member (Resumable (BaseError (AddressError address Abstract))) effects
, Member (State (Heap address Abstract)) effects
, Member (State (Heap address address Abstract)) effects
, Ord address
, PureEffects effects
)
@ -73,7 +73,7 @@ instance ( Member (Allocator address) effects
, Member (Deref Abstract) effects
, Member Fresh effects
, Member NonDet effects
, Member (State (Heap address Abstract)) effects
, Member (State (Heap address address Abstract)) effects
, Ord address
)
=> AbstractValue address Abstract effects where