From b96c32ae9ccdd592c6c488779c6e787c9bd1b97b Mon Sep 17 00:00:00 2001 From: Rick Winfrey Date: Tue, 27 Nov 2018 17:19:36 -0800 Subject: [PATCH] Add AbstractHole for scope and frame addresses Co-Authored-By: Josh Vera --- src/Semantic/Graph.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Semantic/Graph.hs b/src/Semantic/Graph.hs index fd59b826d..88338b3e4 100644 --- a/src/Semantic/Graph.hs +++ b/src/Semantic/Graph.hs @@ -345,11 +345,12 @@ resumingLoadError :: ( Carrier sig m , Member Trace sig , Ord address , AbstractHole value + , AbstractHole address ) => Evaluator term address value (ResumableWithC (BaseError (LoadError address value)) (Eff m)) a -> Evaluator term address value m a resumingLoadError = runLoadErrorWith (\ baseError -> traceError "LoadError" baseError *> case baseErrorException baseError of - ModuleNotFoundError _ -> pure (lowerBound, (lowerBound, hole))) + ModuleNotFoundError _ -> pure (hole, (hole, hole))) resumingEvalError :: ( Carrier sig m , Member Fresh sig