Stream: git-wasmtime

Topic: wasmtime / Issue #1256 wasm_config_delete not exported fo...

view this post on Zulip Wasmtime GitHub notifications bot (Mar 07 2020 at 21:51):

rene-fonseca opened Issue #1256:

wasm_config_delete declared in wasm.h via WASM_DECLARE_OWN(config) is not available as exported symbol in wasmtime library. Seen for macOS.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2020 at 16:06):

yurydelendik labeled Issue #1256:

wasm_config_delete declared in wasm.h via WASM_DECLARE_OWN(config) is not available as exported symbol in wasmtime library. Seen for macOS.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2020 at 18:01):

peterhuene commented on Issue #1256:

Note: config ownership is expected to be transferred in wasm_engine_new_with_config, so wasm_config_delete should only be called in the case of creating an unused config and wanting to free it.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2020 at 18:02):

peterhuene edited a comment on Issue #1256:

Note: config ownership is expected to be transferred in wasm_engine_new_with_config, so wasm_config_delete should only be called in the case of creating an unused config and wanting to free it.

We should still implement it, of course, just that it's not the most useful of functions, generally speaking.

view this post on Zulip Wasmtime GitHub notifications bot (Mar 09 2020 at 18:44):

yurydelendik closed Issue #1256:

wasm_config_delete declared in wasm.h via WASM_DECLARE_OWN(config) is not available as exported symbol in wasmtime library. Seen for macOS.

Last updated: Nov 22 2024 at 16:03 UTC