diff options
Diffstat (limited to 'test/lit/nominal-chain.wast')
| -rw-r--r-- | test/lit/nominal-chain.wast | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/test/lit/nominal-chain.wast b/test/lit/nominal-chain.wast index 7b9c96d9c..2c90ee6ec 100644 --- a/test/lit/nominal-chain.wast +++ b/test/lit/nominal-chain.wast @@ -7,19 +7,19 @@ ;; types. (module - ;; CHECK: (type $leaf (struct (field i32) (field i64) (field f32) (field f64)) (extends $twig)) - (type $leaf (struct i32 i64 f32 f64) (extends $twig)) + ;; CHECK: (type $leaf (struct_subtype (field i32) (field i64) (field f32) (field f64) $twig)) + (type $leaf (struct_subtype i32 i64 f32 f64 $twig)) - ;; CHECK: (type $root (struct )) + ;; CHECK: (type $root (struct_subtype data)) - ;; CHECK: (type $twig (struct (field i32) (field i64) (field f32)) (extends $branch)) - (type $twig (struct i32 i64 f32) (extends $branch)) + ;; CHECK: (type $twig (struct_subtype (field i32) (field i64) (field f32) $branch)) + (type $twig (struct_subtype i32 i64 f32 $branch)) - ;; CHECK: (type $branch (struct (field i32) (field i64)) (extends $trunk)) - (type $branch (struct i32 i64) (extends $trunk)) + ;; CHECK: (type $branch (struct_subtype (field i32) (field i64) $trunk)) + (type $branch (struct_subtype i32 i64 $trunk)) - ;; CHECK: (type $trunk (struct (field i32)) (extends $root)) - (type $trunk (struct i32) (extends $root)) + ;; CHECK: (type $trunk (struct_subtype (field i32) $root)) + (type $trunk (struct_subtype i32 $root)) (type $root (struct)) |