Stream: git-wasmtime

Topic: wasmtime / issue #273 Why is there no path_filestat_set_s...

view this post on Zulip Wasmtime GitHub notifications bot (Jun 22 2024 at 19:28):

bjorn3 commented on issue #273:

Is there value in keeping this open? https://github.com/WebAssembly/WASI/pull/180 has been merged.

view this post on Zulip Wasmtime GitHub notifications bot (Jun 23 2024 at 02:06):

alexcrichton closed issue #273:

To quote the spec:

__WASI_RIGHT_PATH_FILESTAT_SET_SIZE

The right to change a file's size (there is no __wasi_path_filestat_set_size()).

If __WASI_RIGHT_PATH_OPEN is set, includes the right to invoke __wasi_path_open() with __WASI_O_TRUNC.

Is there any reason why path_filestat_set_size is not present in the WASI API, when there's a corresponding right defined and both path_filestat_get and path_filestat_set_times are present? Currently the right is only used in path_open.

Last updated: Dec 23 2024 at 13:07 UTC