Stream: git-wasmtime

Topic: wasmtime / PR #8244 fix(wasi): export `FileInputStream`

Wasmtime GitHub notifications bot (Mar 26 2024 at 17:50):

rvolosatovs requested alexcrichton for a review on PR #8244.

Wasmtime GitHub notifications bot (Mar 26 2024 at 17:50):

rvolosatovs requested wasmtime-core-reviewers for a review on PR #8244.

Wasmtime GitHub notifications bot (Mar 26 2024 at 17:50):

rvolosatovs opened PR #8244 from rvolosatovs:fix/export-file-input-stream to bytecodealliance:main:

Currently, HostInputStream is a public enum, meaning that embedders can e.g. delete them from the table, match the cases and call methods on FileInputStream stored in HostInputStream::File, however embedders cannot name the FileInputStream type, since it's contained in a private filesystem module and not re-exported. Re-export to remove the need for embedders to always match on the HostInputStream rather than just using the FileInputStream directly

Wasmtime GitHub notifications bot (Mar 26 2024 at 17:59):

alexcrichton submitted PR review.

Wasmtime GitHub notifications bot (Mar 26 2024 at 18:00):

alexcrichton has enabled auto merge for PR #8244.

Wasmtime GitHub notifications bot (Mar 26 2024 at 18:34):

alexcrichton merged PR #8244.

Last updated: Dec 23 2024 at 12:05 UTC