simplify runClause

IntersectMBO · Jun 8, 2021 · 88f70e3 · 88f70e3
1 parent 8e38d5c
commit 88f70e3
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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