wip

src/compiler/compiler.ml

@@ -2190,6 +2190,22 @@ let symtab : (constant * D.term) F.Map.t D.State.component = D.State.declare
   ()
 
 
+let global_name_to_constant state s =
+  let map = State.get symtab state in
+  fst @@ F.Map.find (F.from_string s) map
+
+let symtab : (constant * D.term) F.Map.t D.State.component = D.State.declare
+  ~descriptor:D.elpi_state_descriptor
+  ~name:"elpi:symbol_table"
+  ~pp:(fun fmt _ -> Format.fprintf fmt "<symbol_table>")
+  ~clause_compilation_is_over:(fun x -> x)
+  ~goal_compilation_begins:(fun x -> x)
+  ~goal_compilation_is_over:(fun ~args:_ x -> Some x)
+  ~compilation_is_over:(fun x -> Some x)
+  ~execution_is_over:(fun _ -> None)
+  ~init:(fun () -> F.Map.empty)
+
+
 let global_name_to_constant state s =
   let map = State.get symtab state in
   fst @@ F.Map.find (F.from_string s) map