diff options
| author | Thomas Lively <tlively@google.com> | 2023-12-12 11:25:53 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-12 11:25:53 -0800 |
| commit | a2a59e96f8f18e00e8aea9627d3b15d894d5a825 (patch) | |
| tree | 6692c7556659ddb2a72178ed931445eb112c60f2 /test/lit/passes/local-subtyping.wast | |
| parent | 71dad8795112b5c9ed1442450fa7e7bbe33622d1 (diff) | |
| download | binaryen-a2a59e96f8f18e00e8aea9627d3b15d894d5a825.tar.gz binaryen-a2a59e96f8f18e00e8aea9627d3b15d894d5a825.tar.bz2 binaryen-a2a59e96f8f18e00e8aea9627d3b15d894d5a825.zip | |
Update `tuple.make` text format to include arity (#6169)
Previously, the number of tuple elements was inferred from the number of
s-expression children of the `tuple.make` expression, but that scheme would not
work in the new wat parser, where s-expressions are optional and cannot be
semantically meaningful.
Update the text format to take the number of tuple elements (i.e. the tuple
arity) as an immediate. This new format will be able to be implemented in the
new parser as follow-on work.
Diffstat (limited to 'test/lit/passes/local-subtyping.wast')
| -rw-r--r-- | test/lit/passes/local-subtyping.wast | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/lit/passes/local-subtyping.wast b/test/lit/passes/local-subtyping.wast index 38571e703..17ad5dc13 100644 --- a/test/lit/passes/local-subtyping.wast +++ b/test/lit/passes/local-subtyping.wast @@ -302,7 +302,7 @@ ;; CHECK: (func $nondefaultable (type $0) ;; CHECK-NEXT: (local $x (funcref funcref)) ;; CHECK-NEXT: (local.set $x - ;; CHECK-NEXT: (tuple.make + ;; CHECK-NEXT: (tuple.make 2 ;; CHECK-NEXT: (ref.func $i32) ;; CHECK-NEXT: (ref.func $i32) ;; CHECK-NEXT: ) @@ -313,7 +313,7 @@ ;; This tuple is assigned non-nullable values, which means the subtype is ;; nondefaultable, and we must not apply it. (local.set $x - (tuple.make + (tuple.make 2 (ref.func $i32) (ref.func $i32) ) |