diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2021-10-14 14:11:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-14 21:11:59 +0000 |
| commit | bf665976b1526ca7cf11bacf5745563dfe193206 (patch) | |
| tree | a6bb2cf0fa5d1972fe55f872418665778e00dde5 /test/lit/binary | |
| parent | d592bad2b8fa777dab9682d2d2e47f9957c8051d (diff) | |
| download | binaryen-bf665976b1526ca7cf11bacf5745563dfe193206.tar.gz binaryen-bf665976b1526ca7cf11bacf5745563dfe193206.tar.bz2 binaryen-bf665976b1526ca7cf11bacf5745563dfe193206.zip | |
Switch from "extends" to M4 nominal syntax (#4248)
Switch from "extends" to M4 nominal syntax
Change all test inputs from using the old (extends $super) syntax to using the
new *_subtype syntax for their inputs and also update the printer to emit the
new syntax. Add a new test explicitly testing the old notation to make sure it
keeps working until we remove support for it.
Diffstat (limited to 'test/lit/binary')
| -rw-r--r-- | test/lit/binary/heap-types.wast | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/lit/binary/heap-types.wast b/test/lit/binary/heap-types.wast index f455d7376..98ece30bf 100644 --- a/test/lit/binary/heap-types.wast +++ b/test/lit/binary/heap-types.wast @@ -10,9 +10,9 @@ (module ;; CHECK: (type $struct.A (struct (field i32))) - ;; NOMNL: (type $struct.A (struct (field i32))) + ;; NOMNL: (type $struct.A (struct_subtype (field i32) data)) (type $struct.A (struct i32)) - ;; NOMNL: (type $struct.B (struct (field i32))) + ;; NOMNL: (type $struct.B (struct_subtype (field i32) data)) (type $struct.B (struct i32)) ;; CHECK: (func $test ;; CHECK-NEXT: (drop @@ -37,9 +37,9 @@ (module ;; CHECK: (type $struct.A (struct (field i32))) - ;; NOMNL: (type $struct.A (struct (field i32))) + ;; NOMNL: (type $struct.A (struct_subtype (field i32) data)) (type $struct.A (struct i32)) - ;; NOMNL: (type $struct.B (struct (field i32))) + ;; NOMNL: (type $struct.B (struct_subtype (field i32) data)) (type $struct.B (struct i32)) ;; CHECK: (func $test ;; CHECK-NEXT: (drop @@ -64,7 +64,7 @@ (module ;; CHECK: (type $struct.A (struct (field i32))) - ;; NOMNL: (type $struct.A (struct (field i32))) + ;; NOMNL: (type $struct.A (struct_subtype (field i32) data)) (type $struct.A (struct i32)) ;; CHECK: (func $test ;; CHECK-NEXT: (drop @@ -85,7 +85,7 @@ (module ;; CHECK: (type $vector (array (mut f64))) - ;; NOMNL: (type $vector (array (mut f64))) + ;; NOMNL: (type $vector (array_subtype (mut f64) data)) (type $vector (array (mut f64))) ;; CHECK: (func $test ;; CHECK-NEXT: (drop @@ -115,7 +115,7 @@ (module ;; CHECK: (type $vector (array (mut f64))) - ;; NOMNL: (type $vector (array (mut f64))) + ;; NOMNL: (type $vector (array_subtype (mut f64) data)) (type $vector (array (mut f64))) ;; CHECK: (func $test ;; CHECK-NEXT: (drop |