mirror of
https://github.com/github/semantic.git
synced 2024-12-23 14:54:16 +03:00
🔥 the (wrong, bad) Generic1 instance.
This commit is contained in:
parent
089b08edb3
commit
e71fac7493
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user