blob: c90bc5720bb398f3bc8dec5abf74938bb7539c77 (
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
module Table = ImportDataTypes.Table
(** This key is used to create the table of each externals in the configuration.
This table allow to check if there are cycles between the references *)
module KeyName : sig
type t
val compare : t -> t -> int
val from_table : Table.t -> t
val hash : t -> int
val equal : t -> t -> bool
end = struct
type t = Table.t
let compare v1 v2 = String.compare (Table.name v1) (Table.name v2)
(* We use the alias given in the configuration as key, because we want to
be sure there is no cycle in the dependencies. It’s OK to have the same
file used in differents sources, but the sources cannot induce cycles *)
let from_table (s : Table.t) = s
let hash = Hashtbl.hash
let equal v1 v2 = String.equal (Table.name v1) (Table.name v2)
end
module Source : sig
type t
val compare : t -> t -> int
val from_table : Table.t -> t
val hash : t -> int
val equal : t -> t -> bool
val name : t -> KeyName.t
end = struct
type t = Table.t
let compare v1 v2 = String.compare v1.Table.name v2.Table.name
(* We use the alias given in the configuration as key, because we want to
be sure there is no cycle in the dependencies. It’s OK to have the same
file used in differents sources, but the sources cannot induce cycles *)
let from_table (s : Table.t) = s
let hash = Hashtbl.hash
let equal v1 v2 = String.equal v1.Table.name v2.Table.name
let name t = KeyName.from_table t
end
module Externals = MoreLabels.Map.Make (KeyName)
module IntSet = struct
include MoreLabels.Set.Make (Int)
let pp : Format.formatter -> t -> unit =
fun format set ->
let iter' f = iter ~f in
Format.pp_print_iter iter' Format.pp_print_int format set
end
|
