File tree Expand file tree Collapse file tree 1 file changed +9
-10
lines changed
io-sim/src/Control/Monad/IOSimPOR Expand file tree Collapse file tree 1 file changed +9
-10
lines changed Original file line number Diff line number Diff line change @@ -1494,10 +1494,6 @@ normalizeRaces Races{ activeRaces, completeRaces } =
1494
1494
-- are assuming here that all work is completed before a timer
1495
1495
-- triggers.
1496
1496
1497
- quiescentRacesInSimState :: SimState s a -> SimState s a
1498
- quiescentRacesInSimState simstate@ SimState { races } =
1499
- simstate{ races = quiescentRaces races }
1500
-
1501
1497
quiescentRaces :: Races -> Races
1502
1498
quiescentRaces Races { activeRaces, completeRaces } =
1503
1499
Races { activeRaces = [] ,
@@ -1590,12 +1586,15 @@ stepInfoToScheduleMods
1590
1586
| step' <- races ]
1591
1587
1592
1588
traceFinalRacesFound :: SimState s a -> SimTrace a -> SimTrace a
1593
- traceFinalRacesFound simstate@ SimState { control0 = control } =
1594
- TraceRacesFound [extendScheduleControl control m | m <- scheduleMods]
1595
- where SimState { races } =
1596
- quiescentRacesInSimState simstate
1597
- scheduleMods =
1598
- concatMap stepInfoToScheduleMods $ completeRaces races
1589
+ traceFinalRacesFound SimState { control0 = control, races } =
1590
+ TraceRacesFound [extendScheduleControl control m | m <- scheduleMods]
1591
+ where
1592
+ scheduleMods :: [ScheduleMod ]
1593
+ scheduleMods =
1594
+ concatMap stepInfoToScheduleMods
1595
+ . completeRaces
1596
+ . quiescentRaces
1597
+ $ races
1599
1598
1600
1599
-- Extend an existing schedule control with a newly discovered schedule mod
1601
1600
extendScheduleControl' :: ScheduleControl -> ScheduleMod -> ScheduleControl
You can’t perform that action at this time.
0 commit comments