diff options
| author | Thomas Lively <tlively@google.com> | 2023-04-13 08:33:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-13 08:33:40 -0700 |
| commit | 1034a6be0b411444f4a2e4fb610a655982d30e31 (patch) | |
| tree | 808a96699f52c9d1f1692f2b3d34f2bc22589798 /test/lit/binary/annotated-array-len.test | |
| parent | 42fc582162899aed64f2e1fa6a7a544fcba27a6d (diff) | |
| download | binaryen-1034a6be0b411444f4a2e4fb610a655982d30e31.tar.gz binaryen-1034a6be0b411444f4a2e4fb610a655982d30e31.tar.bz2 binaryen-1034a6be0b411444f4a2e4fb610a655982d30e31.zip | |
Convert some tests off of --nominal (#5660)
In preparation to remove the nominal type system, which is nonstandard and not
usable for modules with nontrivial external linkage requirements, port an
initial batch of tests to use the standard isorecursive type system.
The port involves reordering input types to ensure that supertypes precede their
subtypes and inserting rec groups to ensure that structurally identical types
maintain their separate identities.
More tests will be ported in future PRs before the nominal type system is
removed entirely.
Diffstat (limited to 'test/lit/binary/annotated-array-len.test')
| -rw-r--r-- | test/lit/binary/annotated-array-len.test | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/lit/binary/annotated-array-len.test b/test/lit/binary/annotated-array-len.test index 62e51fcf3..9cf6eecbe 100644 --- a/test/lit/binary/annotated-array-len.test +++ b/test/lit/binary/annotated-array-len.test @@ -3,7 +3,7 @@ ;; Test the we can properly parse the annotated array.len format that we no ;; longer emit. -;; RUN: wasm-dis %s.wasm -all --nominal | filecheck %s +;; RUN: wasm-dis %s.wasm -all | filecheck %s ;; CHECK: (type $none_=>_i32 (func (result i32))) |