diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 21:02:55 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-01-31 21:02:55 +0000 |
commit | d36c5f9e59f92a021c987989cd79d44460e0da42 (patch) | |
tree | 2504c88d1f287ac3a71ebc56e5d19f34a2c1b9a4 /dev-ml/extlib/files/0001-Add-support-for-OCaml-4.12.patch | |
parent | e860dfa5acdb67f8e2b8938b005dbaaaaf2c984a (diff) |
gentoo auto-resync : 31:01:2023 - 21:02:55
Diffstat (limited to 'dev-ml/extlib/files/0001-Add-support-for-OCaml-4.12.patch')
-rw-r--r-- | dev-ml/extlib/files/0001-Add-support-for-OCaml-4.12.patch | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-ml/extlib/files/0001-Add-support-for-OCaml-4.12.patch b/dev-ml/extlib/files/0001-Add-support-for-OCaml-4.12.patch new file mode 100644 index 000000000000..8a2d076f8224 --- /dev/null +++ b/dev-ml/extlib/files/0001-Add-support-for-OCaml-4.12.patch @@ -0,0 +1,25 @@ +From 3b2073701aed50cd768e0a4cd3c776c7a3a54d7e Mon Sep 17 00:00:00 2001 +From: Kate <kit.ty.kate@disroot.org> +Date: Thu, 5 Nov 2020 22:17:24 +0000 +Subject: [PATCH 1/2] Add support for OCaml 4.12 + +--- + src/extList.ml | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/src/extList.ml b/src/extList.ml +index 4f0057f..a1435ee 100644 +--- a/src/extList.ml ++++ b/src/extList.ml +@@ -380,7 +380,7 @@ let combine l1 l2 = + loop dummy l1 l2; + dummy.tl + +-let sort ?(cmp=compare) = List.sort cmp ++let sort ?(cmp=Pervasives.compare) = List.sort cmp + + #if OCAML < 406 + let rec init size f = +-- +2.30.0 + |