Update the text syntax for tuple types (#6246)

Instead of e.g. `(i32 i32)`, use `(tuple i32 i32)`. Having a keyword to
introduce the s-expression is more consistent with the rest of the language.

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)))
   )
 )