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 @@ -1025,7 +1025,7 @@ execAtomically :: forall s a c.
1025
1025
-> StmA s a
1026
1026
-> (StmTxResult s a -> ST s (SimTrace c ))
1027
1027
-> ST s (SimTrace c )
1028
- execAtomically ! time ! tid ! tlbl ! nextVid0 action0 k0 =
1028
+ execAtomically ! time ! tid ! tlbl ! nextVid0 ! action0 ! k0 =
1029
1029
go AtomicallyFrame Map. empty Map. empty [] [] nextVid0 action0
1030
1030
where
1031
1031
go :: forall b .
Original file line number Diff line number Diff line change @@ -1350,7 +1350,7 @@ execAtomically :: forall s a c.
1350
1350
-> StmA s a
1351
1351
-> (StmTxResult s a -> ST s (SimTrace c ))
1352
1352
-> ST s (SimTrace c )
1353
- execAtomically time tid tlbl nextVid0 action0 k0 =
1353
+ execAtomically ! time ! tid ! tlbl ! nextVid0 ! action0 ! k0 =
1354
1354
go AtomicallyFrame Map. empty Map. empty [] [] nextVid0 action0
1355
1355
where
1356
1356
go :: forall b .
You can’t perform that action at this time.
0 commit comments