From 53870b7f6890a593d1da93706f3d020a79d226e5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 18 Sep 2018 15:22:12 +0200
Subject: [api] Remove (most) 8.9 deprecated objects.

A few of them will be of help for future cleanups. We have spared the
stuff in `Names` due to bad organization of this module following the
split from `Term`, which really difficult things removing the
constructors.
---
 lib/feedback.ml  | 2 +-
 lib/feedback.mli | 5 -----
 lib/pp.ml        | 3 ---
 lib/pp.mli       | 3 ---
 4 files changed, 1 insertion(+), 12 deletions(-)

(limited to 'lib')

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
-- 
cgit v1.2.3