From 92cd5634dc8e65ba004ee5d91a3c7bc50668dc75 Mon Sep 17 00:00:00 2001 From: Ayman Nadeem Date: Fri, 11 Jan 2019 13:30:31 -0500 Subject: [PATCH] rewrite first AsArray condition --- src/Data/Abstract/Value/Concrete.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Data/Abstract/Value/Concrete.hs b/src/Data/Abstract/Value/Concrete.hs index 38e7cf65f..94e5dbecc 100644 --- a/src/Data/Abstract/Value/Concrete.hs +++ b/src/Data/Abstract/Value/Concrete.hs @@ -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