[kernel] Deprecate Logic_interpr.Error

src/kernel_services/analysis/logic_interp.mli

@@ -28,4 +28,5 @@ module To_zone : sig
   val compute_term_deps: (stmt -> term -> Locations.Zone.t option) ref
 end
 
-exception Error of location * string
+exception [@alert deprecated "Use directly Logic_parse_string.Error istead."]
+  Error of location * string

src/plugins/eva/gui/register_gui.ml

@@ -340,7 +340,7 @@ module Select (Eval: Eval) = struct
         let pred = !Db.Properties.Interp.predicate ~env kf txt in
         select_predicate main_ui loc pred
     with
-    | Logic_interp.Error (_, mess) ->
+    | Logic_parse_string.Error (_, mess) ->
       main_ui#error "Invalid %a: %s" pp_term_or_pred tp mess
     | Parsing.Parse_error ->
       main_ui#error "Invalid %a: Parse error" pp_term_or_pred tp

src/plugins/server/kernel_ast.ml

@@ -41,8 +41,8 @@ module Cache = Hashtbl.Make(Key)
 
 let get_term kf term =
   let env = logic_environment () in
-  try Some (!Db.Properties.Interp.term ~env kf term)
-  with Logic_interp.Error _ | Parsing.Parse_error -> None
+  try Some (Logic_parse_string.term ~env kf term)
+  with Logic_parse_string.Error _ | Parsing.Parse_error -> None
 
 let key_of_localizable =
   let open Printer_tag in

src/plugins/slicing/slicingCmds.ml

@@ -685,7 +685,7 @@ let add_persistent_cmdline () =
         SlicingParameters.Select.WrAccess.clear () ;
       end;
       add_persistent_selection !selection;
-    with Logic_interp.Error(_loc,msg) ->
+    with Logic_parse_string.Error(_loc,msg) ->
       SlicingParameters.warning ~wkey:SlicingParameters.wkey_cmdline
         "%s. Slicing requests from the command line are ignored." msg
   end;