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
|
(* ****** ****** *)
//
// For testing libatscc2clj
//
(* ****** ****** *)
//
#define
ATS_MAINATSFLAG 1
#define
ATS_DYNLOADNAME "test01_dynload"
//
#define ATS_STATIC_PREFIX "_test01_"
//
(* ****** ****** *)
//
#include "./../staloadall.hats"
//
(* ****** ****** *)
//
val () =
repeat(3, $delay(println!("Hello, world!")))
//
val () =
(3).repeat()(lam() => println!("Hello, world!"))
//
val () =
(3).foreach()(lam(i) => println!(i, ": Hello, world!"))
//
(* ****** ****** *)
%{^
######
from libatscc2py3_all import *
######
sys.setrecursionlimit(1000000)
%} (* end of [%{^] *)
(* ****** ****** *)
%{$
if __name__=='__main__': test01_dynload()
//
%} (* end of [%{$] *)
(* ****** ****** *)
(* end of [test01.dats] *)
|
