blob: 3fec6955a27c26515cf69f061aff0e3c0c7184bc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
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/Camomile/internal/unimap.ml b/Camomile/internal/unimap.ml
index b6fdbde..6a7cc30 100644
--- a/Camomile/internal/unimap.ml
+++ b/Camomile/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/Camomile/public/uCharInfo.ml b/Camomile/public/uCharInfo.ml
index 69bf141..6a0337a 100644
--- a/Camomile/public/uCharInfo.ml
+++ b/Camomile/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 *)
|
GitWeb
