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
|
(* $I1: Unison file synchronizer: src/name.ml $ *)
(* $I2: Last modified by bcpierce on Tue, 22 Jan 2002 08:23:59 -0500 $ *)
(* $I3: Copyright 1999-2002 (see COPYING for details) $ *)
(* NOTE: IF YOU CHANGE TYPE "NAME", THE ARCHIVE FORMAT CHANGES;
INCREMENT "UPDATE.ARCHIVEFORMAT" *)
type t = string
let compare n1 n2 =
if Case.insensitive () then Util.nocase_cmp n1 n2 else compare n1 n2
let eq a b = (0 = (compare a b))
let toString n = n
let fromString s =
if String.length s = 0 then
raise(Invalid_argument "Name.fromString(empty string)");
(* Make sure there are no slashes in the s *)
begin try
ignore(String.index s '/');
raise(Invalid_argument (Printf.sprintf
"Name.fromString('%s' contains a '/')" s))
with Not_found -> () end;
(* We ought to consider further checks, e.g., in Windows, no colons *)
s
let hash n =
Hashtbl.hash (if Case.insensitive () then String.lowercase n else n)
module Set =
Set.Make(struct
type u = t
type t = u
let compare = compare
end)
|