File tree 2 files changed +2
-2
lines changed 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -911,7 +911,7 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
911
911
-- Revert all the TVar writes within this catch
912
912
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
913
913
-- Execute the catch handler with an empty written set
914
- let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
914
+ let ctl'' = BranchFrame NoOpStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
915
915
go ctl'' read Map. empty [] [] nextVid (h e)
916
916
--
917
917
BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
Original file line number Diff line number Diff line change @@ -1122,7 +1122,7 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
1122
1122
-- Revert all the TVar writes within this catch
1123
1123
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
1124
1124
-- Execute the catch handler with an empty written set
1125
- let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
1125
+ let ctl'' = BranchFrame NoOpStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
1126
1126
go ctl'' read Map. empty [] [] nextVid (h e)
1127
1127
--
1128
1128
BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
You can’t perform that action at this time.
0 commit comments