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

Add AbstractHole for scope and frame addresses

Browse Source 
Co-Authored-By: Josh Vera <vera@github.com>
This commit is contained in:
Rick Winfrey 2018-11-27 17:19:36 -08:00
parent 817aa6550b
commit b96c32ae9c
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Semantic/Graph.hs
View File

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