Merge pull request #141 from kripken/cont.bind.null

fgmccabe · web-flow · commit d913d38eeacb · 2026-03-17T15:00:02.000-07:00
Add a test for a null continuation in cont.bind
diff --git a/test/core/stack-switching/cont.wast b/test/core/stack-switching/cont.wast
@@ -129,6 +129,14 @@
     )
     (drop)
   )
+
+  (func (export "null-bind")
+    (drop
+      (cont.bind $k1 $k1
+        (ref.null $k1)
+      )
+    )
+  )
 )
 
 (assert_suspension (invoke "unhandled-1") "unhandled")
@@ -147,6 +155,7 @@
 
 (assert_trap (invoke "null-resume") "null continuation reference")
 (assert_trap (invoke "null-new") "null function reference")
+(assert_trap (invoke "null-bind") "null continuation reference")
 
 (assert_invalid
   (module

Original file line number	Diff line number	Diff line change
`@@ -129,6 +129,14 @@`
`129`	`129`	`)`
`130`	`130`	`(drop)`
`131`	`131`	`)`
	`132`	`+`
	`133`	`+ (func (export "null-bind")`
	`134`	`+ (drop`
	`135`	`+ (cont.bind $k1 $k1`
	`136`	`+ (ref.null $k1)`
	`137`	`+ )`
	`138`	`+ )`
	`139`	`+ )`
`132`	`140`	`)`
`133`	`141`
`134`	`142`	`(assert_suspension (invoke "unhandled-1") "unhandled")`
`@@ -147,6 +155,7 @@`
`147`	`155`
`148`	`156`	`(assert_trap (invoke "null-resume") "null continuation reference")`
`149`	`157`	`(assert_trap (invoke "null-new") "null function reference")`
	`158`	`+(assert_trap (invoke "null-bind") "null continuation reference")`
`150`	`159`
`151`	`160`	`(assert_invalid`
`152`	`161`	`(module`