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

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> (tag <tagidx> <labelidx>)` aborts a continuation
-  - `resume_throw $ct $e (tag $t $l): [te* (ref null? $ct)] -> [t2*]`
+* `resume_throw <typeidx> <tagidx> (tag <tagidx> <labelidx>)*` aborts a continuation
+  - `resume_throw $ct $e (tag $t $l)*: [te* (ref null? $ct)] -> [t2*]`
     - iff `(tag $e : [te*] -> [])`
     - and `$ct = cont $ft`
     - and `$ft = [t1*] -> [t2*]`
     - and `(tag $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