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 @@ -897,7 +897,7 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
897897
898898 ThrowStm e ->
899899 {-# SCC "execAtomically.go.ThrowStm" #-}
900- case ctl of
900+ case ctl of
901901 AtomicallyFrame -> do
902902 -- Revert all the TVar writes
903903 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
@@ -910,19 +910,19 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
910910 -- Execute the catch handler with an empty written set
911911 let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
912912 go ctl'' read Map. empty [] [] nextVid (h e)
913- --
913+ --
914914 BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
915915 {-# SCC "execAtomically.go.branchFrame" #-} do
916916 -- Revert all the TVar writes within this orElse
917917 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
918918 go ctl' read writtenOuter writtenOuterSeq createdOuterSeq nextVid (ThrowStm e)
919919
920- CatchStm a h k ->
920+ CatchStm a h k ->
921921 {-# SCC "execAtomically.go.ThrowStm" #-} do
922922 -- Execute the left side in a new frame with an empty written set
923923 let ctl' = BranchFrame (CatchStmA h) k written writtenSeq createdSeq ctl
924924 go ctl' read Map. empty [] [] nextVid a
925-
925+
926926
927927 Retry ->
928928 {-# SCC "execAtomically.go.Retry" #-}
Original file line number Diff line number Diff line change @@ -318,7 +318,7 @@ instance Exceptions.MonadThrow (STM s) where
318318instance MonadCatch (STM s ) where
319319
320320 catch action handler = STM $ oneShot $ \ k -> CatchStm (runSTM action) (runSTM . handler') k
321- where
321+ where
322322 handler' e = case fromException e of
323323 Nothing -> throwIO e -- Rethrow the exception if handler does not handle it.
324324 Just e' -> handler e'
Original file line number Diff line number Diff line change @@ -1108,7 +1108,7 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
11081108
11091109 ThrowStm e ->
11101110 {-# SCC "execAtomically.go.ThrowStm" #-}
1111- case ctl of
1111+ case ctl of
11121112 AtomicallyFrame -> do
11131113 -- Revert all the TVar writes
11141114 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
@@ -1121,14 +1121,14 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
11211121 -- Execute the catch handler with an empty written set
11221122 let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
11231123 go ctl'' read Map. empty [] [] nextVid (h e)
1124- --
1124+ --
11251125 BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
11261126 {-# SCC "execAtomically.go.branchFrame" #-} do
11271127 -- Revert all the TVar writes within this orElse
11281128 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
11291129 go ctl' read writtenOuter writtenOuterSeq createdOuterSeq nextVid (ThrowStm e)
11301130
1131- CatchStm a h k ->
1131+ CatchStm a h k ->
11321132 {-# SCC "execAtomically.go.ThrowStm" #-} do
11331133 -- Execute the left side in a new frame with an empty written set
11341134 let ctl' = BranchFrame (CatchStmA h) k written writtenSeq createdSeq ctl
You can’t perform that action at this time.
0 commit comments