Address io-sim type signatures changes

IntersectMBO · May 8, 2024 · ea7a30f · ea7a30f
1 parent c531409
commit ea7a30f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/ouroboros-network-framework/sim-tests/Test/Ouroboros/Network/Server2/Sim.hs b/ouroboros-network-framework/sim-tests/Test/Ouroboros/Network/Server2/Sim.hs
@@ -2406,11 +2406,11 @@ toNonFailing = unNFBIScript
              . AbsBearerInfoScript
 
 traceWithNameTraceEvents :: forall b. Typeable b
-                    => SimTrace () -> Trace (SimResult ()) b
+                         => SimTrace () -> Trace (SimResult ()) b
 traceWithNameTraceEvents = fmap wnEvent
           . Trace.filter ((MainServer ==) . wnName)
           . traceSelectTraceEventsDynamic
-              @()
+              @(SimResult ())
               @(WithName (Name SimAddr) b)
 
 withNameTraceEvents :: forall b. Typeable b => SimTrace () -> [b]
@@ -2426,7 +2426,7 @@ withTimeNameTraceEvents :: forall b. Typeable b
 withTimeNameTraceEvents = fmap (\(WithTime t (WithName _ e)) -> WithTime t e)
           . Trace.filter ((MainServer ==) . wnName . wtEvent)
           . traceSelectTraceEventsDynamic
-              @()
+              @(SimResult ())
               @(WithTime (WithName (Name SimAddr) b))
 
 showConnectionEvents :: ConnectionEvent req peerAddr -> String

diff --git a/ouroboros-network/sim-tests-lib/Test/Ouroboros/Network/Testnet.hs b/ouroboros-network/sim-tests-lib/Test/Ouroboros/Network/Testnet.hs
@@ -3850,8 +3850,8 @@ classifyNumberOfEvents nEvents =
       . classify (nEvents >= 50000) "Nº Events >= 50000"
 
 withTimeNameTraceEvents :: forall b name r. (Typeable b, Typeable name)
-                        => SimTrace r
-                        -> Trace (SimResult r) (WithTime (WithName name b))
+                        => Trace r SimEvent
+                        -> Trace r (WithTime (WithName name b))
 withTimeNameTraceEvents = traceSelectTraceEventsDynamic
                             @r
                             @(WithTime (WithName name b))