File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Expand file tree Collapse file tree 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 =
911911 -- Revert all the TVar writes within this catch
912912 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
913913 -- 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'
915915 go ctl'' read Map. empty [] [] nextVid (h e)
916916 --
917917 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 =
11221122 -- Revert all the TVar writes within this catch
11231123 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
11241124 -- 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'
11261126 go ctl'' read Map. empty [] [] nextVid (h e)
11271127 --
11281128 BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
You can’t perform that action at this time.
0 commit comments