Porting to ocaml 5

[helm.git] / matita / components / getter / http_getter_storage.ml

diff --git a/matita/components/getter/http_getter_storage.ml b/matita/components/getter/http_getter_storage.ml
index c17435f6a25a4f5f7848fc9dcc2435a3e36d2911..be5cad2a9a579acee141a498546fa860e6c18f83 100644 (file)
--- a/matita/components/getter/http_getter_storage.ml
+++ b/matita/components/getter/http_getter_storage.ml
@@ -37,7 +37,7 @@ let index_fname = "INDEX"
 
 (******************************* HELPERS **************************************)
 
-let trailing_slash_RE = Pcre.regexp "/$"
+(*let trailing_slash_RE = Pcre.regexp "/$"*)
 let relative_RE_raw = "(^[^/]+(/[^/]+)*/?$)"
 let relative_RE = Pcre.regexp relative_RE_raw
 let file_scheme_RE_raw = "(^file://)"
@@ -70,7 +70,7 @@ let normalize_root uri =  (* add trailing slash to roots *)
   with Invalid_argument _ -> uri
 
 let remove_duplicates l =
-  Http_getter_misc.list_uniq (List.stable_sort Pervasives.compare l)
+  Http_getter_misc.list_uniq (List.stable_sort Stdlib.compare l)
 
 let has_rdonly l =  List.exists ((=) `Read_only) l
 let has_legacy l =  List.exists ((=) `Legacy) l
@@ -115,7 +115,7 @@ let keep_first l =
 let lookup uri =
   let matches =
     HExtlib.filter_map 
-      (fun (rex, _, l, _ as entry) -> 
+      (fun (rex, _, _l, _ as entry) -> 
          try
            let got = Pcre.extract ~full_match:true ~rex uri in
            Some (entry, String.length got.(0))