unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-04 13:47:26 +03:00
Code Issues Projects Releases Wiki Activity

remove UDPSocket/ListenSocket -> Socket extractions from Haskell

Browse Source
This commit is contained in:
Kyle Goetz 2024-05-06 00:18:01 -05:00
parent e2aa974b80
commit 9815b2fce0
2 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
parser-typechecker/src/Unison/Builtin.hs
View File

@ -822,13 +822,11 @@ ioBuiltins =
("IO.UDP.ClientSockAddr.toText.v1", udpClientSockAddr --> text), ("IO.UDP.ClientSockAddr.toText.v1", udpClientSockAddr --> text),
("IO.UDP.UDPSocket.toText.impl.v1", udpSocket --> text), ("IO.UDP.UDPSocket.toText.impl.v1", udpSocket --> text),
("IO.UDP.UDPSocket.close.impl.v1", udpSocket --> iof unit), ("IO.UDP.UDPSocket.close.impl.v1", udpSocket --> iof unit),
("IO.UDP.UDPSocket.socket.impl.v1", udpSocket --> socket),
("IO.UDP.serverSocket.impl.v1", text --> text --> iof udpListenSocket), ("IO.UDP.serverSocket.impl.v1", text --> text --> iof udpListenSocket),
("IO.UDP.ListenSocket.recvFrom.impl.v1", udpListenSocket --> iof (tuple [bytes, udpClientSockAddr])), ("IO.UDP.ListenSocket.recvFrom.impl.v1", udpListenSocket --> iof (tuple [bytes, udpClientSockAddr])),
("IO.UDP.ListenSocket.sendTo.impl.v1", udpListenSocket --> bytes --> udpClientSockAddr --> iof unit), ("IO.UDP.ListenSocket.sendTo.impl.v1", udpListenSocket --> bytes --> udpClientSockAddr --> iof unit),
("IO.UDP.ListenSocket.toText.impl.v1", udpListenSocket --> text), ("IO.UDP.ListenSocket.toText.impl.v1", udpListenSocket --> text),
("IO.UDP.ListenSocket.close.impl.v1", udpListenSocket --> iof unit), ("IO.UDP.ListenSocket.close.impl.v1", udpListenSocket --> iof unit),
("IO.UDP.ListenSocket.socket.impl.v1", udpListenSocket --> socket),
("IO.UDP.UDPSocket.recv.impl.v1", udpSocket --> iof bytes), ("IO.UDP.UDPSocket.recv.impl.v1", udpSocket --> iof bytes),
("IO.UDP.UDPSocket.send.impl.v1", udpSocket --> bytes --> iof unit), ("IO.UDP.UDPSocket.send.impl.v1", udpSocket --> bytes --> iof unit),
("IO.closeSocket.impl.v3", socket --> iof unit), ("IO.closeSocket.impl.v3", socket --> iof unit),

10
parser-typechecker/src/Unison/Runtime/Builtin.hs
View File

@ -2356,13 +2356,6 @@ declareUdpForeigns = do
$ \(sock :: UDPSocket, bytes :: Bytes.Bytes) -> $ \(sock :: UDPSocket, bytes :: Bytes.Bytes) ->
UDP.send sock (Bytes.toArray bytes) UDP.send sock (Bytes.toArray bytes)
declareForeign Tracked "IO.UDP.UDPSocket.socket.impl.v1" boxToEFBox
. mkForeignIOF
$ \(socket:: UDPSocket) -> pure $ udpSocket socket
declareForeign Tracked "IO.UDP.UDPSocket.socket.impl.v1" boxDirect
. mkForeign $ pure . udpSocket
declareForeign Tracked "IO.UDP.UDPSocket.close.impl.v1" boxToEF0 declareForeign Tracked "IO.UDP.UDPSocket.close.impl.v1" boxToEF0
. mkForeignIOF . mkForeignIOF
$ \(sock :: UDPSocket) -> UDP.close sock $ \(sock :: UDPSocket) -> UDP.close sock
@ -2400,9 +2393,6 @@ declareUdpForeigns = do
mkForeignIOF $ \(socket :: ListenSocket, bytes :: Bytes.Bytes, addr :: ClientSockAddr) -> mkForeignIOF $ \(socket :: ListenSocket, bytes :: Bytes.Bytes, addr :: ClientSockAddr) ->
UDP.sendTo socket (Bytes.toArray bytes) addr UDP.sendTo socket (Bytes.toArray bytes) addr
declareForeign Tracked "IO.UDP.ListenSocket.socket.impl.v1" boxDirect
. mkForeign $ pure . listenSocket
declareForeigns :: FDecl Symbol () declareForeigns :: FDecl Symbol ()
declareForeigns = do declareForeigns = do
declareUdpForeigns declareUdpForeigns