diff options
Diffstat (limited to 'test/lit/nominal-to-isorecursive.wast')
-rw-r--r-- | test/lit/nominal-to-isorecursive.wast | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/test/lit/nominal-to-isorecursive.wast b/test/lit/nominal-to-isorecursive.wast deleted file mode 100644 index 783191eb5..000000000 --- a/test/lit/nominal-to-isorecursive.wast +++ /dev/null @@ -1,35 +0,0 @@ -;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. - -;; RUN: wasm-as %s -all --nominal -g -o %t.wasm -;; RUN: wasm-dis %t.wasm -all --hybrid -o - | filecheck %s - -;; Check that the nominal binary format is parseable as isorecursive with a -;; single recursion group. - -(module - ;; CHECK: (rec - ;; CHECK-NEXT: (type $make-super-t (func (result (ref $super)))) - - ;; CHECK: (type $make-sub-t (func (result (ref $sub)))) - - ;; CHECK: (type $super (struct (field i32))) - (type $super (struct i32)) - ;; CHECK: (type $sub (struct_subtype (field i32) $super)) - (type $sub (struct_subtype i32 $super)) - (type $make-super-t (func (result (ref $super)))) - (type $make-sub-t (func (result (ref $sub)))) - - ;; CHECK: (func $make-super (type $make-super-t) (result (ref $super)) - ;; CHECK-NEXT: (unreachable) - ;; CHECK-NEXT: ) - (func $make-super (type $make-super-t) - (unreachable) - ) - - ;; CHECK: (func $make-sub (type $make-sub-t) (result (ref $sub)) - ;; CHECK-NEXT: (unreachable) - ;; CHECK-NEXT: ) - (func $make-sub (type $make-sub-t) - (unreachable) - ) -) |