[spec] resume_throw should accept multiple handlers (WebAssembly#71) (#44)

* [spec] resume_throw should accept multiple handlers (WebAssembly#71)

* Add missing *

---------

Co-authored-by: Alan L <[email protected]>

Author: dhil

proposals/continuations/Overview.md

@@ -39,19 +39,19 @@ Based on [typed reference proposal](https://github.com/WebAssembly/function-refe
     - and `(label $l : [te1'* (ref null? $ct')])*`
     - and `([te1*] <: [te1'*])*`
     - and `($ct' = cont $ft')*`
-    - and `$ft' = [t1'*] -> [t2'*]`
+    - and `($ft' = [t1'*] -> [t2'*])*`
     - and `([te2*] -> [t2*] <: [t1'*] -> [t2'*])*`
 
-* `resume_throw <typeidx> <tagidx> (on <tagidx> <labelidx>)` aborts a continuation
-  - `resume_throw $ct $e (on $t $l): [te* (ref null? $ct)] -> [t2*]`
-    - iff `(on $e : [te*] -> [])`
+* `resume_throw <typeidx> <tagidx> (on <tagidx> <labelidx>)*` aborts a continuation
+  - `resume_throw $ct $e (on $t $l)* : [te* (ref null? $ct)] -> [t2*]`
+    - iff `(tag $e : [te*] -> [])`
     - and `$ct = cont $ft`
     - and `$ft = [t1*] -> [t2*]`
     - and `(on $t : [te1*] -> [te2*])*`
     - and `(label $l : [te1'* (ref null? $ct')])*`
     - and `([te1*] <: [te1'*])*`
     - and `($ct' = cont $ft')*`
-    - and `$ft' = [t1'*] -> [t2'*]`
+    - and `($ft' = [t1'*] -> [t2'*])*`
     - and `([te2*] -> [t2*] <: [t1'*] -> [t2'*])*`
 
 * `barrier <blocktype> <instr>* end` blocks suspension