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
|
default Order dec
$include <prelude.sail>
$iftarget c
$c_in_main sail_config_set_file("config_vec_list.json");
$c_in_main_post sail_config_cleanup();
$else
$option --config ../c/config_vec_list.json
$endif
val print_list : list(string) -> unit
function print_list [||] = ()
and print_list (hd :: tl) = {
print_endline(hd);
print_list(tl)
}
val main : unit -> unit
function main() = {
let ys : list(string) = config foo.bar;
let xs : {'n, 'n >= 2. vector('n, string)} = config foo.bar;
foreach (n from 0 to (length(xs) - 1)) {
print_endline(xs[n])
};
print_list(ys)
}
|
