summaryrefslogtreecommitdiff
path: root/dev-ml
diff options
context:
space:
mode:
Diffstat (limited to 'dev-ml')
-rw-r--r--dev-ml/camomile/files/ocaml-unsafe-string.patch13
-rw-r--r--dev-ml/camomile/files/ocaml405.patch40
2 files changed, 0 insertions, 53 deletions
diff --git a/dev-ml/camomile/files/ocaml-unsafe-string.patch b/dev-ml/camomile/files/ocaml-unsafe-string.patch
deleted file mode 100644
index 49139d61ada4..000000000000
--- a/dev-ml/camomile/files/ocaml-unsafe-string.patch
+++ /dev/null
@@ -1,13 +0,0 @@
---- a/Makefile.in 2013-09-15 02:48:38.000000000 -0500
-+++ b/Makefile.in 2020-07-03 00:43:13.639039206 -0500
-@@ -48,8 +48,8 @@
- OCAMLMKLIB = @OCAMLMKLIB@
-
- # compiler options
--BOPTIONS = @DEBUG@ @ASSERT@
--OOPTIONS = @COPTIONS@ @PROFILE@ @ASSERT@
-+BOPTIONS =@DEBUG@ @ASSERT@ -unsafe-string
-+OOPTIONS =@COPTIONS@ @PROFILE@ @ASSERT@ -unsafe-string
-
- #
- PACKAGE = camomile
diff --git a/dev-ml/camomile/files/ocaml405.patch b/dev-ml/camomile/files/ocaml405.patch
deleted file mode 100644
index 9648708f669f..000000000000
--- a/dev-ml/camomile/files/ocaml405.patch
+++ /dev/null
@@ -1,40 +0,0 @@
-commit 0fa0a19f15998e89e4b04150dd74529bbd406f42
-Author: Gabriel Scherer <gabriel.scherer@gmail.com>
-Date: Fri Feb 24 22:30:23 2017 -0500
-
- 4.05 compatibility: use explicit module signatures
-
- In 4.05, checking for non-generalizable inference variable ('_a)
- (forbidden in toplevel modules and functors) happens before checking
- the .ml file against the .mli signature, so non-generalizable
- variables that were previously resolved through the .mli constraint
- are now underspecified and result in a compilation failure
- (see MPR#7414, GPR#929). This commit adds enough annotations to avoid
- such underspecified variables in functors.
-
-diff --git a/internal/unimap.ml b/internal/unimap.ml
-index b6fdbde..6a7cc30 100644
---- a/internal/unimap.ml
-+++ b/internal/unimap.ml
-@@ -58,7 +58,7 @@ val of_name : string -> t
- end
-
-
--module Make (Config : ConfigInt.Type) = struct
-+module Make (Config : ConfigInt.Type) : Type = struct
-
- type mapping = {no_char : int; tbl : Tbl31.Bytes.t}
-
-diff --git a/public/uCharInfo.ml b/public/uCharInfo.ml
-index 69bf141..6a0337a 100644
---- a/public/uCharInfo.ml
-+++ b/public/uCharInfo.ml
-@@ -298,7 +298,7 @@ val load_composition_exclusion_tbl : unit -> UCharTbl.Bool.t
-
- end
-
--module Make (Config : ConfigInt.Type) = struct
-+module Make (Config : ConfigInt.Type) : Type = struct
- include Unidata.Make(Config)
-
- (* General category *)