From 88f70e3af077605f48f36ba87dd537934e8132cd Mon Sep 17 00:00:00 2001 From: Zachary Churchill Date: Wed, 2 Jun 2021 18:17:47 -0400 Subject: [PATCH] simplify runClause --- .../executable-spec/src/Control/State/Transition/Extended.hs | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/semantics/executable-spec/src/Control/State/Transition/Extended.hs b/semantics/executable-spec/src/Control/State/Transition/Extended.hs index f1704adebb1..cf534430263 100644 --- a/semantics/executable-spec/src/Control/State/Transition/Extended.hs +++ b/semantics/executable-spec/src/Control/State/Transition/Extended.hs @@ -511,9 +511,7 @@ applyRuleInternal ep vp goSTS jc r = sfails :: [[PredicateFailure sub]] (ss, sfails) = (discardEvents ep @sub) s traverse_ (\a -> modify (a :)) $ wrapFailed @sub @s <$> concat sfails - () <- case ep of - EPDiscard -> pure () - EPReturn -> tell (wrapEvent <$> snd s) + runClause $ Writer (fmap wrapEvent sevents) () pure $ next ss runClause (Writer w a) = case ep of EPReturn -> tell w $> a