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

Simplify the derived MonadEvaluator instance for Evaluation.

Browse Source
This commit is contained in:
Rob Rix 2018-03-01 16:11:56 -05:00
parent e1b1ceb11c
commit 106819c39e
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -97,8 +97,7 @@ evaluates pairs (_, t) = run @(Evaluating term v) (runEvaluator (runEvaluation (
newtype Evaluation term value a = Evaluation { runEvaluation :: Evaluator (Evaluating term value) term value a }
deriving (Applicative, Functor, Monad, MonadFail)
deriving instance MonadEvaluator term value (Evaluator (Evaluating term value) term value)
=> MonadEvaluator term value (Evaluation term value)
deriving instance MonadEvaluator term value (Evaluation term value)
instance ( AbstractValue v
, Evaluatable (Base t)