From e71fac7493287ad2fd8fc704138597d41bafb8fa Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Wed, 7 Mar 2018 21:04:17 -0500 Subject: [PATCH] :fire: the (wrong, bad) Generic1 instance. --- 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 742537e50..f0a9f58b3 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) + deriving (Applicative, Functor, LiftEffect, Monad, MonadEvaluator, MonadFail) instance ( Corecursive (TermFor m) , LiftEffect m