From 0d296bd6b18c5612f4fa3eee7f16bafd7d828b3d Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 7 Mar 2018 11:17:38 -0500 Subject: [PATCH] Derive a LiftEffect instance for the tracing analysis. --- src/Analysis/Abstract/Tracing.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Analysis/Abstract/Tracing.hs b/src/Analysis/Abstract/Tracing.hs index 51c6317e4..582fb90ba 100644 --- a/src/Analysis/Abstract/Tracing.hs +++ b/src/Analysis/Abstract/Tracing.hs @@ -42,7 +42,7 @@ evaluateTrace = run @(TracingEffects trace term value) . runEvaluator . runTraci newtype TracingAnalysis (trace :: * -> *) term value effects a = TracingAnalysis { runTracingAnalysis :: Evaluator term value effects a } - deriving (Applicative, Functor, Monad) + deriving (Applicative, Functor, LiftEffect, Monad) deriving instance Member Fail effects => MonadFail (TracingAnalysis trace term value effects) deriving instance Members (EvaluatorEffects term value) effects => MonadEvaluator term value (TracingAnalysis trace term value effects)