github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 04:51:57 +03:00
Code Issues Projects Releases Wiki Activity

Derive a MonadFail instance for Evaluation.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 15:26:59 -05:00
parent 32abdb5bf5
commit 788b4f5195
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Analysis/Abstract/Evaluating.hs
View File

@ -103,7 +103,7 @@ evaluates :: forall v term.
evaluates pairs (_, t) = run @(Evaluating term v) (runEvaluator (localModuleTable (const (Linker (Map.fromList (map (first (dropExtensions . blobPath)) pairs)))) (foldSubterms eval t)))
newtype Evaluation term value a = Evaluation { runEvaluation :: Evaluator (Evaluating term value) term value a }
deriving (Applicative, Functor, Monad)
deriving (Applicative, Functor, Monad, MonadFail)
instance ( AbstractValue v
, Evaluatable (Base t)