Dave Bakker

Results 147 comments of Dave Bakker

I think it might be practical to separate the general case (arbitrary consuming methods) from the special destructor case. Precisely because of what you said; many languages have built-in mechanisms...

> if we're not wanting to allow the signature to vary (as I was considering above), there's no point in requiring the destructor to be written in Wit _Almost_. The...

FYI, just came across some examples in wasi-http that could benefit from this: ```wit resource response-outparam { set: static func(param: response-outparam, response: result); } resource incoming-body { finish: static func(this:...

I'm not too familiar with the ABI, but can a large fixed-size List blow the stack? If so, it might be an idea to fall back to heap allocation after...

A resource's `(rep ..)` is currently limited to just `i32`s. Example from OP: ``` (type $file (resource (rep i32))) ``` Should this be updated to include GC types as well?...

My suggestion is to keep track of the configured timeout values in wasi-libc and update the `sendto` & `recvfrom` implementations to take them into account where they're [currently calling](https://github.com/WebAssembly/wasi-libc/blob/7d4d3b83fc66c79b3faa5989e67ed2d1042dacaf/libc-bottom-half/sources/recv.c#L66) `poll_method_pollable_block`

I don't understand what you're proposing. Do you mind elaborating? Keep in mind the goal of this proposal: > Toolchains must be able to provide a POSIX compatible interface on...

> it's unfortunate that no effort has been made to push towards ipv6 migration in these specifications. Is there something new you want to put forward that hasn't already been...

_Replacing_ a global singleton could result in unexpected runtime behavior. Suppose two independent libraries (e.g. `wasi-libc` and some hypothetical `tokio-wasip3`) are both compiled into a single component and _both_ want...

> If I understand this correctly, this would add an effective requirement for consumers of APIs that have output-stream inputs to call close before dropping their handles, or risk being...