Merge pull request #721 from wado-lang/claude/update-wasmtime-5iyBC

Update wasmtime from v42 to v43

Author: gfx

Cargo.lock

@@ -23,9 +23,9 @@ wasmparser = { version = "0.245" }
 wasmprinter = { version = "0.245" }
 walrus = { version = "0.26" }
 wit-parser = { version = "0.245" }
-wasmtime = { version = "42", features = ["async", "component-model", "component-model-async"] }
-wasmtime-wasi = { version = "42", features = ["p3"] }
-wasmtime-wasi-http = { version = "42", features = ["p3"] }
+wasmtime = { version = "43", features = ["async", "component-model", "component-model-async"] }
+wasmtime-wasi = { version = "43", features = ["p3"] }
+wasmtime-wasi-http = { version = "43", features = ["p3"] }
 bytes = { version = "1" }
 futures = { version = "0.3" }
 http = { version = "1" }

Cargo.toml

@@ -46,13 +46,13 @@ pub effect Stdin {
 
 ```wado
 pub effect Stdout {
-    async fn write_via_stream(data: Stream<u8>) -> Result<(), ErrorCode>;
+    fn write_via_stream(data: Stream<u8>) -> Future<Result<(), ErrorCode>>;
 }
 ```
 
 ```wado
 pub effect Stderr {
-    async fn write_via_stream(data: Stream<u8>) -> Result<(), ErrorCode>;
+    fn write_via_stream(data: Stream<u8>) -> Future<Result<(), ErrorCode>>;
 }
 ```
 
@@ -123,60 +123,6 @@ pub flags OpenFlags {
 
 ### Enums
 
-```wado
-pub enum DescriptorType {
-    Unknown,
-    BlockDevice,
-    CharacterDevice,
-    Directory,
-    Fifo,
-    SymbolicLink,
-    RegularFile,
-    Socket,
-}
-```
-
-```wado
-pub enum ErrorCode {
-    Access,
-    Already,
-    BadDescriptor,
-    Busy,
-    Deadlock,
-    Quota,
-    Exist,
-    FileTooLarge,
-    IllegalByteSequence,
-    InProgress,
-    Interrupted,
-    Invalid,
-    Io,
-    IsDirectory,
-    Loop,
-    TooManyLinks,
-    MessageSize,
-    NameTooLong,
-    NoDevice,
-    NoEntry,
-    NoLock,
-    InsufficientMemory,
-    InsufficientSpace,
-    NotDirectory,
-    NotEmpty,
-    NotRecoverable,
-    Unsupported,
-    NoTty,
-    NoSuchDevice,
-    Overflow,
-    NotPermitted,
-    Pipe,
-    ReadOnly,
-    InvalidSeek,
-    TextFileBusy,
-    CrossDevice,
-}
-```
-
 ```wado
 pub enum Advice {
     Normal,
@@ -201,15 +147,15 @@ pub effect Preopens {
 ```wado
 pub resource Descriptor {
     fn read_via_stream(self: &Descriptor, offset: Filesize) -> [Stream<u8>, Future<Result<(), ErrorCode>>];
-    async fn write_via_stream(self: &Descriptor, data: Stream<u8>, offset: Filesize) -> Result<(), ErrorCode>;
-    async fn append_via_stream(self: &Descriptor, data: Stream<u8>) -> Result<(), ErrorCode>;
+    fn write_via_stream(self: &Descriptor, data: Stream<u8>, offset: Filesize) -> Future<Result<(), ErrorCode>>;
+    fn append_via_stream(self: &Descriptor, data: Stream<u8>) -> Future<Result<(), ErrorCode>>;
     async fn advise(self: &Descriptor, offset: Filesize, length: Filesize, advice: Advice) -> Result<(), ErrorCode>;
     async fn sync_data(self: &Descriptor) -> Result<(), ErrorCode>;
     async fn get_flags(self: &Descriptor) -> Result<DescriptorFlags, ErrorCode>;
     async fn get_type(self: &Descriptor) -> Result<DescriptorType, ErrorCode>;
     async fn set_size(self: &Descriptor, size: Filesize) -> Result<(), ErrorCode>;
     async fn set_times(self: &Descriptor, data_access_timestamp: NewTimestamp, data_modification_timestamp: NewTimestamp) -> Result<(), ErrorCode>;
-    async fn read_directory(self: &Descriptor) -> [Stream<DirectoryEntry>, Future<Result<(), ErrorCode>>];
+    fn read_directory(self: &Descriptor) -> [Stream<DirectoryEntry>, Future<Result<(), ErrorCode>>];
     async fn sync(self: &Descriptor) -> Result<(), ErrorCode>;
     async fn create_directory_at(self: &Descriptor, path: String) -> Result<(), ErrorCode>;
     async fn stat(self: &Descriptor) -> Result<DescriptorStat, ErrorCode>;
@@ -257,6 +203,19 @@ pub struct MetadataHashValue {
 
 ### Variants
 
+```wado
+pub variant DescriptorType {
+    BlockDevice,
+    CharacterDevice,
+    Directory,
+    Fifo,
+    SymbolicLink,
+    RegularFile,
+    Socket,
+    Other(Option<String>),
+}
+```
+
 ```wado
 pub variant NewTimestamp {
     NoChange,
@@ -265,6 +224,48 @@ pub variant NewTimestamp {
 }
 ```
 
+```wado
+pub variant ErrorCode {
+    Access,
+    Already,
+    BadDescriptor,
+    Busy,
+    Deadlock,
+    Quota,
+    Exist,
+    FileTooLarge,
+    IllegalByteSequence,
+    InProgress,
+    Interrupted,
+    Invalid,
+    Io,
+    IsDirectory,
+    Loop,
+    TooManyLinks,
+    MessageSize,
+    NameTooLong,
+    NoDevice,
+    NoEntry,
+    NoLock,
+    InsufficientMemory,
+    InsufficientSpace,
+    NotDirectory,
+    NotEmpty,
+    NotRecoverable,
+    Unsupported,
+    NoTty,
+    NoSuchDevice,
+    Overflow,
+    NotPermitted,
+    Pipe,
+    ReadOnly,
+    InvalidSeek,
+    TextFileBusy,
+    CrossDevice,
+    Other(Option<String>),
+}
+```
+
 ## wasi:http
 
 ### Types
@@ -445,13 +446,16 @@ pub variant HeaderError {
     InvalidSyntax,
     Forbidden,
     Immutable,
+    SizeExceeded,
+    Other(Option<String>),
 }
 ```
 
 ```wado
 pub variant RequestOptionsError {
     NotSupported,
     Immutable,
+    Other(Option<String>),
 }
 ```
 
@@ -511,14 +515,14 @@ pub effect InsecureSeed {
 
 ```wado
 pub effect Insecure {
-    fn get_insecure_random_bytes(len: u64) -> Array<u8>;
+    fn get_insecure_random_bytes(max_len: u64) -> Array<u8>;
     fn get_insecure_random_u64() -> u64;
 }
 ```
 
 ```wado
 pub effect Random {
-    fn get_random_bytes(len: u64) -> Array<u8>;
+    fn get_random_bytes(max_len: u64) -> Array<u8>;
     fn get_random_u64() -> u64;
 }
 ```
@@ -534,43 +538,13 @@ pub type Ipv6Address = [u16, u16, u16, u16, u16, u16, u16, u16];
 
 ### Enums
 
-```wado
-pub enum ErrorCode {
-    Unknown,
-    AccessDenied,
-    NotSupported,
-    InvalidArgument,
-    OutOfMemory,
-    Timeout,
-    InvalidState,
-    AddressNotBindable,
-    AddressInUse,
-    RemoteUnreachable,
-    ConnectionRefused,
-    ConnectionReset,
-    ConnectionAborted,
-    DatagramTooLarge,
-}
-```
-
 ```wado
 pub enum IpAddressFamily {
     Ipv4,
     Ipv6,
 }
 ```
 
-```wado
-pub enum ErrorCode {
-    Unknown,
-    AccessDenied,
-    InvalidArgument,
-    NameUnresolvable,
-    TemporaryResolverFailure,
-    PermanentResolverFailure,
-}
-```
-
 ### Effects
 
 ```wado
@@ -587,7 +561,7 @@ pub resource TcpSocket {
     fn bind(self: &TcpSocket, local_address: IpSocketAddress) -> Result<(), ErrorCode>;
     async fn connect(self: &TcpSocket, remote_address: IpSocketAddress) -> Result<(), ErrorCode>;
     fn listen(self: &TcpSocket) -> Result<Stream<TcpSocket>, ErrorCode>;
-    async fn send(self: &TcpSocket, data: Stream<u8>) -> Result<(), ErrorCode>;
+    fn send(self: &TcpSocket, data: Stream<u8>) -> Future<Result<(), ErrorCode>>;
     fn receive(self: &TcpSocket) -> [Stream<u8>, Future<Result<(), ErrorCode>>];
     fn get_local_address(self: &TcpSocket) -> Result<IpSocketAddress, ErrorCode>;
     fn get_remote_address(self: &TcpSocket) -> Result<IpSocketAddress, ErrorCode>;
@@ -651,6 +625,26 @@ pub struct Ipv6SocketAddress {
 
 ### Variants
 
+```wado
+pub variant ErrorCode {
+    AccessDenied,
+    NotSupported,
+    InvalidArgument,
+    OutOfMemory,
+    Timeout,
+    InvalidState,
+    AddressNotBindable,
+    AddressInUse,
+    RemoteUnreachable,
+    ConnectionRefused,
+    ConnectionBroken,
+    ConnectionReset,
+    ConnectionAborted,
+    DatagramTooLarge,
+    Other(Option<String>),
+}
+```
+
 ```wado
 pub variant IpAddress {
     Ipv4(Ipv4Address),
@@ -664,3 +658,14 @@ pub variant IpSocketAddress {
     Ipv6(Ipv6SocketAddress),
 }
 ```
+
+```wado
+pub variant ErrorCode {
+    AccessDenied,
+    InvalidArgument,
+    NameUnresolvable,
+    TemporaryResolverFailure,
+    PermanentResolverFailure,
+    Other(Option<String>),
+}
+```

docs/cheatsheet-stdlib-wasi.md

@@ -3266,10 +3266,6 @@ CLI helpers: `println`, `eprintln`, `args`, `env`, `exit`, etc.
 #### `pub fn write_to_stream(tx: StreamWritable<u8>, message: String, add_newline: bool)`
 
 Writes a string to a StreamWritable<u8> with an optional newline, then drops it.
-Called AFTER the consumer (write_via_stream) has been started.
-
-Uses write_raw to pass String's internal GC array directly to the stream,
-avoiding the intermediate String → Array<u8> byte-by-byte copy.
 
 #### `pub fn println(message: String) with Stdout`
 
@@ -3318,14 +3314,12 @@ Exits with a specific status code.
 #### `pub fn log_stdout(message: String)`
 
 Logs a message with newline to stdout (ambient, no effect required).
-Waits for completion.
 Uses builtin::call_indirect__ to bypass the effect system — this is
 intentional for logging/debugging which must work without effects.
 
 #### `pub fn log_stderr(message: String)`
 
 Logs a message with newline to stderr (ambient, no effect required).
-Waits for completion.
 Uses builtin::call_indirect__ to bypass the effect system — this is
 intentional for logging/debugging which must work without effects.