The unpac monorepo manager self-hosting as a monorepo using unpac
Formatting
+26
-10
+2
-1
asmcomp/asmlink.mli
+2
-1
asmcomp/asmlink.mli
···
25
25
val call_linker_shared: string list -> string -> unit
26
26
27
27
val reset : unit -> unit
28
-
val check_consistency: filepath -> Cmx_format.unit_infos -> Digest.BLAKE128.t -> unit
28
+
val check_consistency:
29
+
filepath -> Cmx_format.unit_infos -> Digest.BLAKE128.t -> unit
29
30
val extract_crc_interfaces: unit -> crcs
30
31
val extract_crc_implementations: unit -> crcs
31
32
+5
-1
asmcomp/cmm_helpers.mli
+5
-1
asmcomp/cmm_helpers.mli
···
610
610
611
611
(** Generate the caml_globals_map structure, as a marshalled string constant *)
612
612
val globals_map:
613
-
(string * Digest.BLAKE128.t option * Digest.BLAKE128.t option * string list) list -> phrase
613
+
(string *
614
+
Digest.BLAKE128.t option *
615
+
Digest.BLAKE128.t option *
616
+
string list) list
617
+
-> phrase
614
618
615
619
(** Generate the caml_frametable table, referencing the frametables
616
620
from the given compilation units *)
+2
-1
file_formats/cmx_format.mli
+2
-1
file_formats/cmx_format.mli
···
52
52
infos on the library: *)
53
53
54
54
type library_infos =
55
-
{ lib_units: (unit_infos * Digest.BLAKE128.t) list; (* List of unit infos w/ MD5s *)
55
+
{ lib_units:
56
+
(unit_infos * Digest.BLAKE128.t) list; (* List of unit infos w/ CRCs *)
56
57
(* In the following fields the lists are reversed with respect to
57
58
how they end up being used on the command line. *)
58
59
lib_ccobjs: string list; (* C object files needed *)
+4
-1
otherlibs/dynlink/byte/dynlink.ml
+4
-1
otherlibs/dynlink/byte/dynlink.ml
···
61
61
end
62
62
63
63
type handle =
64
-
Stdlib.in_channel * filename * Digest.BLAKE128.t * Symtable.global_map option
64
+
Stdlib.in_channel *
65
+
filename *
66
+
Digest.BLAKE128.t *
67
+
Symtable.global_map option
65
68
66
69
let default_crcs = ref []
67
70
let default_global_map = ref Symtable.empty_global_map
+2
-1
otherlibs/dynlink/dynlink_platform_intf.ml
+2
-1
otherlibs/dynlink/dynlink_platform_intf.ml
···
47
47
-> f:('a
48
48
-> compunit:string
49
49
-> interface:Digest.BLAKE128.t option
50
-
-> implementation:(Digest.BLAKE128.t option * Dynlink_types.implem_state) option
50
+
-> implementation:
51
+
(Digest.BLAKE128.t option * Dynlink_types.implem_state) option
51
52
-> defined_symbols:string list
52
53
-> 'a)
53
54
-> 'a
+2
-1
tools/ocamlcmt.ml
+2
-1
tools/ocamlcmt.ml
···
97
97
match cmt.cmt_interface_digest with
98
98
None -> ()
99
99
| Some digest ->
100
-
Printf.fprintf oc "interface digest: %s\n" (Digest.BLAKE128.to_hex digest);
100
+
Printf.fprintf oc "interface digest: %s\n"
101
+
(Digest.BLAKE128.to_hex digest);
101
102
end;
102
103
List.iter (fun (name, crco) ->
103
104
let crc =
+3
-1
toplevel/expunge.ml
+3
-1
toplevel/expunge.ml
···
61
61
let global_map : Symtable.global_map = input_value ic in
62
62
output_value oc (expunge_map global_map)
63
63
| CRCS ->
64
-
let crcs : (string * Digest.BLAKE128.t option) list = input_value ic in
64
+
let crcs : (string * Digest.BLAKE128.t option) list =
65
+
input_value ic
66
+
in
65
67
output_value oc (expunge_crcs crcs)
66
68
| _ ->
67
69
copy_file_chunk ic oc len
+2
-1
typing/persistent_env.mli
+2
-1
typing/persistent_env.mli
···
100
100
val imports : 'a t -> crcs
101
101
102
102
(* Return the CRC of the interface of the given compilation unit *)
103
-
val crc_of_unit: 'a t -> (Persistent_signature.t -> 'a) -> modname -> Digest.BLAKE128.t
103
+
val crc_of_unit:
104
+
'a t -> (Persistent_signature.t -> 'a) -> modname -> Digest.BLAKE128.t
104
105
105
106
(* Forward declaration to break mutual recursion with Typecore. *)
106
107
val add_delayed_check_forward: ((unit -> unit) -> unit) ref
+4
-2
utils/consistbl.mli
+4
-2
utils/consistbl.mli
···
52
52
if the latter has an associated CRC in [tbl].
53
53
Raise [Not_found] otherwise. *)
54
54
55
-
val extract: Module_name.t list -> t -> (Module_name.t * Digest.BLAKE128.t option) list
55
+
val extract:
56
+
Module_name.t list -> t -> (Module_name.t * Digest.BLAKE128.t option) list
56
57
(* [extract tbl names] returns an associative list mapping each string
57
58
in [names] to the CRC associated with it in [tbl]. If no CRC is
58
59
associated with a name then it is mapped to [None]. *)
59
60
60
-
val extract_map : Module_name.Set.t -> t -> Digest.BLAKE128.t option Module_name.Map.t
61
+
val extract_map :
62
+
Module_name.Set.t -> t -> Digest.BLAKE128.t option Module_name.Map.t
61
63
(* Like [extract] but with a more sophisticated type. *)
62
64
63
65
val filter: (Module_name.t -> bool) -> t -> unit