diff options
| author | Thomas Lively <tlively@google.com> | 2023-07-06 12:27:06 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-06 09:27:06 -0700 |
| commit | 58db9e41a9b14d1efefdb96547954cbbf9633a74 (patch) | |
| tree | 81be7bb610d43a40597c275f872ad2b84c488ccf /test/lit/isorecursive-good.wast | |
| parent | f806751623cb7341f8f151d392c52e090579dfbf (diff) | |
| download | binaryen-58db9e41a9b14d1efefdb96547954cbbf9633a74.tar.gz binaryen-58db9e41a9b14d1efefdb96547954cbbf9633a74.tar.bz2 binaryen-58db9e41a9b14d1efefdb96547954cbbf9633a74.zip | |
Print supertype declarations using the standard format (#5801)
Use the standard "(sub $super ...)" format instead of the non-standard
"XXX_supertype ... $super" format. In a follow-on PR implementing final types,
this will allow us to print and parse the standard text format for final types
right away with a smaller diff.
Diffstat (limited to 'test/lit/isorecursive-good.wast')
| -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 04880101f..ba4244368 100644 --- a/test/lit/isorecursive-good.wast +++ b/test/lit/isorecursive-good.wast @@ -9,7 +9,7 @@ ;; HYBRID-NEXT: (type $super-struct (struct (field i32))) (type $super-struct (struct i32)) ;; NOMINAL: (type $sub-struct (struct_subtype (field i32) (field i64) $super-struct)) - ;; HYBRID: (type $sub-struct (struct_subtype (field i32) (field i64) $super-struct)) + ;; HYBRID: (type $sub-struct (sub $super-struct (struct (field i32) (field i64)))) (type $sub-struct (sub $super-struct (struct i32 i64))) ) @@ -17,7 +17,7 @@ ;; HYBRID: (rec ;; 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)) + ;; HYBRID: (type $sub-array (sub $super-array (array (ref $sub-struct)))) (type $sub-array (sub $super-array (array (ref $sub-struct)))) ) @@ -26,7 +26,7 @@ ;; HYBRID-NEXT: (type $super-func (func (param (ref $sub-array)) (result (ref $super-array)))) (type $super-func (func (param (ref $sub-array)) (result (ref $super-array)))) ;; NOMINAL: (type $sub-func (func_subtype (param (ref $super-array)) (result (ref $sub-array)) $super-func)) - ;; HYBRID: (type $sub-func (func_subtype (param (ref $super-array)) (result (ref $sub-array)) $super-func)) + ;; HYBRID: (type $sub-func (sub $super-func (func (param (ref $super-array)) (result (ref $sub-array))))) (type $sub-func (sub $super-func (func (param (ref $super-array)) (result (ref $sub-array))))) ) |