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/try-delegate.wasm.fromBinary | |
| 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/try-delegate.wasm.fromBinary')
| -rw-r--r-- | test/try-delegate.wasm.fromBinary | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/try-delegate.wasm.fromBinary b/test/try-delegate.wasm.fromBinary index 7992eab69..07aee5611 100644 --- a/test/try-delegate.wasm.fromBinary +++ b/test/try-delegate.wasm.fromBinary @@ -1,6 +1,6 @@ (module (type $0 (func)) - (tag $tag$0 (param)) + (tag $tag$0) (func $0 (try $label$6 (do |