From ad195fa0ccc0e8ec0b7b95b7937aaf35bd657bf5 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 7 Mar 2018 21:03:15 -0500 Subject: [PATCH] :fire: the instance of Newtype1. --- 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 b6b2f378c..742537e50 100644 --- a/src/Analysis/Abstract/Tracing.hs +++ b/src/Analysis/Abstract/Tracing.hs @@ -21,7 +21,7 @@ type TracingEffects trace term value = Tracer trace term value ': EvaluatorEffec -- Instantiating @trace@ to @[]@ yields a linear trace analysis, while @Set@ yields a reachable state analysis. newtype TracingAnalysis (trace :: * -> *) m a = TracingAnalysis { runTracingAnalysis :: m a } - deriving (Applicative, Functor, Generic1, LiftEffect, Monad, MonadEvaluator, MonadFail, Newtype1) + deriving (Applicative, Functor, Generic1, LiftEffect, Monad, MonadEvaluator, MonadFail) instance ( Corecursive (TermFor m) , LiftEffect m