diff options
author | joe <joe@jerkface.net> | 2018-06-24 02:27:18 -0400 |
---|---|---|
committer | joe <joe@jerkface.net> | 2018-06-24 03:10:43 -0400 |
commit | 55db1198b3da0c706f2b9f1ed9c8fd11fc4ae552 (patch) | |
tree | de035195ed188f8611da54e6e339d9124d2a5b3f /examples/dhtd.hs | |
parent | 3054de811f4ae7659dfc4dc338aab2c3d11b5c27 (diff) |
XMPP: Type-checking on various uses of SockAddr.
Diffstat (limited to 'examples/dhtd.hs')
-rw-r--r-- | examples/dhtd.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/dhtd.hs b/examples/dhtd.hs index 8e34d4fe..7aa5cd2c 100644 --- a/examples/dhtd.hs +++ b/examples/dhtd.hs | |||
@@ -1537,7 +1537,7 @@ newXmmpSink session@(Tox.NCrypto { ncOutgoingQueue = outGoingQVar, ncPacketQueue | |||
1537 | -- order to set up translating conduits that simulate a remote XMPP server. | 1537 | -- order to set up translating conduits that simulate a remote XMPP server. |
1538 | announceToxJabberPeer :: PublicKey -- ^ This node's long-term user key. | 1538 | announceToxJabberPeer :: PublicKey -- ^ This node's long-term user key. |
1539 | -> PublicKey -- ^ Remote tox node's long-term user key. | 1539 | -> PublicKey -- ^ Remote tox node's long-term user key. |
1540 | -> TChan ((ConnectionKey,ConnectionData), Tcp.ConnectionEvent XML.Event) | 1540 | -> TChan ((SockAddr,ConnectionData), Tcp.ConnectionEvent XML.Event) |
1541 | -> SockAddr -- ^ Local bind address for incoming Tox packets. | 1541 | -> SockAddr -- ^ Local bind address for incoming Tox packets. |
1542 | -> SockAddr -- ^ Remote address for this connection. | 1542 | -> SockAddr -- ^ Remote address for this connection. |
1543 | -> STM Bool | 1543 | -> STM Bool |
@@ -1547,7 +1547,7 @@ announceToxJabberPeer :: PublicKey -- ^ This node's long-term user key. | |||
1547 | announceToxJabberPeer me them echan laddr saddr pingflag tsrc tsnk | 1547 | announceToxJabberPeer me them echan laddr saddr pingflag tsrc tsnk |
1548 | = do | 1548 | = do |
1549 | atomically $ writeTChan echan | 1549 | atomically $ writeTChan echan |
1550 | ( (PeerKey saddr, ConnectionData laddr XMPPServer.Tox ) | 1550 | ( (saddr, ConnectionData (Left (Local laddr)) XMPPServer.Tox ) |
1551 | , Tcp.Connection pingflag xsrc xsnk ) | 1551 | , Tcp.Connection pingflag xsrc xsnk ) |
1552 | return Nothing | 1552 | return Nothing |
1553 | where | 1553 | where |