From 87d5e79baea4f3679a1429d2a2e128b564eec5d5 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 15:59:06 +0200
Subject: [ocaml] [lib] Remove some compatibility layers for OCaml < 4.03.0

---
 ide/preferences.ml         | 6 +-----
 ide/protocol/xml_lexer.mll | 5 +----
 2 files changed, 2 insertions(+), 9 deletions(-)

(limited to 'ide')

diff --git a/ide/preferences.ml b/ide/preferences.ml
index 3f10af04c9..9f04ced1c3 100644
--- a/ide/preferences.ml
+++ b/ide/preferences.ml
@@ -688,10 +688,6 @@ let pmodifiers ?(all = false) name p = modifiers
   name
   (str_to_mod_list p#get)
 
-[@@@ocaml.warning "-3"]       (* String.uppercase_ascii since 4.03.0 GPR#124 *)
-let uppercase = String.uppercase
-[@@@ocaml.warning "+3"]
-
 let configure ?(apply=(fun () -> ())) () =
   let cmd_coqtop =
     string
@@ -1018,7 +1014,7 @@ let configure ?(apply=(fun () -> ())) () =
     let k =
       if Int.equal (CString.length k) 1 && Util.is_letter k.[0] then k
       else "" in
-    let k = uppercase k in
+    let k = String.uppercase_ascii k in
       [q, k]
   in
 
diff --git a/ide/protocol/xml_lexer.mll b/ide/protocol/xml_lexer.mll
index 4a52147e17..e8bf7e16ae 100644
--- a/ide/protocol/xml_lexer.mll
+++ b/ide/protocol/xml_lexer.mll
@@ -83,9 +83,6 @@ let error lexbuf e =
         last_pos := lexeme_start lexbuf;
         raise (Error e)
 
-[@@@ocaml.warning "-3"]       (* String.lowercase_ascii since 4.03.0 GPR#124 *)
-let lowercase = String.lowercase
-[@@@ocaml.warning "+3"]
 }
 
 let newline = ['\n']
@@ -222,7 +219,7 @@ and entity = parse
                 {
                         let ident = lexeme lexbuf in
                         try
-                                Hashtbl.find idents (lowercase ident)
+                                Hashtbl.find idents (String.lowercase_ascii ident)
                         with
                                 Not_found -> "&" ^ ident
                 }
-- 
cgit v1.2.3