diff options
| author | Frank Emrich <git@emrich.io> | 2023-10-05 18:25:59 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-10-05 10:25:59 -0700 |
| commit | 67804305e680ffcf6b3bbcb4b56a1c31c284c3d0 (patch) | |
| tree | 463b61e61ecc7c0e914d6822cea4a079af9fd1db /test/lit/passes/gufa-refs.wast | |
| parent | 5597ad587857f5f20b23fbd45a94abd98deaf25c (diff) | |
| download | binaryen-67804305e680ffcf6b3bbcb4b56a1c31c284c3d0.tar.gz binaryen-67804305e680ffcf6b3bbcb4b56a1c31c284c3d0.tar.bz2 binaryen-67804305e680ffcf6b3bbcb4b56a1c31c284c3d0.zip | |
[typed-cont] Allow result types on tags (#5997)
This PR is part of a series that adds basic support for the typed continuations proposal.
This PR relaxes the restriction that tags must not have results , only params. Tags with
results must not be used for exception handling and are only allowed if the typed
continuations feature is enabled.
As a minor point, this PR also changes the printing of tags without params: To make the
presentation consistent, (param) is omitted when printing a tag.
Diffstat (limited to 'test/lit/passes/gufa-refs.wast')
| -rw-r--r-- | test/lit/passes/gufa-refs.wast | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lit/passes/gufa-refs.wast b/test/lit/passes/gufa-refs.wast index fa4afd6e0..3e7530926 100644 --- a/test/lit/passes/gufa-refs.wast +++ b/test/lit/passes/gufa-refs.wast @@ -1903,7 +1903,7 @@ ;; CHECK: (tag $something (param anyref)) (tag $something (param (ref null any))) - ;; CHECK: (tag $empty (param)) + ;; CHECK: (tag $empty) (tag $empty (param)) ;; CHECK: (func $func (type $0) |