Skip to content
This repository was archived by the owner on Nov 25, 2025. It is now read-only.
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions wit-0.3.0-draft/deps.lock
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,6 @@ sha512 = "b99280fd60699f781f20209659e94c0058ce6b9e973ddbd0b8865d752f88c74633485d
[sockets]
url = "https://github.com/WebAssembly/wasi-sockets/archive/main.tar.gz"
subdir = "wit-0.3.0-draft"
sha256 = "48fa617cdf64b66adc7136e4f0c14886061e6d5134072bf8e1698b84e2579669"
sha512 = "786b8a03c14d3f529500275762a37c497ea1e6479e71028e8173aa07594beb77226904d77970a7c356ff3f59aa4a5c10f2e68537cc96b9916ff03a317b05a229"
sha256 = "a439ac477ff57f24331eb40989d50455b04cde0a12f235e88a5477614ea90264"
sha512 = "cf779c887fa401695215122621d7715aa5716f09dc94087887c93964fd454a146bc3b20c834e4a8e997ccb190910699a1a880e6caaaec25c32d941f9c26ba37f"
deps = ["clocks"]
3 changes: 1 addition & 2 deletions wit-0.3.0-draft/deps/sockets/types.wit
Original file line number Diff line number Diff line change
Expand Up @@ -328,7 +328,7 @@ interface types {
/// were closed abnormally.
///
/// If the caller is not expecting to receive any data from the peer,
/// they may cancel the receive task. Any data still in the receive queue
/// they may drop the stream. Any data still in the receive queue
/// will be discarded. This is equivalent to calling `shutdown(SHUT_RD)`
/// in POSIX.
///
Expand Down Expand Up @@ -610,7 +610,6 @@ interface types {
/// - `invalid-argument`: The port in `remote-address` is set to 0. (EDESTADDRREQ, EADDRNOTAVAIL)
/// - `invalid-argument`: The socket is in "connected" mode and `remote-address` is `some` value that does not match the address passed to `connect`. (EISCONN)
/// - `invalid-argument`: The socket is not "connected" and no value for `remote-address` was provided. (EDESTADDRREQ)
/// - `invalid-state`: The socket has not been bound yet.
/// - `remote-unreachable`: The remote address is not reachable. (ECONNRESET, ENETRESET on Windows, EHOSTUNREACH, EHOSTDOWN, ENETUNREACH, ENETDOWN, ENONET)
/// - `connection-refused`: The connection was refused. (ECONNREFUSED)
/// - `datagram-too-large`: The datagram is too large. (EMSGSIZE)
Expand Down