Skip to content

WebAssembly Core 3: implement explicit exception heap references #385

Description

@chrisbbreuer

Parent: #366
Related: #266, #142
Roadmap: #134

Core 3 explicit exception heap references are implemented without weakening the exact wg-3.0 profile.

Acceptance:

  • Add the Core 3 exception and no-exception abstract heap types and binary encodings.
  • Validate explicit exception-reference nullability/subtyping and catch-ref label results.
  • Preserve typed exception payload and reference identity through catch_ref and catch_all_ref.
  • Keep JavaScript WebAssembly.Exception behavior and GC roots exact.
  • Pass every applicable command in the exact wg-3.0 exception directory.
  • Add focused unit and bounded upstream-corpus CI evidence.

Delivered in e25cb50.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions