From 67804305e680ffcf6b3bbcb4b56a1c31c284c3d0 Mon Sep 17 00:00:00 2001 From: Frank Emrich Date: Thu, 5 Oct 2023 18:25:59 +0100 Subject: [typed-cont] Allow result types on tags (#5997) This PR is part of a series that adds basic support for the typed continuations proposal. This PR relaxes the restriction that tags must not have results , only params. Tags with results must not be used for exception handling and are only allowed if the typed continuations feature is enabled. As a minor point, this PR also changes the printing of tags without params: To make the presentation consistent, (param) is omitted when printing a tag. --- test/exception-handling.wast.fromBinary | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/exception-handling.wast.fromBinary') diff --git a/test/exception-handling.wast.fromBinary b/test/exception-handling.wast.fromBinary index 44bd2e5c3..e9cfce409 100644 --- a/test/exception-handling.wast.fromBinary +++ b/test/exception-handling.wast.fromBinary @@ -8,7 +8,7 @@ (tag $e-i64 (param i64)) (tag $e-i32-i64 (param i32 i64)) (tag $e-eqref (param eqref)) - (tag $e-empty (param)) + (tag $e-empty) (func $foo (type $0) (nop) ) -- cgit v1.2.3