github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00
Code Issues Projects Releases Wiki Activity

rewrite first AsArray condition

Browse Source
This commit is contained in:
Ayman Nadeem 2019-01-11 13:30:31 -05:00
parent 8745c48dfa
commit 92cd5634dc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -271,7 +271,7 @@ instance ( Member (Reader ModuleInfo) sig
ret = ArrayC . ret
eff = ArrayC . handleSum (eff . handleCoercible) (\case
Abstract.Array t k -> runArrayC (k (Array t))
Abstract.AsArray (Array addresses) k -> pure addresses >>= runArrayC . k
Abstract.AsArray (Array addresses) k -> runArrayC (k addresses)
Abstract.AsArray val k -> (throwBaseError $ ArrayError val) >>= runArrayC . k)
instance AbstractHole (Value term address) where