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/merge/fusing.wat | |
| 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/merge/fusing.wat')
| -rw-r--r-- | test/lit/merge/fusing.wat | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lit/merge/fusing.wat b/test/lit/merge/fusing.wat index c38f84409..a1ac3a2c7 100644 --- a/test/lit/merge/fusing.wat +++ b/test/lit/merge/fusing.wat @@ -32,7 +32,7 @@ ;; CHECK: (memory $second.mem 2) - ;; CHECK: (tag $exn (param)) + ;; CHECK: (tag $exn) ;; CHECK: (export "foo" (func $first.foo)) |