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
|
Index: ats2-lang-0.4.2/src/CBOOT/prelude/ats_main_prelude_dats.c
===================================================================
--- ats2-lang-0.4.2.orig/src/CBOOT/prelude/ats_main_prelude_dats.c
+++ ats2-lang-0.4.2/src/CBOOT/prelude/ats_main_prelude_dats.c
@@ -69,30 +69,30 @@ mainats_prelude () {
// ATSlocal_void (tmp0) ;
__ats_lab_mainats_prelude:
-ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2char_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2sizetype_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2string_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_vt_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2printf_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2filebas_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2list0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2option_vt_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2option0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2array0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix0_2edats__dynload () ;
-ATS_2d0_2e2_2e12_2prelude_2DATS_2ptrarr_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2basics_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2bool_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2char_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2float_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2integer_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2sizetype_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2pointer_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2reference_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2string_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2lazy_vt_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2printf_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2filebas_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2list0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2option_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2option_vt_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2option0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2array0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2matrix0_2edats__dynload () ;
+ats_int_type ATS_2d0_2e2_2e12_2prelude_2DATS_2ptrarr_2edats__dynload () ;
return /* (tmp0) */ ;
} /* end of [mainats_prelude] */
|
