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
|
(* ****** ****** *)
//
// HX-2016-12:
// For testing
// STL/vector_array
//
(* ****** ****** *)
#define ATS_DYNLOADFLAG 0
(* ****** ****** *)
%{^
//
#include \
"pats_ccomp_runtime.c"
//
%} // end of [%{^]
(* ****** ****** *)
//
#staload
"./../DATS/vector_array.dats"
//
(* ****** ****** *)
extern
fun
mytest(): void = "mac#"
//
implement
mytest() =
{
//
val A0 =
array_make_elt<int>(i2sz(3), 0)
//
val-() = A0[1] := 1
val-() = A0[2] := 2
//
val-(0) = A0[0]
val-(1) = A0[1]
val-(2) = A0[2]
//
val-(3) = sz2i(length(A0))
//
val ((*freed*)) = array_free(A0)
//
} (* end of [mytest] *)
(* ****** ****** *)
//
%{$
//
#include <iostream>
//
int
main(int argc, int argv)
{
//
std::cout << "Hello from [test_vector_array]!" << std::endl;
//
mytest();
//
return 0;
//
} /* end of [main0] */
//
%} // end of [%{^]
//
(* ****** ****** *)
(* end of [test_vector_array.dats] *)
|
