Skip to content

Commit 927e96c

Browse files
authored
Merge pull request #143 from WebAssembly/missing-null
Add missing `null?` in switch rule
2 parents d913d38 + 154ac34 commit 927e96c

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

proposals/stack-switching/Explainer.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -617,7 +617,7 @@ switch.
617617
switch $ct1 $e : [t1* (ref null $ct1)] -> [t2*]
618618
where:
619619
- $e : [] -> [t*]
620-
- $ct1 = cont [t1* (ref $ct2)] -> [t*]
620+
- $ct1 = cont [t1* (ref null? $ct2)] -> [t*]
621621
- $ct2 = cont [t2*] -> [t*]
622622
```
623623

0 commit comments

Comments
 (0)