File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
io-sim/src/Control/Monad/IOSimPOR Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -1750,7 +1750,7 @@ updateRaces thread@Thread { threadId = tid }
1750
1750
concurrent0 =
1751
1751
Map. keysSet (Map. filter (\ t -> not (isThreadDone t)
1752
1752
&& threadId t `Set.notMember`
1753
- effectForks (stepEffect newStep)
1753
+ effectForks newEffect
1754
1754
) threads)
1755
1755
1756
1756
-- A new step to add to the `activeRaces` list.
@@ -1940,7 +1940,7 @@ stepInfoToScheduleMods
1940
1940
{ scheduleModTarget = stepStepId step
1941
1941
, scheduleModControl = control
1942
1942
, scheduleModInsertion = takeWhile (/= stepStepId step')
1943
- (map stepStepId ( reverse nondep) )
1943
+ (stepStepId `map` reverse nondep)
1944
1944
++ [stepStepId step']
1945
1945
-- It should be unnecessary to include the delayed
1946
1946
-- step in the insertion, since the default
You can’t perform that action at this time.
0 commit comments