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

Define a MonadFail instance for Evaluator.

Browse Source
This commit is contained in:
Rob Rix 2018-02-28 10:41:28 -05:00
parent 57f478a5ac
commit b9ac2858ec
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/Analysis/Abstract/Evaluator.hs
View File

@ -8,6 +8,7 @@ import Control.Monad.Effect.NonDetEff
import Control.Monad.Effect.Reader
import Control.Monad.Effect.State
import Data.Abstract.Value
import Prelude hiding (fail)
data Evaluator effects value a
= Evaluator
@ -37,3 +38,6 @@ instance Monad (Evaluator effects value) where
return = pure
Evaluator runA >>= f = Evaluator (runA >>= runEvaluator . f)
instance MonadFail (Evaluator effects value) where
fail s = Evaluator (fail s)