🐛 Handle Checkpoint effects from String_recorder

React-Analysis · Dec 2, 2024 · 267f459 · 267f459
1 parent 39cc643
commit 267f459
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/bin/js/string_recorder.ml b/bin/js/string_recorder.ml
@@ -60,5 +60,9 @@ let event_h =
                       (Sexp.to_string (Path.sexp_of_t path))
                 in
                 continue k path ~recording)
+        | Checkpoint _ ->
+            Some
+              (fun (k : (a, _) continuation) ~(recording : recording) ->
+                continue k () ~recording)
         | _ -> None);
   }