Wasmtime GitHub notifications bot (Mar 10 2020 at 18:04): Wasmtime GitHub notifications bot (Mar 10 2020 at 18:04):alexcrichton opened Issue #1271:
There's been a small amount of discussion on Zulip about what to do about interface types. I'd like to move that discussion here and formally propose that we take @tschneidereit's idea and do the following:
- Remove all support in
wasmtimefor interface types- Parse known interface types section names and warn/error that support is not available at this time
- Link to https://github.com/bytecodealliance/wasmtime/issues/677 for discussion about progress towards implementing interface types in wasmtime
Wasmtime GitHub notifications bot (Mar 10 2020 at 18:06):alexcrichton labeled Issue #1271:
There's been a small amount of discussion on Zulip about what to do about interface types. I'd like to move that discussion here and formally propose that we take @tschneidereit's idea and do the following:
- Remove all support in
wasmtimefor interface types- Parse known interface types section names and warn/error that support is not available at this time
- Link to https://github.com/bytecodealliance/wasmtime/issues/677 for discussion about progress towards implementing interface types in wasmtime
Wasmtime GitHub notifications bot (Mar 12 2020 at 20:05):alexcrichton closed Issue #1271:
There's been a small amount of discussion on Zulip about what to do about interface types. I'd like to move that discussion here and formally propose that we take @tschneidereit's idea and do the following:
- Remove all support in
wasmtimefor interface types- Parse known interface types section names and warn/error that support is not available at this time
- Link to https://github.com/bytecodealliance/wasmtime/issues/677 for discussion about progress towards implementing interface types in wasmtime
Last updated: Dec 23 2024 at 12:05 UTC