diff options
Diffstat (limited to 'test/lit/validation')
| -rw-r--r-- | test/lit/validation/bad-non-nullable-locals.wast | 2 | ||||
| -rw-r--r-- | test/lit/validation/nn-locals-bad-call_ref.wast | 2 | ||||
| -rw-r--r-- | test/lit/validation/nn-tuples.wast | 4 |
3 files changed, 4 insertions, 4 deletions
diff --git a/test/lit/validation/bad-non-nullable-locals.wast b/test/lit/validation/bad-non-nullable-locals.wast index 558759aeb..a7c8edf81 100644 --- a/test/lit/validation/bad-non-nullable-locals.wast +++ b/test/lit/validation/bad-non-nullable-locals.wast @@ -68,7 +68,7 @@ (func $tuple ;; Since this tuple local has a non-nullable element, it is subject to the ;; non-nullability rules. - (local $x (i32 (ref any) i64)) + (local $x (tuple i32 (ref any) i64)) (tuple.drop 3 (local.get $x) ) diff --git a/test/lit/validation/nn-locals-bad-call_ref.wast b/test/lit/validation/nn-locals-bad-call_ref.wast index cd6aaa378..e37df4bb1 100644 --- a/test/lit/validation/nn-locals-bad-call_ref.wast +++ b/test/lit/validation/nn-locals-bad-call_ref.wast @@ -17,7 +17,7 @@ ) (catch $tag (drop - (pop (i32)) + (pop i32) ) ;; The path to here is from a possible exception thrown in the call_ref. ;; This is a regression test for call_ref not being seen as possibly diff --git a/test/lit/validation/nn-tuples.wast b/test/lit/validation/nn-tuples.wast index c84dd9aab..a673ec900 100644 --- a/test/lit/validation/nn-tuples.wast +++ b/test/lit/validation/nn-tuples.wast @@ -7,10 +7,10 @@ (module ;; CHECK: (func $foo (type $0) - ;; CHECK-NEXT: (local $tuple ((ref any) (ref any))) + ;; CHECK-NEXT: (local $tuple (tuple (ref any) (ref any))) ;; CHECK-NEXT: (nop) ;; CHECK-NEXT: ) (func $foo - (local $tuple ((ref any) (ref any))) + (local $tuple (tuple (ref any) (ref any))) ) ) |