From 154ac34a38b38a840c99dc8cd795a3d06aff5e65 Mon Sep 17 00:00:00 2001 From: Thomas Lively Date: Tue, 7 Apr 2026 08:51:00 -0700 Subject: [PATCH] Add missing `null?` in switch rule This was missing in the introduction to switch, but was already included in the more complete rules later in the document. --- 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 4c70383d..f370591c 100644 --- a/proposals/stack-switching/Explainer.md +++ b/proposals/stack-switching/Explainer.md @@ -617,7 +617,7 @@ switch. switch $ct1 $e : [t1* (ref null $ct1)] -> [t2*] where: - $e : [] -> [t*] - - $ct1 = cont [t1* (ref $ct2)] -> [t*] + - $ct1 = cont [t1* (ref null? $ct2)] -> [t*] - $ct2 = cont [t2*] -> [t*] ```