github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 17:59:10 +03:00
Code Issues Projects Releases Wiki Activity

fix hash carrier instance for concrete domain

Browse Source
This commit is contained in:
Ayman Nadeem 2019-01-14 15:29:15 -05:00
parent 7e9b5aee94
commit dbf197d366
1 changed files with 2 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/Data/Abstract/Value/Concrete.hs
View File

@ -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