Revert "simplify runClause"

This reverts commit ad0975a.
IntersectMBO · Jun 8, 2021 · ecfd8eb · ecfd8eb
1 parent ad0975a
commit ecfd8eb
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/semantics/executable-spec/src/Control/State/Transition/Extended.hs b/semantics/executable-spec/src/Control/State/Transition/Extended.hs
@@ -500,7 +500,9 @@ applyRuleInternal ep vp goSTS jc r =
     runClause (SubTrans (subCtx :: RuleContext _rtype sub) next) = do
       ((ss, sfails), sevents) :: ((State sub, [[PredicateFailure sub]]), [Event sub]) <- lift $ goSTS subCtx
       traverse_ (\a -> modify (a :)) $ wrapFailed @sub @s <$> concat sfails
-      runClause $ Writer (fmap wrapEvent sevents) ()
+      () <- case ep of
+        EPDiscard -> pure ()
+        EPReturn -> tell $ fmap wrapEvent sevents
       pure $ next ss
     runClause (Writer w a) = case ep of
       EPReturn -> tell w $> a