From 92cbcc576a71e6dc2ba5c2173b092d3a2dc23d04 Mon Sep 17 00:00:00 2001 From: Alan L Date: Mon, 2 Sep 2024 16:59:12 +0800 Subject: [PATCH] Allow cont ref to be non-null in switch (#85) --- proposals/stack-switching/Explainer.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/proposals/stack-switching/Explainer.md b/proposals/stack-switching/Explainer.md index 02d1f82133..3261b5dd40 100644 --- a/proposals/stack-switching/Explainer.md +++ b/proposals/stack-switching/Explainer.md @@ -815,7 +815,7 @@ This abbreviation will be formalised with an auxiliary function or other means i - `switch ` - Switch to executing a given continuation directly, suspending the current execution. - The suspension and switch are performed from the perspective of a parent `(on $e switch)` handler, determined by the annotated control tag. - - `switch $ct1 $e : [t1* (ref null $ct1)] -> [t2*]` + - `switch $ct1 $e : [t1* (ref null? $ct1)] -> [t2*]` - iff `C.tags[$e] = tag $ft` - and `C.types[$ft] ~~ func [] -> [t*]` - and `C.types[$ct1] ~~ cont [t1* (ref null? $ct2)] -> [te1*]`