diff options
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/ref_cast.wast | 10 | ||||
| -rw-r--r-- | test/spec/ref_test.wast | 16 |
2 files changed, 13 insertions, 13 deletions
diff --git a/test/spec/ref_cast.wast b/test/spec/ref_cast.wast index 1a09a68f3..e1113fac0 100644 --- a/test/spec/ref_cast.wast +++ b/test/spec/ref_cast.wast @@ -1,10 +1,10 @@ (module (type $t0 (sub (struct))) - (type $t1 (struct_subtype (field i32) $t0)) - (type $t1' (struct_subtype (field i32) $t1)) - (type $t2 (struct_subtype (field i32) (field i32) $t1)) - (type $t2' (struct_subtype (field i32) (field i32) $t2)) - (type $t3 (struct_subtype (field i32) (field i32) $t2)) + (type $t1 (sub $t0 (struct (field i32)))) + (type $t1' (sub $t1 (struct (field i32)))) + (type $t2 (sub $t1 (struct (field i32) (field i32)))) + (type $t2' (sub $t2 (struct (field i32) (field i32)))) + (type $t3 (sub $t2 (struct (field i32) (field i32)))) (global $tab.0 (mut (ref null struct)) (ref.null struct)) (global $tab.1 (mut (ref null struct)) (ref.null struct)) diff --git a/test/spec/ref_test.wast b/test/spec/ref_test.wast index f30e27b6b..13bc34878 100644 --- a/test/spec/ref_test.wast +++ b/test/spec/ref_test.wast @@ -180,14 +180,14 @@ ;; Concrete Types (module - (type $t0 (struct_subtype data)) - (type $t1 (struct_subtype i32 $t0)) - (type $t1' (struct_subtype i32 $t0)) - (type $t2 (struct_subtype i32 i32 $t1)) - (type $t2' (struct_subtype i32 i32 $t1')) - (type $t3 (struct_subtype i32 i32 $t0)) - (type $t0' (struct_subtype $t0)) - (type $t4 (struct_subtype i32 i32 $t0')) + (type $t0 (sub (struct))) + (type $t1 (sub $t0 (struct i32))) + (type $t1' (sub $t0 (struct i32))) + (type $t2 (sub $t1 (struct i32 i32))) + (type $t2' (sub $t1' (struct i32 i32))) + (type $t3 (sub $t0 (struct i32 i32))) + (type $t0' (sub $t0 (struct))) + (type $t4 (sub $t0' (struct i32 i32))) (table $tab 20 (ref null struct)) |