1
1
mirror of https://github.com/github/semantic.git synced 2024-12-19 12:51:52 +03:00

add value param to LoadError

This commit is contained in:
joshvera 2018-11-01 22:28:45 -04:00
parent 069a50a634
commit 4870936047

View File

@ -342,7 +342,7 @@ resumingLoadError :: ( AbstractHole value
, Member Trace sig
, Ord address
)
=> Evaluator term address value (ResumableWithC (BaseError (LoadError address)) (Eff m)) a
=> 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, hole))