diff options
Diffstat (limited to 'test/typed-function-references.wast')
-rw-r--r-- | test/typed-function-references.wast | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/typed-function-references.wast b/test/typed-function-references.wast index 45120192d..1057d4487 100644 --- a/test/typed-function-references.wast +++ b/test/typed-function-references.wast @@ -1,7 +1,10 @@ (module ;; inline ref type in result - (type $f64_=>_ref_null<_->_eqref> (func (param f64) (result (ref null (func (result eqref)))))) + (type $_=>_eqref (func (result eqref))) + (type $f64_=>_ref_null<_->_eqref> (func (param f64) (result (ref null $_=>_eqref)))) (type $=>eqref (func (result eqref))) + (type $=>anyref (func (result anyref))) + (type $mixed_results (func (result anyref f32 anyref f32))) (type $i32-i32 (func (param i32) (result i32))) @@ -25,20 +28,17 @@ (local.set $f (ref.func $call-ref-more)) (call_ref (i32.const 42) (local.get $f)) ) - (func $ref-in-sig (param $0 f64) (result (ref null (func (result eqref)))) + (func $ref-in-sig (param $0 f64) (result (ref null $=>eqref)) (ref.null $=>eqref) ) (func $type-only-in-tuple-local - (local $x (i32 (ref null (func (result anyref))) f64)) + (local $x (i32 (ref null $=>anyref) f64)) ) (func $type-only-in-tuple-block (drop - (block (result i32 (ref null (func (result anyref f32 anyref f32))) f64) + (block (result i32 (ref null $mixed_results) f64) (unreachable) ) ) ) - (func $nested-type-only-there (result (ref (func (result (ref (func (param i32 i32 i32 i32 i32))))))) - (unreachable) - ) ) |