From 45ba7a44f8ebc0dcf68489a4fde86d1053a6f9fc Mon Sep 17 00:00:00 2001 From: joshvera Date: Tue, 25 Sep 2018 16:30:51 -0500 Subject: [PATCH] Add address free variable to State Heap --- src/Data/Abstract/Value/Abstract.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Data/Abstract/Value/Abstract.hs b/src/Data/Abstract/Value/Abstract.hs index d28da7322..de73d1cf4 100644 --- a/src/Data/Abstract/Value/Abstract.hs +++ b/src/Data/Abstract/Value/Abstract.hs @@ -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