diff options
Diffstat (limited to 'test/subtypes.wast.from-wast')
| -rw-r--r-- | test/subtypes.wast.from-wast | 28 |
1 files changed, 14 insertions, 14 deletions
diff --git a/test/subtypes.wast.from-wast b/test/subtypes.wast.from-wast index 249421578..db4d69f6d 100644 --- a/test/subtypes.wast.from-wast +++ b/test/subtypes.wast.from-wast @@ -1,30 +1,30 @@ (module - (type ${ref?|i31|} (struct (field (ref null i31)))) - (type $[i32] (array i32)) - (type $ref?|{ref?|i31|}|_ref?|{anyref}|_=>_none (func (param (ref null ${ref?|i31|}) (ref null ${anyref})))) - (type $ref?|{ref?|i31|}|_ref?|{ref?|i31|_anyref}|_=>_none (func (param (ref null ${ref?|i31|}) (ref null ${ref?|i31|_anyref})))) - (type $ref?|[i32]|_ref?|[i32]|_=>_none (func (param (ref null $[i32]) (ref null $[i32])))) - (type $ref?|[ref?|i31|]|_ref?|[anyref]|_=>_none (func (param (ref null $[ref?|i31|]) (ref null $[anyref])))) - (type ${anyref} (struct (field anyref))) - (type ${ref?|i31|_anyref} (struct (field (ref null i31)) (field anyref))) - (type $[anyref] (array anyref)) - (type $[ref?|i31|] (array (ref null i31))) - (func $foo (param $no-null (ref null $[i32])) (param $yes-null (ref null $[i32])) + (type $struct-i31 (struct (field (ref null i31)))) + (type $vector-i32 (array i32)) + (type $ref?|$struct-i31|_ref?|$struct-any|_=>_none (func (param (ref null $struct-i31) (ref null $struct-any)))) + (type $ref?|$struct-i31|_ref?|$struct-i31_any|_=>_none (func (param (ref null $struct-i31) (ref null $struct-i31_any)))) + (type $ref?|$vector-i32|_ref?|$vector-i32|_=>_none (func (param (ref null $vector-i32) (ref null $vector-i32)))) + (type $ref?|$vector-i31|_ref?|$vector-any|_=>_none (func (param (ref null $vector-i31) (ref null $vector-any)))) + (type $struct-any (struct (field anyref))) + (type $struct-i31_any (struct (field (ref null i31)) (field anyref))) + (type $vector-any (array anyref)) + (type $vector-i31 (array (ref null i31))) + (func $foo (param $no-null (ref null $vector-i32)) (param $yes-null (ref null $vector-i32)) (local.set $no-null (local.get $yes-null) ) ) - (func $bar (param $v-i31 (ref null $[ref?|i31|])) (param $v-any (ref null $[anyref])) + (func $bar (param $v-i31 (ref null $vector-i31)) (param $v-any (ref null $vector-any)) (local.set $v-any (local.get $v-i31) ) ) - (func $baz (param $s-i31 (ref null ${ref?|i31|})) (param $s-any (ref null ${anyref})) + (func $baz (param $s-i31 (ref null $struct-i31)) (param $s-any (ref null $struct-any)) (local.set $s-any (local.get $s-i31) ) ) - (func $boo (param $s-i31 (ref null ${ref?|i31|})) (param $s-i31_any (ref null ${ref?|i31|_anyref})) + (func $boo (param $s-i31 (ref null $struct-i31)) (param $s-i31_any (ref null $struct-i31_any)) (local.set $s-i31 (local.get $s-i31_any) ) |