diff options
| author | Andy Wingo <wingo@pobox.com> | 2023-04-03 16:59:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-03 08:59:15 -0700 |
| commit | 382671ba0f673dd5da6bcaf6756fc43a518a41f6 (patch) | |
| tree | 9035b2d9681803c6530bbd67286ff1631e51bf02 /test | |
| parent | 47056c9a00e368969a503209b6b9f5c0bc287058 (diff) | |
| download | binaryen-382671ba0f673dd5da6bcaf6756fc43a518a41f6.tar.gz binaryen-382671ba0f673dd5da6bcaf6756fc43a518a41f6.tar.bz2 binaryen-382671ba0f673dd5da6bcaf6756fc43a518a41f6.zip | |
[Wasm GC] Parse (sub $super _) for array, func, and struct (#5515)
The pretty-printer will still serialize these using the old
func_subtype, array_subtype, and struct_subtype syntax, though.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/isorecursive-good.wast | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/lit/isorecursive-good.wast b/test/lit/isorecursive-good.wast index c7c9569eb..0f5cbddf0 100644 --- a/test/lit/isorecursive-good.wast +++ b/test/lit/isorecursive-good.wast @@ -16,7 +16,7 @@ (type $super-struct (struct i32)) ;; HYBRID: (type $sub-struct (struct_subtype (field i32) (field i64) $super-struct)) ;; NOMINAL: (type $sub-struct (struct_subtype (field i32) (field i64) $super-struct)) - (type $sub-struct (struct_subtype i32 i64 $super-struct)) + (type $sub-struct (sub $super-struct (struct i32 i64))) ) (rec @@ -24,7 +24,7 @@ ;; HYBRID-NEXT: (type $super-array (array (ref $super-struct))) (type $super-array (array (ref $super-struct))) ;; HYBRID: (type $sub-array (array_subtype (ref $sub-struct) $super-array)) - (type $sub-array (array_subtype (ref $sub-struct) $super-array)) + (type $sub-array (sub $super-array (array (ref $sub-struct)))) ) (rec @@ -34,7 +34,7 @@ (type $super-func (func (param (ref $sub-array)) (result (ref $super-array)))) ;; HYBRID: (type $sub-func (func_subtype (param (ref $super-array)) (result (ref $sub-array)) $super-func)) ;; NOMINAL: (type $sub-func (func_subtype (param (ref $super-array)) (result (ref $sub-array)) $super-func)) - (type $sub-func (func_subtype (param (ref $super-array)) (result (ref $sub-array)) $super-func)) + (type $sub-func (sub $super-func (func (param (ref $super-array)) (result (ref $sub-array))))) ) ;; HYBRID: (func $make-super-struct (type $none_=>_ref|$super-struct|) (result (ref $super-struct)) |