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.noDebugInfo | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/exception-handling.wast.fromBinary.noDebugInfo') diff --git a/test/exception-handling.wast.fromBinary.noDebugInfo b/test/exception-handling.wast.fromBinary.noDebugInfo index 27202e8a6..4bc460630 100644 --- a/test/exception-handling.wast.fromBinary.noDebugInfo +++ b/test/exception-handling.wast.fromBinary.noDebugInfo @@ -8,7 +8,7 @@ (tag $tag$1 (param i64)) (tag $tag$2 (param i32 i64)) (tag $tag$3 (param eqref)) - (tag $tag$4 (param)) + (tag $tag$4) (func $0 (type $0) (nop) ) -- cgit v1.2.3