Skip to content

Commit 81d1d46

Browse files
committed
io-sim-por: force trace when creating timeout
1 parent b0b02fd commit 81d1d46

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

io-sim/src/Control/Monad/IOSimPOR/Internal.hs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -438,9 +438,9 @@ schedule thread@Thread{
438438
t = Timeout tvar tvar' nextTmid
439439
timers' = PSQ.insert nextTmid expiry (TimerVars tvar tvar') timers
440440
thread' = thread { threadControl = ThreadControl (k t) ctl }
441-
trace <- schedule thread' simstate { timers = timers'
442-
, nextVid = succ (succ nextVid)
443-
, nextTmid = succ nextTmid }
441+
!trace <- schedule thread' simstate { timers = timers'
442+
, nextVid = succ (succ nextVid)
443+
, nextTmid = succ nextTmid }
444444
return (SimPORTrace time tid tstep tlbl (EventTimerCreated nextTmid nextVid expiry) trace)
445445

446446
-- we do not follow `GHC.Event` behaviour here; updating a timer to the past

0 commit comments

Comments
 (0)