From 98a8b055b1120d229f51fe71d82becc8cd58efed Mon Sep 17 00:00:00 2001 From: "L. S. Leary" Date: Fri, 17 Oct 2025 17:13:59 +1300 Subject: [PATCH] Fix misattribution of `races` docs to `nextUnique` --- io-sim/src/Control/Monad/IOSimPOR/Internal.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/io-sim/src/Control/Monad/IOSimPOR/Internal.hs b/io-sim/src/Control/Monad/IOSimPOR/Internal.hs index 5e80764a..2f6d0579 100644 --- a/io-sim/src/Control/Monad/IOSimPOR/Internal.hs +++ b/io-sim/src/Control/Monad/IOSimPOR/Internal.hs @@ -198,9 +198,9 @@ data SimState s a = SimState { clocks :: !(Map ClockId UTCTime), nextVid :: !VarId, -- ^ next unused 'TVarId' nextTmid :: !TimeoutId, -- ^ next unused 'TimeoutId' + nextUniq :: !(Unique s), -- ^ next unused @'Unique' s@ -- | previous steps (which we may race with). -- Note this is *lazy*, so that we don't compute races we will not reverse. - nextUniq :: !(Unique s), -- ^ next unused @'Unique' s@ races :: Races, -- | control the schedule followed, and initial value control :: !ScheduleControl,