File tree Expand file tree Collapse file tree 2 files changed +11
-5
lines changed Expand file tree Collapse file tree 2 files changed +11
-5
lines changed Original file line number Diff line number Diff line change @@ -673,7 +673,8 @@ pattern TraceLoop = Trace.Nil Loop
673
673
674
674
675
675
data SimEventType
676
- = EventSay String
676
+ = EventSimStart ScheduleControl
677
+ | EventSay String
677
678
| EventLog Dynamic
678
679
| EventMask MaskingState
679
680
Original file line number Diff line number Diff line change @@ -974,10 +974,15 @@ runSimTraceST mainAction = controlSimTraceST Nothing ControlDefault mainAction
974
974
975
975
controlSimTraceST :: Maybe Int -> ScheduleControl -> IOSim s a -> ST s (SimTrace a )
976
976
controlSimTraceST limit control mainAction =
977
- schedule mainThread initialState { control = control,
978
- control0 = control,
979
- perStepTimeLimit = limit
980
- }
977
+ SimTrace (curTime initialState)
978
+ (threadId mainThread)
979
+ 0
980
+ (threadLabel mainThread)
981
+ (EventSimStart control)
982
+ <$> schedule mainThread initialState { control = control,
983
+ control0 = control,
984
+ perStepTimeLimit = limit
985
+ }
981
986
where
982
987
mainThread =
983
988
Thread {
You can’t perform that action at this time.
0 commit comments