Missing rule

WebAssembly · Feb 19, 2021 · a44c070 · a44c070
1 parent 5e510ee
commit a44c070
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/interpreter/exec/eval.ml b/interpreter/exec/eval.ml
@@ -720,6 +720,10 @@ let rec step (c : config) : config =
       [Ref (ContRef (List.length ts, ctxt'))] @ vs1 @ vs,
       [Plain (Br (List.assq evt hs)) @@ e.at]
 
+    | Resume (hs, (vs', {it = Suspending (evt, vs1, ctxt); at} :: es')), vs ->
+      let ctxt' code = [], [Resume (hs, compose (ctxt code) (vs', es')) @@ e.at] in
+      vs, [Suspending (evt, vs1, ctxt') @@ at]
+
     | Resume (hs, (vs', e' :: es')), vs when is_jumping e' ->
       vs, [e']