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/global-effects.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/global-effects.wast')
| -rw-r--r-- | test/lit/passes/global-effects.wast | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/lit/passes/global-effects.wast b/test/lit/passes/global-effects.wast index 503b1efef..e5ea1b429 100644 --- a/test/lit/passes/global-effects.wast +++ b/test/lit/passes/global-effects.wast @@ -14,21 +14,21 @@ ;; WITHOUT: (type $2 (func (param i32))) - ;; WITHOUT: (tag $tag (param)) + ;; WITHOUT: (tag $tag) ;; INCLUDE: (type $0 (func)) ;; INCLUDE: (type $1 (func (result i32))) ;; INCLUDE: (type $2 (func (param i32))) - ;; INCLUDE: (tag $tag (param)) + ;; INCLUDE: (tag $tag) ;; DISCARD: (type $0 (func)) ;; DISCARD: (type $1 (func (result i32))) ;; DISCARD: (type $2 (func (param i32))) - ;; DISCARD: (tag $tag (param)) + ;; DISCARD: (tag $tag) (tag $tag) ;; WITHOUT: (func $main (type $0) |