From b30a6b141fed01a62330051bfb92c19564c93215 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sun, 28 May 2017 13:34:42 +0200
Subject: Fail on deprecated warning even for Ocaml > 4.02.3

Deprecations which can't be fixed in 4.02.3 are locally wrapped with
[@@@ocaml.warning "-3"]. The only ones encountered are
- capitalize to capitalize_ascii and variants. Changing to ascii would
  break coqdoc -latin1 and maybe other things though.
- external "noalloc" to external [@@noalloc]
---
 lib/cString.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/cString.mli')

diff --git a/lib/cString.mli b/lib/cString.mli
index 65edfbbe68..b30f26abe7 100644
--- a/lib/cString.mli
+++ b/lib/cString.mli
@@ -14,7 +14,10 @@ sig
   include S
   (** We include the standard library *)
 
+  [@@@ocaml.warning "-3"]     (* [@@noalloc] since 4.03.0 GPR#240 *)
   external equal : string -> string -> bool = "caml_string_equal" "noalloc"
+  [@@@ocaml.warning "+3"]
+
   (** Equality on strings *)
 
   val hash : string -> int
-- 
cgit v1.2.3