1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(* TEST *)
(* Regression test for #13448, see explanations in #13449.
This minimized test was proposed by Nicolas Ojeda Bar.
*)
external unsafe_get : 'a array -> int -> 'a = "%array_unsafe_get"
let uget =
(* This intermediate definition avoids primitive specialization in
lambda/translprim at the call site below (so that the access
remain at kind Pgenval in the Lambda representation), but does
not prevent inlining during the Closure pass. *)
unsafe_get
let () =
let int32 = 123456l in
let arr = [| int32 |] in
let n = uget arr 0 in
assert (n = int32)
|
