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
|
(* ****** ****** *)
//
// For testing libatscc2scm
//
(* ****** ****** *)
//
#define
ATS_MAINATSFLAG 1
#define
ATS_DYNLOADNAME "test02_dynload"
//
#define ATS_STATIC_PREFIX "_test02_"
//
(* ****** ****** *)
//
#include
"./../staloadall.hats"
//
(* ****** ****** *)
#define :: list_cons
(* ****** ****** *)
val xs =
(
0 :: 1 :: 2 :: 3 :: 4 :: 5 :: 6 :: 7 :: 8 :: 9 :: nil()
) : List0 (int)
(* ****** ****** *)
val () = println! ("xs = ", xs)
val () = println! ("xs + xs = ", xs + xs)
(* ****** ****** *)
%{^
######
from libatscc2py3_all import *
######
sys.setrecursionlimit(1000000)
%} (* end of [%{^] *)
(* ****** ****** *)
%{$
if __name__=='__main__': test02_dynload()
//
%} (* end of [%{$] *)
(* ****** ****** *)
(* end of [test02.dats] *)
|
