From 788b4f5195c79d01ff002aed6d9053d1880aa699 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Thu, 1 Mar 2018 15:26:59 -0500 Subject: [PATCH] Derive a MonadFail instance for Evaluation. --- src/Analysis/Abstract/Evaluating.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Evaluating.hs b/src/Analysis/Abstract/Evaluating.hs index fd47487b6..cedf77b27 100644 --- a/src/Analysis/Abstract/Evaluating.hs +++ b/src/Analysis/Abstract/Evaluating.hs @@ -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)