public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-ml/ocaml-inifiles/files/
@ 2024-11-16 18:58 Alfredo Tupone
  0 siblings, 0 replies; only message in thread
From: Alfredo Tupone @ 2024-11-16 18:58 UTC (permalink / raw
  To: gentoo-commits

commit:     ac70f01a25523c052dff5d60f0305dfbf463c61b
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Nov 16 18:58:08 2024 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Nov 16 18:58:08 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ac70f01a

dev-ml/ocaml-inifiles: changing deprecated funcs

Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch
index 17c060c8a208..66c463a579b5 100644
--- a/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch
+++ b/dev-ml/ocaml-inifiles/files/ocaml-inifiles-1.2-inifiles.ml.patch
@@ -1,5 +1,14 @@
 --- a/inifiles.ml
 +++ b/inifiles.ml
+@@ -50,7 +50,7 @@
+ struct
+   type t = string
+   let compare (x:t) (y:t) = 
+-    String.compare (String.lowercase x) (String.lowercase y)
++    String.compare (String.lowercase_ascii x) (String.lowercase_ascii y)
+ end
+ 
+ module Strset = Set.Make(Ordstr)
 @@ -257,7 +257,7 @@
         func
         initial


^ permalink raw reply related	[flat|nested] only message in thread

only message in thread, other threads:[~2024-11-16 18:58 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-11-16 18:58 [gentoo-commits] repo/gentoo:master commit in: dev-ml/ocaml-inifiles/files/ Alfredo Tupone

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox