io-sim: use ppSimResult in traceDebugLog

ppSimResult is now also exported from the `Control.Monad.IOSim` module.

Author: coot

io-sim/src/Control/Monad/IOSim.hs

@@ -639,9 +639,9 @@ exploreSimTraceST optsf main k =
 traceDebugLog :: Int -> SimTrace a -> ST s ()
 traceDebugLog logLevel _trace | logLevel <= 0 = pure ()
 traceDebugLog 1 trace = Debug.traceM $ "Simulation trace with discovered schedules:\n"
-                                    ++ Trace.ppTrace show (ppSimEvent 0 0 0) (ignoreRaces $ void `first` trace)
+                                    ++ Trace.ppTrace (ppSimResult 0 0 0) (ppSimEvent 0 0 0) (ignoreRaces $ void `first` trace)
 traceDebugLog _ trace = Debug.traceM $ "Simulation trace with discovered schedules:\n"
-                                    ++ Trace.ppTrace show (ppSimEvent 0 0 0) (void `first` trace)
+                                    ++ Trace.ppTrace (ppSimResult 0 0 0) (ppSimEvent 0 0 0) (void `first` trace)
 
 
 -- | Run a simulation using a given schedule.  This is useful to reproduce

io-sim/src/Control/Monad/IOSim/Types.hs

@@ -49,6 +49,7 @@ module Control.Monad.IOSim.Types
   , ppSimEventType
   , SimEvent (..)
   , SimResult (..)
+  , ppSimResult
   , SimTrace
   , Trace.Trace (SimTrace, SimPORTrace, TraceMainReturn, TraceMainException, TraceDeadlock, TraceRacesFound, TraceLoop, TraceInternalError)
   , ppTrace