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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
|
(* TEST
unset DOES_NOT_EXIST;
*)
let () =
assert(Sys.getenv_opt "DOES_NOT_EXIST" = None);
assert(int_of_string_opt "foo" = None);
assert(int_of_string_opt "42" = Some 42);
assert(int_of_string_opt (String.make 100 '9') = None);
assert(Nativeint.of_string_opt "foo" = None);
assert(Nativeint.of_string_opt "42" = Some 42n);
assert(Nativeint.of_string_opt (String.make 100 '9') = None);
assert(Int32.of_string_opt "foo" = None);
assert(Int32.of_string_opt "42" = Some 42l);
assert(Int32.of_string_opt (String.make 100 '9') = None);
assert(Int64.of_string_opt "foo" = None);
assert(Int64.of_string_opt "42" = Some 42L);
assert(Int64.of_string_opt (String.make 100 '9') = None);
assert(bool_of_string_opt "" = None);
assert(bool_of_string_opt "true" = Some true);
assert(bool_of_string_opt "false" = Some false);
assert(float_of_string_opt "foo" = None);
assert(float_of_string_opt "42." = Some 42.);
assert(float_of_string_opt (String.make 1000 '9') = Some infinity);
assert(List.nth_opt [] 0 = None);
assert(List.nth_opt [42] 0 = Some 42);
assert(List.nth_opt [42] 1 = None);
assert(List.find_opt (fun _ -> true) [] = None);
assert(List.find_opt (fun x -> x > 10) [4; 42] = Some 42);
assert(List.assoc_opt 42 [] = None);
assert(List.assoc_opt 42 [41, false; 42, true] = Some true);
assert(List.assq_opt 42 [] = None);
assert(List.assq_opt 42 [41, false; 42, true] = Some true);
let h = Hashtbl.create 5 in
assert(Hashtbl.find_opt h 42 = None);
Hashtbl.add h 42 ();
assert(Hashtbl.find_opt h 42 = Some ());
let module IntSet = Set.Make(struct
type t = int
let compare = compare
end)
in
let set = IntSet.of_list [42; 43] in
assert(IntSet.min_elt_opt IntSet.empty = None);
assert(IntSet.min_elt_opt set = Some 42);
assert(IntSet.max_elt_opt IntSet.empty = None);
assert(IntSet.max_elt_opt set = Some 43);
assert(IntSet.choose_opt IntSet.empty = None);
assert(IntSet.choose_opt set <> None);
assert(IntSet.find_opt 42 IntSet.empty = None);
assert(IntSet.find_opt 42 set = Some 42);
assert(IntSet.find_opt 0 set = None);
let module IntMap = Map.Make(struct
type t = int
let compare = compare
end)
in
let map = IntMap.add 42 "42" (IntMap.add 43 "43" IntMap.empty) in
assert(IntMap.min_binding_opt IntMap.empty = None);
assert(IntMap.min_binding_opt map = Some (42, "42"));
assert(IntMap.max_binding_opt IntMap.empty = None);
assert(IntMap.max_binding_opt map = Some (43, "43"));
assert(IntMap.choose_opt IntMap.empty = None);
assert(IntMap.choose_opt map <> None);
assert(IntMap.find_opt 42 IntMap.empty = None);
assert(IntMap.find_opt 42 map = Some "42");
assert(IntMap.find_opt 0 map = None);
let s = "Hello world !" in
assert(String.index_opt s 'x' = None);
assert(String.index_opt s ' ' = Some 5);
assert(String.rindex_opt s 'x' = None);
assert(String.rindex_opt s ' ' = Some 11);
assert(String.index_from_opt s 0 'x' = None);
assert(String.index_from_opt s 6 ' ' = Some 11);
assert(String.rindex_from_opt s 0 'x' = None);
assert(String.rindex_from_opt s 6 ' ' = Some 5);
let module W = Weak.Make(struct
type t = int ref
let equal = (=)
let hash = Hashtbl.hash
end)
in
let w = W.create 10 in
let x = Random.int 42 in
let r = ref x in
assert (W.find_opt w r = None);
W.add w r;
assert (W.find_opt w r = Some r);
let stack = Stack.create () in
Stack.push 41 stack;
Stack.push 42 stack;
assert(Stack.top_opt stack = Some 42);
assert(Stack.pop_opt stack = Some 42);
assert(Stack.pop_opt stack = Some 41);
assert(Stack.pop_opt stack = None);
assert(Stack.top_opt stack = None);
let queue = Queue.create () in
Queue.add 41 queue;
Queue.add 42 queue;
assert(Queue.peek_opt queue = Some 41);
assert(Queue.take_opt queue = Some 41);
assert(Queue.take_opt queue = Some 42);
assert(Queue.take_opt queue = None);
assert(Queue.peek_opt queue = None);
()
|
