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 =
900900
901901 ThrowStm e ->
902902 {-# SCC "execAtomically.go.ThrowStm" #-}
903- case ctl of
903+ case ctl of
904904 AtomicallyFrame -> do
905905 -- Revert all the TVar writes
906906 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
@@ -913,19 +913,19 @@ execAtomically !time !tid !tlbl !nextVid0 action0 k0 =
913913 -- Execute the catch handler with an empty written set
914914 let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
915915 go ctl'' read Map. empty [] [] nextVid (h e)
916- --
916+ --
917917 BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
918918 {-# SCC "execAtomically.go.branchFrame" #-} do
919919 -- Revert all the TVar writes within this orElse
920920 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
921921 go ctl' read writtenOuter writtenOuterSeq createdOuterSeq nextVid (ThrowStm e)
922922
923- CatchStm a h k ->
923+ CatchStm a h k ->
924924 {-# SCC "execAtomically.go.ThrowStm" #-} do
925925 -- Execute the left side in a new frame with an empty written set
926926 let ctl' = BranchFrame (CatchStmA h) k written writtenSeq createdSeq ctl
927927 go ctl' read Map. empty [] [] nextVid a
928-
928+
929929
930930 Retry ->
931931 {-# SCC "execAtomically.go.Retry" #-}
Original file line number Diff line number Diff line change @@ -319,7 +319,7 @@ instance Exceptions.MonadThrow (STM s) where
319319instance MonadCatch (STM s ) where
320320
321321 catch action handler = STM $ oneShot $ \ k -> CatchStm (runSTM action) (runSTM . handler') k
322- where
322+ where
323323 handler' e = case fromException e of
324324 Nothing -> throwIO e -- Rethrow the exception if handler does not handle it.
325325 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 =
11111111
11121112 ThrowStm e ->
11131113 {-# SCC "execAtomically.go.ThrowStm" #-}
1114- case ctl of
1114+ case ctl of
11151115 AtomicallyFrame -> do
11161116 -- Revert all the TVar writes
11171117 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
@@ -1124,14 +1124,14 @@ execAtomically time tid tlbl nextVid0 action0 k0 =
11241124 -- Execute the catch handler with an empty written set
11251125 let ctl'' = BranchFrame EmptyStmA k writtenOuter writtenOuterSeq createdOuterSeq ctl'
11261126 go ctl'' read Map. empty [] [] nextVid (h e)
1127- --
1127+ --
11281128 BranchFrame _ _k writtenOuter writtenOuterSeq createdOuterSeq ctl' ->
11291129 {-# SCC "execAtomically.go.branchFrame" #-} do
11301130 -- Revert all the TVar writes within this orElse
11311131 ! _ <- traverse_ (\ (SomeTVar tvar) -> revertTVar tvar) written
11321132 go ctl' read writtenOuter writtenOuterSeq createdOuterSeq nextVid (ThrowStm e)
11331133
1134- CatchStm a h k ->
1134+ CatchStm a h k ->
11351135 {-# SCC "execAtomically.go.ThrowStm" #-} do
11361136 -- Execute the left side in a new frame with an empty written set
11371137 let ctl' = BranchFrame (CatchStmA h) k written writtenSeq createdSeq ctl
You can’t perform that action at this time.
0 commit comments