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.
2 parents ef82ae8 + 98a8b05 commit 2d35c00Copy full SHA for 2d35c00
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