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.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/cString.ml')

diff --git a/lib/cString.ml b/lib/cString.ml
index 61ed03083e..7048dbb81b 100644
--- a/lib/cString.ml
+++ b/lib/cString.ml
@@ -11,7 +11,9 @@ module type S = module type of String
 module type ExtS =
 sig
   include S
+  [@@@ocaml.warning "-3"]     (* [@@noalloc] since 4.03.0 GPR#240 *)
   external equal : string -> string -> bool = "caml_string_equal" "noalloc"
+  [@@@ocaml.warning "+3"]
   val hash : string -> int
   val is_empty : string -> bool
   val explode : string -> string list
@@ -33,7 +35,9 @@ end
 
 include String
 
+[@@@ocaml.warning "-3"]     (* [@@noalloc] since 4.03.0 GPR#240 *)
 external equal : string -> string -> bool = "caml_string_equal" "noalloc"
+[@@@ocaml.warning "+3"]
 
 let rec hash len s i accu =
   if i = len then accu
-- 
cgit v1.2.3