Skip to content

Commit 0310c5c

Browse files
committed
Add more tests of caml_make_array
1 parent 65e727a commit 0310c5c

File tree

1 file changed

+46
-2
lines changed

1 file changed

+46
-2
lines changed
Lines changed: 46 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,49 @@
11
let construct x = [| x |]
22

3-
let project (x : float array) = x.(0)
3+
let get (x : float array) = x.(0)
44

5-
let _ = project (construct 4.0)
5+
let get_ (x : _ array) = x.(0)
6+
7+
let set (x : float array) e = x.(0) <- e
8+
9+
let set_ (x : _ array) e = x.(0) <- e
10+
11+
let a = construct 1.0
12+
13+
let _ = set a 2.0
14+
15+
let _ = assert (Float.equal (get a) 2.0)
16+
17+
let _ = assert (Float.equal (get_ a) 2.0)
18+
19+
let _ = set_ a 3.0
20+
21+
let _ = assert (Float.equal (get a) 3.0)
22+
23+
let _ = assert (Float.equal (get_ a) 3.0)
24+
25+
let b = [| 1.0 |]
26+
27+
let _ = set b 2.0
28+
29+
let _ = assert (Float.equal (get b) 2.0)
30+
31+
let _ = assert (Float.equal (get_ b) 2.0)
32+
33+
let _ = set_ b 3.0
34+
35+
let _ = assert (Float.equal (get b) 3.0)
36+
37+
let _ = assert (Float.equal (get_ b) 3.0)
38+
39+
let construct2 x = [| x; x |]
40+
41+
let c = construct2 1.
42+
43+
let _ = assert (Float.equal c.(0) 1. && Float.equal c.(1) 1.)
44+
45+
let _ = c.(1) <- 2.
46+
47+
let _ = assert (Array.length c = 2)
48+
49+
let _ = assert (Float.equal c.(0) 1. && Float.equal c.(1) 2.)

0 commit comments

Comments
 (0)