diff --git a/test/Control/Abstract/Evaluator/Spec.hs b/test/Control/Abstract/Evaluator/Spec.hs index 75b80402b..72f9ea1d4 100644 --- a/test/Control/Abstract/Evaluator/Spec.hs +++ b/test/Control/Abstract/Evaluator/Spec.hs @@ -37,7 +37,6 @@ evaluate . runValueError . runEnvironmentError . runAddressError - . runIgnoringTrace . runAllocator @Precise @_ @Val . (>>= deref . snd) . runEnv lowerBound @@ -53,7 +52,6 @@ newtype SpecEff a = SpecEff , Exc (Return Precise) , Env Precise , Allocator Precise Val - , Trace , Resumable (AddressError Precise Val) , Resumable (EnvironmentError Precise) , Resumable (ValueError Precise SpecEff)