diff options
Diffstat (limited to 'test/lit/tail-call.wast')
| -rw-r--r-- | test/lit/tail-call.wast | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/test/lit/tail-call.wast b/test/lit/tail-call.wast index f65ecf165..c5e863ff9 100644 --- a/test/lit/tail-call.wast +++ b/test/lit/tail-call.wast @@ -8,7 +8,7 @@ (module ;; CHECK: (type $void (func)) - ;; NOMNL: (type $void (func)) + ;; NOMNL: (type $void (func_subtype func)) (type $void (func)) ;; CHECK: (table $t 1 1 funcref) @@ -47,20 +47,20 @@ ;; Check GC types and subtyping (module ;; CHECK: (type $return-B (func (result (ref $B)))) - ;; NOMNL: (type $return-B (func (result (ref $B)))) + ;; NOMNL: (type $return-B (func_subtype (result (ref $B)) func)) (type $return-B (func (result (ref $B)))) ;; CHECK: (type $return-A (func (result (ref null $A)))) - ;; NOMNL: (type $return-A (func (result (ref null $A)))) + ;; NOMNL: (type $return-A (func_subtype (result (ref null $A)) func)) (type $return-A (func (result (ref null $A)))) ;; CHECK: (type $A (struct (field i32))) - ;; NOMNL: (type $A (struct (field i32))) + ;; NOMNL: (type $A (struct_subtype (field i32) data)) (type $A (struct i32)) ;; CHECK: (type $B (struct (field i32) (field i32))) - ;; NOMNL: (type $B (struct (field i32) (field i32)) (extends $A)) - (type $B (struct i32 i32) (extends $A)) + ;; NOMNL: (type $B (struct_subtype (field i32) (field i32) $A)) + (type $B (struct_subtype i32 i32 $A)) ;; CHECK: (table $t 1 1 funcref) ;; NOMNL: (table $t 1 1 funcref) |