From dbf197d3665e0f70cee82c3ae8d373741aa770ee Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Mon, 14 Jan 2019 15:29:15 -0500 Subject: [PATCH] fix hash carrier instance for concrete domain --- src/Data/Abstract/Value/Concrete.hs | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/src/Data/Abstract/Value/Concrete.hs b/src/Data/Abstract/Value/Concrete.hs index 27e2fb322..64a46e109 100644 --- a/src/Data/Abstract/Value/Concrete.hs +++ b/src/Data/Abstract/Value/Concrete.hs @@ -274,17 +274,11 @@ instance ( Member (Reader ModuleInfo) sig Abstract.AsArray (Array addresses) k -> runArrayC (k addresses) Abstract.AsArray val k -> (throwBaseError $ ArrayError val) >>= runArrayC . k) -instance ( Member (Reader ModuleInfo) sig - , Member (Reader Span) sig - , Member (Resumable (BaseError (ValueError term address))) sig - , Carrier sig m - , Monad m - ) - => Carrier (Abstract.Hash (Value term address) :+: sig) (HashC (Value term address) m) where +instance ( Carrier sig m ) => Carrier (Abstract.Hash (Value term address) :+: sig) (HashC (Value term address) m) where ret = HashC . ret eff = HashC . handleSum (eff . handleCoercible) (\case Abstract.Hash t k -> runHashC (k ((Hash . map (uncurry KVPair)) t)) - Abstract.KVPair t v k -> runHashC (k KVPair)) + Abstract.KvPair t v k -> runHashC (k (KVPair t v))) instance AbstractHole (Value term address) where