Skip to content

Commit

Permalink
Add active elemmode type refinement to changes
Browse files Browse the repository at this point in the history
  • Loading branch information
rossberg committed Dec 9, 2024
1 parent abcd6d1 commit 74d2ec8
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions document/core/appendix/changes.rst
Original file line number Diff line number Diff line change
Expand Up @@ -162,6 +162,8 @@ Added more precise types for references [#proposal-typedref]_.

* Refined typing of :ref:`local instructions <valid-instr-variable>` and :ref:`instruction sequences <valid-instr-seq>` to track the :ref:`initialization status <syntax-init>` of :ref:`locals <syntax-local>` with non-:ref:`defaultable <valid-defaultable>` type

* Refined decoding of :ref:`active <syntax-elemmode>` :ref:`element segments <binary-elem>` with implicit element type and plain function indices (opcode :math:`0`) to produce :ref:`non-nullable <syntax-nullable>` :ref:`reference type <syntax-reftype>`.

* Extended :ref:`table definitions <syntax-table>` with optional initializer expression


Expand Down

0 comments on commit 74d2ec8

Please sign in to comment.