Skip to content

Commit 420b040

Browse files
committed
io-sim-por: added step in SimPORTrace
Fixes two innocent todos.
1 parent 1b35d43 commit 420b040

File tree

1 file changed

+2
-4
lines changed

1 file changed

+2
-4
lines changed

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

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -554,14 +554,12 @@ schedule thread@Thread{
554554
return $
555555
SimPORTrace time tid tstep tlbl (EventTxCommitted written' created' (Just effect')) $
556556
traceMany
557-
-- TODO: step
558-
[ (time, tid', (-1), tlbl', EventTxWakeup vids')
557+
[ (time, tid', tstep, tlbl', EventTxWakeup vids')
559558
| tid' <- unblocked
560559
, let tlbl' = lookupThreadLabel tid' threads
561560
, let Just vids' = Set.toList <$> Map.lookup tid' wokeby ] $
562561
traceMany
563-
-- TODO: step
564-
[ (time, tid, (-1), tlbl, EventLog tr)
562+
[ (time, tid, tstep, tlbl, EventLog tr)
565563
| tr <- tvarTraces
566564
] $
567565
SimPORTrace time tid tstep tlbl (EventUnblocked unblocked) $

0 commit comments

Comments
 (0)