@@ -93,7 +93,7 @@ testEarlyDisconnect nextPort = do
93 ConnectionOpened cid _ addr <- receive endpoint
93 ConnectionOpened cid _ addr <- receive endpoint
94 True <- return $ addr == theirAddr
94 True <- return $ addr == theirAddr
96− ErrorEvent (TransportError (EventConnectionLost addr' [cid']) _) <- receive endpoint
96+ ErrorEvent (TransportError (EventConnectionLost (Just addr') [cid']) _) <- receive endpoint
97 True <- return $ addr' == theirAddr && cid' == cid
97 True <- return $ addr' == theirAddr && cid' == cid
@@ -116,7 +116,7 @@ testEarlyDisconnect nextPort = do
116 Received cid' ["pong"] <- receive endpoint
116 Received cid' ["pong"] <- receive endpoint
117 True <- return $ cid == cid'
117 True <- return $ cid == cid'
119− ErrorEvent (TransportError (EventConnectionLost addr' [cid'']) _) <- receive endpoint
119+ ErrorEvent (TransportError (EventConnectionLost (Just addr') [cid'']) _) <- receive endpoint
120 True <- return $ addr' == theirAddr && cid'' == cid
120 True <- return $ addr' == theirAddr && cid'' == cid
122 return ()
122 return ()
@@ -227,7 +227,7 @@ testEarlyCloseSocket nextPort = do
227 ConnectionClosed cid'' <- receive endpoint
227 ConnectionClosed cid'' <- receive endpoint
228 True <- return $ cid'' == cid
228 True <- return $ cid'' == cid
230− ErrorEvent (TransportError (EventConnectionLost addr' []) _) <- receive endpoint
230+ ErrorEvent (TransportError (EventConnectionLost (Just addr') []) _) <- receive endpoint
231 True <- return $ addr' == theirAddr
231 True <- return $ addr' == theirAddr
233 return ()
233 return ()