summaryrefslogtreecommitdiff
path: root/test/typed-function-references.wast
diff options
context:
space:
mode:
Diffstat (limited to 'test/typed-function-references.wast')
-rw-r--r--test/typed-function-references.wast14
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)
- )
)