Skip to content

Commit 7e3d910

Browse files
authored
Allow exact shorthands in the text format (#6)
Clarify that we allow e.g. `(exact anyref)` in the text format, just like we allow the exact prefix (0x62) to be combined with shorthands in the binary format.
1 parent da651a0 commit 7e3d910

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

proposals/custom-rtts/Overview.md

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -508,6 +508,9 @@ reftype :: ...
508508
| 0x62 ht:absheaptype => ref null exact ht
509509
```
510510

511+
Similarly, we allow combining `exact` with the established shorthands in the text format.
512+
For example `(exact anyref)` is a shorthand for `(ref null exact any)`.
513+
511514
### Instructions
512515

513516
The existing `ref.test`, `ref.cast`, `br_on_cast` and `br_on_cast_fail` instructions

0 commit comments

Comments
 (0)