Merge PR #8493: [api] Remove (most) 8.9 deprecated objects.

4 files changed, 1 insertions, 12 deletions

diff --git a/lib/feedback.ml b/lib/feedback.ml
index cb8f8aad1e..9654711ebb 100644
--- a/lib/feedback.ml
+++ b/lib/feedback.ml
@@ -84,7 +84,7 @@ let feedback_logger ?loc lvl msg =
 let msg_info    ?loc x = feedback_logger ?loc Info x
 let msg_notice  ?loc x = feedback_logger ?loc Notice x
 let msg_warning ?loc x = feedback_logger ?loc Warning x
-let msg_error   ?loc x = feedback_logger ?loc Error x
+(* let msg_error   ?loc x = feedback_logger ?loc Error x *)
 let msg_debug   ?loc x = feedback_logger ?loc Debug x
 
 (* Helper for tools willing to understand only the messages *)
diff --git a/lib/feedback.mli b/lib/feedback.mli
index 64fdf3724d..f407e2fd5b 100644
--- a/lib/feedback.mli
+++ b/lib/feedback.mli
@@ -95,11 +95,6 @@ val msg_warning : ?loc:Loc.t -> Pp.t -> unit
 (** Message indicating that something went wrong, but without serious
     consequences. *)
 
-val msg_error : ?loc:Loc.t -> Pp.t -> unit
-[@@ocaml.deprecated "msg_error is an internal function and should not be \
-                     used unless you know what you are doing. Use \
-                     [CErrors.user_err] instead."]
-
 val msg_debug : ?loc:Loc.t -> Pp.t -> unit
 (** For debugging purposes *)
 
diff --git a/lib/pp.ml b/lib/pp.ml
index 7f132686db..d68f5ac5e3 100644
--- a/lib/pp.ml
+++ b/lib/pp.ml
@@ -42,9 +42,6 @@ type doc_view =
    internal representation opaque here. *)
 type t = doc_view
 
-type std_ppcmds = t
-[@@ocaml.deprecated "alias of Pp.t"]
-
 let repr x = x
 let unrepr x = x
 
diff --git a/lib/pp.mli b/lib/pp.mli
index ed31daa561..4ce6a535c8 100644
--- a/lib/pp.mli
+++ b/lib/pp.mli
@@ -42,9 +42,6 @@ type pp_tag = string
    internal representation opaque here. *)
 type t
 
-type std_ppcmds = t
-[@@ocaml.deprecated "alias of Pp.t"]
-
 type block_type =
   | Pp_hbox   of int
   | Pp_vbox   of int