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

Tidy up resumingEnvironmentError using reinterpret.

Browse Source
This commit is contained in:
Rob Rix 2018-05-08 12:01:12 -04:00
parent cfb27ddd7d
commit 6b2b6c7ac4
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/Semantic/Graph.hs
View File

@ -5,7 +5,7 @@ import Analysis.Abstract.Evaluating
import Analysis.Abstract.Graph
import Control.Effect (runIgnoringTraces)
import qualified Control.Exception as Exc
import Control.Monad.Effect (relayState)
import Control.Monad.Effect (reinterpret)
import Data.Abstract.Address
import Data.Abstract.Evaluatable
import Data.Abstract.Located
@ -126,4 +126,6 @@ resumingValueError = runValueErrorWith (\ err -> traceM ("ValueError" <> show er
ArithmeticError{} -> pure hole)
resumingEnvironmentError :: AbstractHole value => Evaluator location term value (Resumable (EnvironmentError value) ': effects) a -> Evaluator location term value effects (a, [Name])
resumingEnvironmentError = raiseHandler (relayState [] (fmap pure . flip (,)) (\ names (Resumable (FreeVariable name)) yield -> yield (name : names) hole))
resumingEnvironmentError
= runState []
. raiseHandler (reinterpret (\ (Resumable (FreeVariable name)) -> modify' (name :) $> hole))