We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
races
nextUnique
1 parent ef82ae8 commit 98a8b05Copy full SHA for 98a8b05
io-sim/src/Control/Monad/IOSimPOR/Internal.hs
@@ -198,9 +198,9 @@ data SimState s a = SimState {
198
clocks :: !(Map ClockId UTCTime),
199
nextVid :: !VarId, -- ^ next unused 'TVarId'
200
nextTmid :: !TimeoutId, -- ^ next unused 'TimeoutId'
201
+ nextUniq :: !(Unique s), -- ^ next unused @'Unique' s@
202
-- | previous steps (which we may race with).
203
-- Note this is *lazy*, so that we don't compute races we will not reverse.
- nextUniq :: !(Unique s), -- ^ next unused @'Unique' s@
204
races :: Races,
205
-- | control the schedule followed, and initial value
206
control :: !ScheduleControl,
0 commit comments