File tree Expand file tree Collapse file tree 3 files changed +8
-8
lines changed Expand file tree Collapse file tree 3 files changed +8
-8
lines changed Original file line number Diff line number Diff line change @@ -900,7 +900,7 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
900
900
901
901
ThrowStm e ->
902
902
{-# SCC "execAtomically.go.ThrowStm" #-}
903
- case ctl of
903
+ case ctl of
904
904
AtomicallyFrame -> do
905
905
-- Revert all the TVar writes
906
906
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
@@ -913,19 +913,19 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
913
913
-- Execute the catch handler with an empty written set
914
914
let ctl'' = BranchFrame EmptyStmA 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' ->
918
918
{-# SCC "execAtomically.go.branchFrame" #-} do
919
919
-- Revert all the TVar writes within this orElse
920
920
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
921
921
go ctl' read writtenOuter writtenOuterSeq createdOuterSeq nextVid (ThrowStm e)
922
922
923
- CatchStm a h k ->
923
+ CatchStm a h k ->
924
924
{-# SCC "execAtomically.go.ThrowStm" #-} do
925
925
-- Execute the left side in a new frame with an empty written set
926
926
let ctl' = BranchFrame (CatchStmA h) k written writtenSeq createdSeq ctl
927
927
go ctl' read Map. empty [] [] nextVid a
928
-
928
+
929
929
930
930
Retry ->
931
931
{-# SCC "execAtomically.go.Retry" #-}
Original file line number Diff line number Diff line change @@ -319,7 +319,7 @@ instance Exceptions.MonadThrow (STM s) where
319
319
instance MonadCatch (STM s ) where
320
320
321
321
catch action handler = STM $ oneShot $ \ k -> CatchStm (runSTM action) (runSTM . handler') k
322
- where
322
+ where
323
323
handler' e = case fromException e of
324
324
Nothing -> throwIO e -- Rethrow the exception if handler does not handle it.
325
325
Just e' -> handler e'
Original file line number Diff line number Diff line change @@ -1111,7 +1111,7 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
1111
1111
1112
1112
ThrowStm e ->
1113
1113
{-# SCC "execAtomically.go.ThrowStm" #-}
1114
- case ctl of
1114
+ case ctl of
1115
1115
AtomicallyFrame -> do
1116
1116
-- Revert all the TVar writes
1117
1117
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
@@ -1124,14 +1124,14 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
1124
1124
-- Execute the catch handler with an empty written set
1125
1125
let ctl'' = BranchFrame EmptyStmA 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' ->
1129
1129
{-# SCC "execAtomically.go.branchFrame" #-} do
1130
1130
-- Revert all the TVar writes within this orElse
1131
1131
! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
1132
1132
go ctl' read writtenOuter writtenOuterSeq createdOuterSeq nextVid (ThrowStm e)
1133
1133
1134
- CatchStm a h k ->
1134
+ CatchStm a h k ->
1135
1135
{-# SCC "execAtomically.go.ThrowStm" #-} do
1136
1136
-- Execute the left side in a new frame with an empty written set
1137
1137
let ctl' = BranchFrame (CatchStmA h) k written writtenSeq createdSeq ctl
You can’t perform that action at this time.
0 commit comments