Skip to content

discussions Search Results · repo:WebAssembly/gc language:WebAssembly

18 results
 (137 ms)

18 results

inWebAssembly/gc (press backspace or delete to remove)

I m working on implementing RTT s and I m wondering how to approach creating an RTT for a host function, say through the embedding API func_alloc(store, functtype, hostfunction). Given that host functions ...

I m trying to get an understanding of what state recursive types should be in at the various semantic phases. By state I mean whether they contain type indices, recursive type indices, or have had these ...

At the end of the wast script for array_init_elem there s these two tests, I m unsure how the second test should pass if the first test drops the element it needs? ;; init_data/elem with dropped segments ...

I want to do something similar to the following Java code in wasm. abstract class Animal {} interface Say { void say(); } interface Swim { boolean swim(); } class Cat extends Animal implements ...
  • oovmposted
    on Dec 16, 2024
  • 7

Struct and Array Instances are allocated in the Store, the stores reference to the instances prevents these objects from being GC d until the store itself is deallocated (In my particular runtime impl). ...

According to spec, type system is nominal. At least, spec for ref.test (found in document/core/exec/instructions.rst) claims following: 8. If the :ref:`reference type syntax-reftype ` :math:`\X{rt}_2` ...

According to https://webassembly.github.io/gc/core/valid/matching.html#composite-types array types are covariant only if they are immutable (i.e. A : B = const array(A) : const array(B) , but !(A : B = ...

The GC spec introduces the notion of ref.host, ref.extern essentially becomes a wrapper around other reference runtime values. Is it expected that ref.host values are always wrapped in ref.extern, for ...

I d like to understand the following excerpt: image does valid heap type mean bot in this case? and thus the instruction type should be? (ref null bot) - (i32)

Hello, I m running into a problem when testing my runtime against the wasm test suite, specifically this test: https://github.com/WebAssembly/gc/blob/e5af64983adf256f3472de4e4e6b81e5a0063c82/test/core/gc/ref_test.wast#L276 ...