chore: reify_in_empty to debug exection order

Signed-off-by: Kakadu <[email protected]>
PLTools · May 27, 2023 · b1a4cb7 · b1a4cb7
1 parent 0a326ed
commit b1a4cb7
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/src/core/Core.ml b/src/core/Core.ml
@@ -785,3 +785,8 @@ module Tabling =
       g := currier g_tabled;
       !g
   end
+
+
+let reify_in_empty reifier x =
+  let st = State.empty () in
+  reifier (State.env st) x
diff --git a/src/core/Core.mli b/src/core/Core.mli
@@ -316,3 +316,6 @@ module PrunesControl : sig
   val is_exceeded: unit -> bool
   val skipped_prunes : unit -> int
 end
+
+(** Runs reifier on empty state. Useful to debug execution order *)
+val reify_in_empty: ('a, 'b) Reifier.t -> 'a -> 'b