File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -911,15 +911,15 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
911
911
k0 $! StmTxBlocked $! (Map. elems read )
912
912
913
913
BranchFrame (OrElseStmA b) k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
914
- {-# SCC "execAtomically.go.OrElseLeftFrame " #-} do
914
+ {-# SCC "execAtomically.go.BranchFrame " #-} do
915
915
-- Revert all the TVar writes within this orElse
916
916
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
917
917
-- Execute the orElse right hand with an empty written set
918
918
let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
919
919
go ctl'' read Map. empty [] [] nextVid b
920
920
921
921
BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
922
- {-# SCC "execAtomically.go.OrElseRightFrame " #-} do
922
+ {-# SCC "execAtomically.go.BranchFrame " #-} do
923
923
-- Revert all the TVar writes within this orElse branch
924
924
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
925
925
-- Skip the continuation and propagate the retry into the outer frame
Original file line number Diff line number Diff line change @@ -1122,15 +1122,15 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
1122
1122
k0 $! StmTxBlocked $! Map. elems read
1123
1123
1124
1124
BranchFrame (OrElseStmA b) k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
1125
- {-# SCC "execAtomically.go.OrElseLeftFrame " #-} do
1125
+ {-# SCC "execAtomically.go.BranchFrame " #-} do
1126
1126
-- Revert all the TVar writes within this orElse
1127
1127
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
1128
1128
-- Execute the orElse right hand with an empty written set
1129
1129
let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
1130
1130
go ctl'' read Map. empty [] [] nextVid b
1131
1131
1132
1132
BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
1133
- {-# SCC "execAtomically.go.OrElseRightFrame " #-} do
1133
+ {-# SCC "execAtomically.go.BranchFrame " #-} do
1134
1134
-- Revert all the TVar writes within this orElse branch
1135
1135
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
1136
1136
-- Skip the continuation and propagate the retry into the outer frame
You can’t perform that action at this time.
0 commit comments