Exemple #1
0
ImmT tc_types0type0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
#line 149
c_rt_lib0move(&___nl__2, c_rt_lib0func_new(tc_types0value_src0ptr, ___get_global_const(14), ___get_global_const(1019)));
#line 149
c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__2));
#line 149
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 149
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 149
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(2, ___get_global_const(39), ___nl__2, ___get_global_const(72), ___nl__3));
#line 149
c_rt_lib0clear(&___nl__2);
#line 149
c_rt_lib0clear(&___nl__3);
#line 149
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 149
c_rt_lib0clear(&___nl__1);
#line 149
return ___nl__0;
#line 149
c_rt_lib0clear(&___nl__0);
#line 149
return NULL;
}
Exemple #2
0
ImmT tc_types0check_info0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
ImmT ___nl__6 = NULL;
ImmT ___nl__7 = NULL;
ImmT ___nl__8 = NULL;
#line 184
c_rt_lib0move(&___nl__2, ptd0none());
#line 184
c_rt_lib0move(&___nl__5, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 184
c_rt_lib0move(&___nl__5, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__5));
#line 184
c_rt_lib0move(&___nl__6, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 184
c_rt_lib0move(&___nl__6, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__6));
#line 184
c_rt_lib0move(&___nl__8, c_rt_lib0func_new(tc_types0stack_info_type0ptr, ___get_global_const(14), ___get_global_const(1022)));
#line 184
c_rt_lib0move(&___nl__8, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__8));
#line 184
c_rt_lib0move(&___nl__7, ptd0arr(___nl__8));
#line 184
c_rt_lib0clear(&___nl__8);
#line 184
c_rt_lib0move(&___nl__4, c_rt_lib0hash_mk(3, ___get_global_const(197), ___nl__5, ___get_global_const(198), ___nl__6, ___get_global_const(632), ___nl__7));
#line 184
c_rt_lib0clear(&___nl__5);
#line 184
c_rt_lib0clear(&___nl__6);
#line 184
c_rt_lib0clear(&___nl__7);
#line 184
c_rt_lib0move(&___nl__3, ptd0rec(___nl__4));
#line 184
c_rt_lib0clear(&___nl__4);
#line 184
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(2, ___get_global_const(44), ___nl__2, ___get_global_const(43), ___nl__3));
#line 184
c_rt_lib0clear(&___nl__2);
#line 184
c_rt_lib0clear(&___nl__3);
#line 184
c_rt_lib0move(&___nl__0, ptd0var(___nl__1));
#line 184
c_rt_lib0clear(&___nl__1);
#line 184
return ___nl__0;
#line 184
c_rt_lib0clear(&___nl__0);
#line 184
return NULL;
}
Exemple #3
0
ImmT tc_types0env0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
ImmT ___nl__6 = NULL;
#line 104
c_rt_lib0move(&___nl__2, ptd0sim());
#line 104
c_rt_lib0move(&___nl__5, c_rt_lib0func_new(tc_types0vars_t0ptr, ___get_global_const(14), ___get_global_const(1015)));
#line 104
c_rt_lib0move(&___nl__5, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__5));
#line 104
c_rt_lib0move(&___nl__6, c_rt_lib0func_new(boolean_t0type0ptr, ___get_global_const(180), ___get_global_const(72)));
#line 104
c_rt_lib0move(&___nl__6, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__6));
#line 104
c_rt_lib0move(&___nl__4, c_rt_lib0hash_mk(2, ___get_global_const(618), ___nl__5, ___get_global_const(805), ___nl__6));
#line 104
c_rt_lib0clear(&___nl__5);
#line 104
c_rt_lib0clear(&___nl__6);
#line 104
c_rt_lib0move(&___nl__3, ptd0rec(___nl__4));
#line 104
c_rt_lib0clear(&___nl__4);
#line 104
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 104
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 104
c_rt_lib0move(&___nl__5, c_rt_lib0func_new(tc_types0deref_types0ptr, ___get_global_const(14), ___get_global_const(15)));
#line 104
c_rt_lib0move(&___nl__5, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__5));
#line 104
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(4, ___get_global_const(709), ___nl__2, ___get_global_const(1016), ___nl__3, ___get_global_const(712), ___nl__4, ___get_global_const(60), ___nl__5));
#line 104
c_rt_lib0clear(&___nl__2);
#line 104
c_rt_lib0clear(&___nl__3);
#line 104
c_rt_lib0clear(&___nl__4);
#line 104
c_rt_lib0clear(&___nl__5);
#line 104
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 104
c_rt_lib0clear(&___nl__1);
#line 104
return ___nl__0;
#line 104
c_rt_lib0clear(&___nl__0);
#line 104
return NULL;
}
Exemple #4
0
ImmT tc_types0walk_arg0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
#line 159
c_rt_lib0move(&___nl__4, ptd0sim());
#line 159
c_rt_lib0move(&___nl__3, ptd0arr(___nl__4));
#line 159
c_rt_lib0clear(&___nl__4);
#line 159
c_rt_lib0move(&___nl__2, ptd0hash(___nl__3));
#line 159
c_rt_lib0clear(&___nl__3);
#line 159
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tc_types0errors_t0ptr, ___get_global_const(14), ___get_global_const(706)));
#line 159
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 159
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tc_types0modules_t0ptr, ___get_global_const(14), ___get_global_const(1020)));
#line 159
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 159
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(3, ___get_global_const(1021), ___nl__2, ___get_global_const(17), ___nl__3, ___get_global_const(131), ___nl__4));
#line 159
c_rt_lib0clear(&___nl__2);
#line 159
c_rt_lib0clear(&___nl__3);
#line 159
c_rt_lib0clear(&___nl__4);
#line 159
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 159
c_rt_lib0clear(&___nl__1);
#line 159
return ___nl__0;
#line 159
c_rt_lib0clear(&___nl__0);
#line 159
return NULL;
}
Exemple #5
0
ImmT tc_types0modules_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
#line 84
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(boolean_t0type0ptr, ___get_global_const(180), ___get_global_const(72)));
#line 84
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 84
c_rt_lib0move(&___nl__2, ptd0hash(___nl__3));
#line 84
c_rt_lib0clear(&___nl__3);
#line 84
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tc_types0env0ptr, ___get_global_const(14), ___get_global_const(989)));
#line 84
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 84
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tc_types0defs_funs_t0ptr, ___get_global_const(14), ___get_global_const(1014)));
#line 84
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 84
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(3, ___get_global_const(336), ___nl__2, ___get_global_const(989), ___nl__3, ___get_global_const(992), ___nl__4));
#line 84
c_rt_lib0clear(&___nl__2);
#line 84
c_rt_lib0clear(&___nl__3);
#line 84
c_rt_lib0clear(&___nl__4);
#line 84
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 84
c_rt_lib0clear(&___nl__1);
#line 84
return ___nl__0;
#line 84
c_rt_lib0clear(&___nl__0);
#line 84
return NULL;
}
Exemple #6
0
ImmT tc_types0errors_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
#line 61
c_rt_lib0move(&___nl__2, ptd0sim());
#line 61
c_rt_lib0move(&___nl__3, ptd0sim());
#line 61
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tc_types0check_errors_t0ptr, ___get_global_const(14), ___get_global_const(1011)));
#line 61
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 61
c_rt_lib0move(&___nl__5, c_rt_lib0func_new(tc_types0check_errors_t0ptr, ___get_global_const(14), ___get_global_const(1011)));
#line 61
c_rt_lib0move(&___nl__5, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__5));
#line 61
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(4, ___get_global_const(710), ___nl__2, ___get_global_const(99), ___nl__3, ___get_global_const(96), ___nl__4, ___get_global_const(17), ___nl__5));
#line 61
c_rt_lib0clear(&___nl__2);
#line 61
c_rt_lib0clear(&___nl__3);
#line 61
c_rt_lib0clear(&___nl__4);
#line 61
c_rt_lib0clear(&___nl__5);
#line 61
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 61
c_rt_lib0clear(&___nl__1);
#line 61
return ___nl__0;
#line 61
c_rt_lib0clear(&___nl__0);
#line 61
return NULL;
}
Exemple #7
0
ImmT tc_types0special_functions0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
#line 194
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 194
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 194
c_rt_lib0move(&___nl__5, c_rt_lib0func_new(tc_types0fun_arg_t0ptr, ___get_global_const(14), ___get_global_const(1018)));
#line 194
c_rt_lib0move(&___nl__5, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__5));
#line 194
c_rt_lib0move(&___nl__4, ptd0arr(___nl__5));
#line 194
c_rt_lib0clear(&___nl__5);
#line 194
c_rt_lib0move(&___nl__2, c_rt_lib0hash_mk(2, ___get_global_const(166), ___nl__3, ___get_global_const(1023), ___nl__4));
#line 194
c_rt_lib0clear(&___nl__3);
#line 194
c_rt_lib0clear(&___nl__4);
#line 194
c_rt_lib0move(&___nl__1, ptd0rec(___nl__2));
#line 194
c_rt_lib0clear(&___nl__2);
#line 194
c_rt_lib0move(&___nl__0, ptd0hash(___nl__1));
#line 194
c_rt_lib0clear(&___nl__1);
#line 194
return ___nl__0;
#line 194
c_rt_lib0clear(&___nl__0);
#line 194
return NULL;
}
Exemple #8
0
ImmT tc_types0deref_types0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
#line 98
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tc_types0deref_type0ptr, ___get_global_const(14), ___get_global_const(18)));
#line 98
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 98
c_rt_lib0move(&___nl__2, ptd0arr(___nl__3));
#line 98
c_rt_lib0clear(&___nl__3);
#line 98
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tc_types0deref_type0ptr, ___get_global_const(14), ___get_global_const(18)));
#line 98
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 98
c_rt_lib0move(&___nl__3, ptd0arr(___nl__4));
#line 98
c_rt_lib0clear(&___nl__4);
#line 98
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(2, ___get_global_const(128), ___nl__2, ___get_global_const(130), ___nl__3));
#line 98
c_rt_lib0clear(&___nl__2);
#line 98
c_rt_lib0clear(&___nl__3);
#line 98
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 98
c_rt_lib0clear(&___nl__1);
#line 98
return ___nl__0;
#line 98
c_rt_lib0clear(&___nl__0);
#line 98
return NULL;
}
Exemple #9
0
ImmT array0sort(ImmT * ___ref___0) {
ImmT ___nl__1 = NULL;
#line 101
c_rt_lib0move(&___nl__1, c_rt_lib0func_new(array0cmp0ptr, ___get_global_const(3), ___get_global_const(4)));
#line 101
c_rt_lib0move(&___nl__1, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__1));
#line 101
c_rt_lib0delete(array_priv0sort(___ref___0, ___nl__1));
#line 101
c_rt_lib0clear(&___nl__1);
#line 101
return NULL;
}
Exemple #10
0
ImmT tc_types0return_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
#line 77
c_rt_lib0move(&___nl__2, c_rt_lib0func_new(tc_types0check_errors_t0ptr, ___get_global_const(14), ___get_global_const(1011)));
#line 77
c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__2));
#line 77
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tc_types0check_errors_t0ptr, ___get_global_const(14), ___get_global_const(1011)));
#line 77
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 77
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tc_types0deref_types0ptr, ___get_global_const(14), ___get_global_const(15)));
#line 77
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 77
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(3, ___get_global_const(17), ___nl__2, ___get_global_const(96), ___nl__3, ___get_global_const(60), ___nl__4));
#line 77
c_rt_lib0clear(&___nl__2);
#line 77
c_rt_lib0clear(&___nl__3);
#line 77
c_rt_lib0clear(&___nl__4);
#line 77
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 77
c_rt_lib0clear(&___nl__1);
#line 77
return ___nl__0;
#line 77
c_rt_lib0clear(&___nl__0);
#line 77
return NULL;
}
Exemple #11
0
ImmT tc_types0bin_op_type0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
#line 70
c_rt_lib0move(&___nl__2, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 70
c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__2));
#line 70
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 70
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 70
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 70
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 70
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(3, ___get_global_const(1003), ___nl__2, ___get_global_const(1004), ___nl__3, ___get_global_const(291), ___nl__4));
#line 70
c_rt_lib0clear(&___nl__2);
#line 70
c_rt_lib0clear(&___nl__3);
#line 70
c_rt_lib0clear(&___nl__4);
#line 70
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 70
c_rt_lib0clear(&___nl__1);
#line 70
return ___nl__0;
#line 70
c_rt_lib0clear(&___nl__0);
#line 70
return NULL;
}
Exemple #12
0
ImmT tc_types0fun_arg_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
ImmT ___nl__6 = NULL;
ImmT ___nl__7 = NULL;
#line 117
c_rt_lib0move(&___nl__2, ptd0sim());
#line 117
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 117
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 117
c_rt_lib0move(&___nl__6, ptd0none());
#line 117
c_rt_lib0move(&___nl__7, ptd0none());
#line 117
c_rt_lib0move(&___nl__5, c_rt_lib0hash_mk(2, ___get_global_const(37), ___nl__6, ___get_global_const(5), ___nl__7));
#line 117
c_rt_lib0clear(&___nl__6);
#line 117
c_rt_lib0clear(&___nl__7);
#line 117
c_rt_lib0move(&___nl__4, ptd0var(___nl__5));
#line 117
c_rt_lib0clear(&___nl__5);
#line 117
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(3, ___get_global_const(76), ___nl__2, ___get_global_const(72), ___nl__3, ___get_global_const(257), ___nl__4));
#line 117
c_rt_lib0clear(&___nl__2);
#line 117
c_rt_lib0clear(&___nl__3);
#line 117
c_rt_lib0clear(&___nl__4);
#line 117
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 117
c_rt_lib0clear(&___nl__1);
#line 117
return ___nl__0;
#line 117
c_rt_lib0clear(&___nl__0);
#line 117
return NULL;
}
Exemple #13
0
ImmT array0sort(ImmT * ___ref___0) {
array_priv0__const__init();
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
#line 44
c_rt_lib0move(&___nl__2, c_rt_lib0func_new(array0cmp0ptr, ___get_global_const(3), ___get_global_const(4)));
#line 44
c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__2));
#line 44
c_rt_lib0move(&___nl__1, c_std_lib0array_sort(*___ref___0, ___nl__2));
#line 44
c_rt_lib0clear(&___nl__2);
#line 44
c_rt_lib0copy(___ref___0, ___nl__1);
#line 44
c_rt_lib0clear(&___nl__1);
#line 44
return NULL;
}
Exemple #14
0
ImmT tc_types0check_errors_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
#line 146
c_rt_lib0move(&___nl__1, c_rt_lib0func_new(tc_types0check_error_t0ptr, ___get_global_const(14), ___get_global_const(19)));
#line 146
c_rt_lib0move(&___nl__1, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__1));
#line 146
c_rt_lib0move(&___nl__0, ptd0arr(___nl__1));
#line 146
c_rt_lib0clear(&___nl__1);
#line 146
return ___nl__0;
#line 146
c_rt_lib0clear(&___nl__0);
#line 146
return NULL;
}
Exemple #15
0
ImmT tc_types0vars_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
#line 138
c_rt_lib0move(&___nl__1, c_rt_lib0func_new(tc_types0var_t0ptr, ___get_global_const(14), ___get_global_const(705)));
#line 138
c_rt_lib0move(&___nl__1, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__1));
#line 138
c_rt_lib0move(&___nl__0, ptd0hash(___nl__1));
#line 138
c_rt_lib0clear(&___nl__1);
#line 138
return ___nl__0;
#line 138
c_rt_lib0clear(&___nl__0);
#line 138
return NULL;
}
Exemple #16
0
ImmT tc_types0var_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
#line 113
c_rt_lib0move(&___nl__4, ptd0none());
#line 113
c_rt_lib0move(&___nl__5, ptd0none());
#line 113
c_rt_lib0move(&___nl__3, c_rt_lib0hash_mk(2, ___get_global_const(41), ___nl__4, ___get_global_const(42), ___nl__5));
#line 113
c_rt_lib0clear(&___nl__4);
#line 113
c_rt_lib0clear(&___nl__5);
#line 113
c_rt_lib0move(&___nl__2, ptd0var(___nl__3));
#line 113
c_rt_lib0clear(&___nl__3);
#line 113
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 113
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 113
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(2, ___get_global_const(1017), ___nl__2, ___get_global_const(72), ___nl__3));
#line 113
c_rt_lib0clear(&___nl__2);
#line 113
c_rt_lib0clear(&___nl__3);
#line 113
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 113
c_rt_lib0clear(&___nl__1);
#line 113
return ___nl__0;
#line 113
c_rt_lib0clear(&___nl__0);
#line 113
return NULL;
}
Exemple #17
0
ImmT tc_types0defs_funs_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
#line 74
c_rt_lib0move(&___nl__2, c_rt_lib0func_new(tc_types0def_fun_t0ptr, ___get_global_const(14), ___get_global_const(1013)));
#line 74
c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__2));
#line 74
c_rt_lib0move(&___nl__1, ptd0hash(___nl__2));
#line 74
c_rt_lib0clear(&___nl__2);
#line 74
c_rt_lib0move(&___nl__0, ptd0hash(___nl__1));
#line 74
c_rt_lib0clear(&___nl__1);
#line 74
return ___nl__0;
#line 74
c_rt_lib0clear(&___nl__0);
#line 74
return NULL;
}
Exemple #18
0
ImmT tct0var(ImmT ___nl__0) {
c_rt_lib0arg_val(___nl__0);
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
ImmT ___nl__6 = NULL;
ImmT ___nl__7 = NULL;
ImmT ___nl__8 = NULL;
#line 54
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(0));
#line 55
c_rt_lib0move(&___nl__4, c_rt_lib0init_iter(___nl__0));
#line 55
label_2:
#line 55
c_rt_lib0move(&___nl__2, c_rt_lib0is_end_hash(___nl__4));
#line 55
if(c_rt_lib0check_true_native(___nl__2)){ goto label_30;}
#line 55
c_rt_lib0move(&___nl__2, c_rt_lib0get_key_iter(___nl__4));
#line 55
c_rt_lib0move(&___nl__3, c_rt_lib0hash_get_value(___nl__0, ___nl__2));
#line 57
c_rt_lib0copy(&___nl__6, ___nl__3);
#line 57
c_rt_lib0move(&___nl__6, c_rt_lib0priv_is(___nl__6, ___get_global_const(1146)));
#line 57
c_rt_lib0move(&___nl__6, c_rt_lib0not(___nl__6));
#line 57
if(c_rt_lib0check_true_native(___nl__6)){ goto label_15;}
#line 58
c_rt_lib0move(&___nl__7, c_rt_lib0ov_mk_none(___get_global_const(809)));
#line 58
c_rt_lib0copy(&___nl__5, ___nl__7);
#line 58
c_rt_lib0clear(&___nl__7);
#line 59
goto label_24;
#line 59
label_15:
#line 60
c_rt_lib0move(&___nl__8, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678)));
#line 60
c_rt_lib0move(&___nl__8, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__8));
#line 60
c_rt_lib0move(&___nl__7, ptd0ensure(___nl__8, ___nl__3));
#line 60
c_rt_lib0clear(&___nl__8);
#line 60
c_rt_lib0move(&___nl__7, c_rt_lib0ov_mk_arg(___get_global_const(810), ___nl__7));
#line 60
c_rt_lib0copy(&___nl__5, ___nl__7);
#line 60
c_rt_lib0clear(&___nl__7);
#line 61
goto label_24;
#line 61
label_24:
#line 61
c_rt_lib0clear(&___nl__6);
#line 62
c_rt_lib0delete(hash0set_value(&___nl__1, ___nl__2, ___nl__5));
#line 62
c_rt_lib0clear(&___nl__5);
#line 63
c_rt_lib0move(&___nl__4, c_rt_lib0next_iter(___nl__4));
#line 63
goto label_2;
#line 63
label_30:
#line 63
c_rt_lib0clear(&___nl__2);
#line 63
c_rt_lib0clear(&___nl__3);
#line 63
c_rt_lib0clear(&___nl__4);
#line 64
c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(805), ___nl__1));
#line 64
c_rt_lib0clear(&___nl__0);
#line 64
c_rt_lib0clear(&___nl__1);
#line 64
return ___nl__2;
#line 64
c_rt_lib0clear(&___nl__2);
#line 64
c_rt_lib0clear(&___nl__1);
#line 64
c_rt_lib0clear(&___nl__0);
#line 64
return NULL;
}
Exemple #19
0
ImmT tc_types0def_fun_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
ImmT ___nl__6 = NULL;
ImmT ___nl__7 = NULL;
ImmT ___nl__8 = NULL;
ImmT ___nl__9 = NULL;
ImmT ___nl__10 = NULL;
#line 125
c_rt_lib0move(&___nl__2, c_rt_lib0func_new(nast0cmd_t0ptr, ___get_global_const(12), ___get_global_const(191)));
#line 125
c_rt_lib0move(&___nl__2, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__2));
#line 125
c_rt_lib0move(&___nl__5, ptd0none());
#line 125
c_rt_lib0move(&___nl__6, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 125
c_rt_lib0move(&___nl__6, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__6));
#line 125
c_rt_lib0move(&___nl__4, c_rt_lib0hash_mk(2, ___get_global_const(42), ___nl__5, ___get_global_const(41), ___nl__6));
#line 125
c_rt_lib0clear(&___nl__5);
#line 125
c_rt_lib0clear(&___nl__6);
#line 125
c_rt_lib0move(&___nl__3, ptd0var(___nl__4));
#line 125
c_rt_lib0clear(&___nl__4);
#line 125
c_rt_lib0move(&___nl__6, ptd0none());
#line 125
c_rt_lib0move(&___nl__8, ptd0sim());
#line 125
c_rt_lib0move(&___nl__7, ptd0arr(___nl__8));
#line 125
c_rt_lib0clear(&___nl__8);
#line 125
c_rt_lib0move(&___nl__5, c_rt_lib0hash_mk(2, ___get_global_const(42), ___nl__6, ___get_global_const(41), ___nl__7));
#line 125
c_rt_lib0clear(&___nl__6);
#line 125
c_rt_lib0clear(&___nl__7);
#line 125
c_rt_lib0move(&___nl__4, ptd0var(___nl__5));
#line 125
c_rt_lib0clear(&___nl__5);
#line 125
c_rt_lib0move(&___nl__5, ptd0sim());
#line 125
c_rt_lib0move(&___nl__6, ptd0sim());
#line 125
c_rt_lib0move(&___nl__9, ptd0none());
#line 125
c_rt_lib0move(&___nl__10, ptd0none());
#line 125
c_rt_lib0move(&___nl__8, c_rt_lib0hash_mk(2, ___get_global_const(330), ___nl__9, ___get_global_const(329), ___nl__10));
#line 125
c_rt_lib0clear(&___nl__9);
#line 125
c_rt_lib0clear(&___nl__10);
#line 125
c_rt_lib0move(&___nl__7, ptd0var(___nl__8));
#line 125
c_rt_lib0clear(&___nl__8);
#line 125
c_rt_lib0move(&___nl__9, c_rt_lib0func_new(tc_types0fun_arg_t0ptr, ___get_global_const(14), ___get_global_const(1018)));
#line 125
c_rt_lib0move(&___nl__9, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__9));
#line 125
c_rt_lib0move(&___nl__8, ptd0arr(___nl__9));
#line 125
c_rt_lib0clear(&___nl__9);
#line 125
c_rt_lib0move(&___nl__9, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1012), ___get_global_const(622)));
#line 125
c_rt_lib0move(&___nl__9, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__9));
#line 125
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(8, ___get_global_const(209), ___nl__2, ___get_global_const(996), ___nl__3, ___get_global_const(991), ___nl__4, ___get_global_const(76), ___nl__5, ___get_global_const(99), ___nl__6, ___get_global_const(328), ___nl__7, ___get_global_const(73), ___nl__8, ___get_global_const(712), ___nl__9));
#line 125
c_rt_lib0clear(&___nl__2);
#line 125
c_rt_lib0clear(&___nl__3);
#line 125
c_rt_lib0clear(&___nl__4);
#line 125
c_rt_lib0clear(&___nl__5);
#line 125
c_rt_lib0clear(&___nl__6);
#line 125
c_rt_lib0clear(&___nl__7);
#line 125
c_rt_lib0clear(&___nl__8);
#line 125
c_rt_lib0clear(&___nl__9);
#line 125
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 125
c_rt_lib0clear(&___nl__1);
#line 125
return ___nl__0;
#line 125
c_rt_lib0clear(&___nl__0);
#line 125
return NULL;
}
Exemple #20
0
ImmT tct0meta_type0cal() {
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
ImmT ___nl__6 = NULL;
ImmT ___nl__7 = NULL;
ImmT ___nl__8 = NULL;
ImmT ___nl__9 = NULL;
ImmT ___nl__10 = NULL;
#line 77
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678)));
#line 77
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 77
c_rt_lib0move(&___nl__2, ptd0hash(___nl__3));
#line 77
c_rt_lib0clear(&___nl__3);
#line 78
c_rt_lib0move(&___nl__3, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678)));
#line 78
c_rt_lib0move(&___nl__3, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__3));
#line 79
c_rt_lib0move(&___nl__4, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678)));
#line 79
c_rt_lib0move(&___nl__4, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__4));
#line 80
c_rt_lib0move(&___nl__8, c_rt_lib0func_new(tct0meta_type0ptr, ___get_global_const(1134), ___get_global_const(678)));
#line 80
c_rt_lib0move(&___nl__8, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__8));
#line 80
c_rt_lib0move(&___nl__9, ptd0none());
#line 80
c_rt_lib0move(&___nl__7, c_rt_lib0hash_mk(2, ___get_global_const(810), ___nl__8, ___get_global_const(809), ___nl__9));
#line 80
c_rt_lib0clear(&___nl__8);
#line 80
c_rt_lib0clear(&___nl__9);
#line 80
c_rt_lib0move(&___nl__6, ptd0var(___nl__7));
#line 80
c_rt_lib0clear(&___nl__7);
#line 80
c_rt_lib0move(&___nl__5, ptd0hash(___nl__6));
#line 80
c_rt_lib0clear(&___nl__6);
#line 81
c_rt_lib0move(&___nl__6, ptd0sim());
#line 82
c_rt_lib0move(&___nl__7, ptd0none());
#line 83
c_rt_lib0move(&___nl__8, ptd0none());
#line 84
c_rt_lib0move(&___nl__9, ptd0none());
#line 85
c_rt_lib0move(&___nl__10, ptd0none());
#line 85
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(9, ___get_global_const(801), ___nl__2, ___get_global_const(800), ___nl__3, ___get_global_const(799), ___nl__4, ___get_global_const(805), ___nl__5, ___get_global_const(802), ___nl__6, ___get_global_const(804), ___nl__7, ___get_global_const(806), ___nl__8, ___get_global_const(803), ___nl__9, ___get_global_const(798), ___nl__10));
#line 85
c_rt_lib0clear(&___nl__2);
#line 85
c_rt_lib0clear(&___nl__3);
#line 85
c_rt_lib0clear(&___nl__4);
#line 85
c_rt_lib0clear(&___nl__5);
#line 85
c_rt_lib0clear(&___nl__6);
#line 85
c_rt_lib0clear(&___nl__7);
#line 85
c_rt_lib0clear(&___nl__8);
#line 85
c_rt_lib0clear(&___nl__9);
#line 85
c_rt_lib0clear(&___nl__10);
#line 85
c_rt_lib0move(&___nl__0, ptd0var(___nl__1));
#line 85
c_rt_lib0clear(&___nl__1);
#line 85
return ___nl__0;
#line 85
c_rt_lib0clear(&___nl__0);
#line 85
return NULL;
}
Exemple #21
0
ImmT tc_types0ref_t0cal() {
tc_types_priv0__const__init();
ImmT ___nl__0 = NULL;
ImmT ___nl__1 = NULL;
ImmT ___nl__2 = NULL;
ImmT ___nl__3 = NULL;
ImmT ___nl__4 = NULL;
ImmT ___nl__5 = NULL;
ImmT ___nl__6 = NULL;
#line 167
c_rt_lib0move(&___nl__2, ptd0sim());
#line 167
c_rt_lib0move(&___nl__5, ptd0sim());
#line 167
c_rt_lib0move(&___nl__4, ptd0arr(___nl__5));
#line 167
c_rt_lib0clear(&___nl__5);
#line 167
c_rt_lib0move(&___nl__3, ptd0hash(___nl__4));
#line 167
c_rt_lib0clear(&___nl__4);
#line 167
c_rt_lib0move(&___nl__6, ptd0sim());
#line 167
c_rt_lib0move(&___nl__5, ptd0arr(___nl__6));
#line 167
c_rt_lib0clear(&___nl__6);
#line 167
c_rt_lib0move(&___nl__4, ptd0hash(___nl__5));
#line 167
c_rt_lib0clear(&___nl__5);
#line 167
c_rt_lib0move(&___nl__5, c_rt_lib0func_new(boolean_t0type0ptr, ___get_global_const(180), ___get_global_const(72)));
#line 167
c_rt_lib0move(&___nl__5, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__5));
#line 167
c_rt_lib0move(&___nl__6, c_rt_lib0func_new(boolean_t0type0ptr, ___get_global_const(180), ___get_global_const(72)));
#line 167
c_rt_lib0move(&___nl__6, c_rt_lib0ov_mk_arg(___get_global_const(5), ___nl__6));
#line 167
c_rt_lib0move(&___nl__1, c_rt_lib0hash_mk(5, ___get_global_const(982), ___nl__2, ___get_global_const(197), ___nl__3, ___get_global_const(198), ___nl__4, ___get_global_const(983), ___nl__5, ___get_global_const(984), ___nl__6));
#line 167
c_rt_lib0clear(&___nl__2);
#line 167
c_rt_lib0clear(&___nl__3);
#line 167
c_rt_lib0clear(&___nl__4);
#line 167
c_rt_lib0clear(&___nl__5);
#line 167
c_rt_lib0clear(&___nl__6);
#line 167
c_rt_lib0move(&___nl__0, ptd0rec(___nl__1));
#line 167
c_rt_lib0clear(&___nl__1);
#line 167
return ___nl__0;
#line 167
c_rt_lib0clear(&___nl__0);
#line 167
return NULL;
}