github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-01 00:33:59 +03:00
Code Issues Projects Releases Wiki Activity

Define throwEnvironmentError

Browse Source
This commit is contained in:
Rick Winfrey 2018-08-02 12:01:10 -07:00
parent 7169324be8
commit 3819f31647
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/Control/Abstract/Environment.hs
View File

@ -20,11 +20,15 @@ module Control.Abstract.Environment
, runEnvironmentErrorWith
) where
import Control.Abstract.Context (currentErrorContext)
import Control.Abstract.Evaluator
import Data.Abstract.ErrorContext
import Data.Abstract.Environment (Bindings, Environment)
import qualified Data.Abstract.Environment as Env
import Data.Abstract.Exports as Exports
import Data.Abstract.Module
import Data.Abstract.Name
import Data.Span
import Prologue
-- | Retrieve the environment.
@ -137,3 +141,11 @@ runEnvironmentError = runResumable
runEnvironmentErrorWith :: (Effectful (m address value), Effects effects) => (forall resume . EnvironmentError address resume -> m address value effects resume) -> m address value (Resumable (EnvironmentError address) ': effects) a -> m address value effects a
runEnvironmentErrorWith = runResumableWith
throwEnvironmentError :: ( Member (Resumable (BaseError (EnvironmentError address))) effects
, Member (Reader ModuleInfo) effects
, Member (Reader Span) effects
)
=> EnvironmentError address resume
-> Evaluator address value effects resume
throwEnvironmentError err = currentErrorContext >>= \ errorContext -> throwResumable $ BaseError errorContext err