1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
(* TEST
modules = "external_stubs.c";
{
native;
}
*)
type data = A | B | C | D | E | F
external test_int : (int [@untagged])
-> (char [@untagged]) -> (data [@untagged])
-> (int [@untagged]) = "unavailable" "test_" [@@noalloc]
external test_char : (int [@untagged])
-> (char [@untagged]) -> (data [@untagged])
-> (char [@untagged]) = "unavailable" "test_" [@@noalloc]
external test_data : (int [@untagged])
-> (char [@untagged]) -> (data [@untagged])
-> (data [@untagged]) = "unavailable" "test_" [@@noalloc]
let _ = assert(test_int 1 '\001' B = 3)
let _ = assert(test_char 1 '\001' B = '\003')
let _ = assert(test_data 1 '\001' B = D)
|
