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
|
open! Core
open! Import
let%expect_test "bool_true" =
printf "%b" (globalize_bool true);
[%expect {| true |}]
;;
let%expect_test "bool_false" =
printf "%b" (globalize_bool false);
[%expect {| false |}]
;;
let%expect_test "char" =
let c = 'A' in
let c' = globalize_char c in
printf "%s" (Char.to_string c');
[%expect {| A |}]
;;
let%expect_test "float" =
let f = 5.5 in
let f' = globalize_float f in
printf "%f" f';
[%expect {| 5.500000 |}]
;;
let%expect_test "int" =
printf "%d" (globalize_int 42);
[%expect {| 42 |}]
;;
let%expect_test "int32" =
let i = 42l in
let i' = globalize_int32 i in
printf "%ld" i';
[%expect {| 42 |}]
;;
let%expect_test "int64" =
let i = 42L in
let i' = globalize_int64 i in
printf "%Ld" i';
[%expect {| 42 |}]
;;
let%expect_test "nativeint" =
let i = 42n in
let i' = globalize_nativeint i in
printf "%nd" i';
[%expect {| 42 |}]
;;
let%expect_test "string" =
let s = "hello" in
let s' = globalize_string s in
printf "%s" s';
[%expect {| hello |}]
;;
let%expect_test "array" =
let a = [| "one"; "two"; "three" |] in
let a' = globalize_array globalize_string a in
Array.iter ~f:print_endline a';
[%expect {|
one
two
three
|}]
;;
let%expect_test "list" =
let l = [ "one"; "two"; "three" ] in
let l' = globalize_list globalize_string l in
List.iter ~f:print_endline l';
[%expect {|
one
two
three
|}]
;;
let%expect_test "option" =
let o = Some "hello" in
let o' = globalize_option globalize_string o in
Option.iter ~f:print_endline o';
[%expect {| hello |}]
;;
let%expect_test "ref" =
let r = ref "hello" in
let r' = globalize_ref globalize_string r in
print_endline !r';
[%expect {| hello |}]
;;
let%expect_test "no sharing between globalized refs" =
let r = ref "initial" in
let r' = globalize_ref (fun _ -> assert false) r in
print_endline !r;
[%expect {| initial |}];
print_endline !r';
[%expect {| initial |}];
r := "local";
r' := "global";
print_endline !r;
[%expect {| local |}];
print_endline !r';
[%expect {| global |}]
;;
external get : 'a array -> int -> 'a = "%array_safe_get"
external set : 'a array -> int -> 'a -> unit = "%array_safe_set"
let%expect_test "no sharing between globalized arrays" =
let a = [| "initial" |] in
let a' = globalize_array (fun _ -> assert false) a in
print_endline (get a 0);
[%expect {| initial |}];
print_endline (get a' 0);
[%expect {| initial |}];
set a 0 "local";
set a' 0 "global";
print_endline (get a 0);
[%expect {| local |}];
print_endline (get a' 0);
[%expect {| global |}]
;;
|
