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/passes/optimize-instructions-call_ref-roundtrip.wast | |
| 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/passes/optimize-instructions-call_ref-roundtrip.wast')
| -rw-r--r-- | test/lit/passes/optimize-instructions-call_ref-roundtrip.wast | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast b/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast index 5bbec4b64..0477abe79 100644 --- a/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast +++ b/test/lit/passes/optimize-instructions-call_ref-roundtrip.wast @@ -10,16 +10,16 @@ ;; distinct nominally. The three tables will use different ones, and the ;; emitted call_indirects should use the corresponding ones. - ;; CHECK: (type $v1 (func)) + ;; CHECK: (type $v1 (func_subtype func)) (type $v1 (func)) - ;; CHECK: (type $v2 (func)) + ;; CHECK: (type $v2 (func_subtype func)) (type $v2 (func)) - ;; CHECK: (type $v3 (func)) + ;; CHECK: (type $v3 (func_subtype func)) (type $v3 (func)) - ;; CHECK: (type $i32_=>_none (func (param i32))) + ;; CHECK: (type $i32_=>_none (func_subtype (param i32) func)) ;; CHECK: (table $table-1 10 (ref null $v1)) (table $table-1 10 (ref null $v1)) |