C++ (Cpp) ATS_GC_MARKROOT Beispiele

Beispiel #1

0

Datei anzeigen

Datei: pats_location_dats.c Projekt: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2edats__dynload () {
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2edats__dynload_flag = 1 ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp78, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp78 = ATS_MALLOC(sizeof(anairiats_rec_0)) ;
ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_filename, _2home_2hwxi_2research_2Postiats_2git_2src_2pats_filename_2esats__filename_dummy) ;
ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_beg_ntot, -1L) ;
ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_beg_nrow, -1) ;
ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_beg_ncol, -1) ;
ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_end_ntot, -1L) ;
ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_end_nrow, -1) ;
ats_selptrset_mac(anairiats_rec_0, statmp78, atslab_end_ncol, -1) ;

ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2esats__location_dummy, sizeof(ats_ptr_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_location_2esats__location_dummy = statmp78 ;
return ;
} /* end of [dynload function] */

Beispiel #2

0

Datei anzeigen

Datei: gcats1_marking_dats.c Projekt: Charon-Shi/ATS-Postiats

ats_void_type
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__dynload () {
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__dynload_flag = 1 ;
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&gcats1_marking_statmp43, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
#line 195 "gcats1_marking.dats"
ATS_GC_MARKROOT(&the_markstackpagecnt, sizeof(ats_int_type)) ;
the_markstackpagecnt = 0 ;
#line 196 "gcats1_marking.dats"
gcats1_marking_statmp43 = markstackpagelst_nil () ;
#line 196 "gcats1_marking.dats"
ATS_GC_MARKROOT(&the_markstackpagelst_fst, sizeof(ats_ptr_type)) ;
the_markstackpagelst_fst = gcats1_marking_statmp43 ;
#line 197 "gcats1_marking.dats"
ATS_GC_MARKROOT(&the_markstackpagelst_cur, sizeof(ats_ptr_type)) ;
the_markstackpagelst_cur = the_markstackpagelst_fst ;
#line 198 "gcats1_marking.dats"
ATS_GC_MARKROOT(&the_markstackposition, sizeof(ats_int_type)) ;
the_markstackposition = 0 ;
return ;
} /* end of [dynload function] */

Beispiel #3

0

Datei anzeigen

Datei: ats_set_fun_dats.c Projekt: wdblair/ats-anairiats-bootstrap

ats_void_type
_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__dynload () {
_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__dynload_flag = 1 ;
_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp0, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp0 = (ats_sum_ptr_type)(&_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2edats__E_0) ;
ATS_GC_MARKROOT(&_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2esats__set_nil, sizeof(ats_ptr_type)) ;
_2opt_2ats_2d0_2e2_2e9_2src_2ats_set_fun_2esats__set_nil = statmp0 ;
return ;
} /* end of [dynload function] */

Beispiel #4

0

Datei anzeigen

Datei: pats_basics_dats.c Projekt: ats-lang/ats-lang.github.io

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2edats__dynload () {
    _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2edats__dynload_flag = 1 ;
    _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#endif /* _ATS_PROOFCHECK */

    /* marking static variables for GC */
    ATS_GC_MARKROOT(&statmp62, sizeof(ats_int_type)) ;

    /* marking external values for GC */

    /* code for dynamic loading */
    ATS_GC_MARKROOT(&_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__VIEWT0YPE_knd, sizeof(ats_int_type)) ;
    _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_basics_2esats__VIEWT0YPE_knd = 3 ;
    /* ats_int_type statmp62 ; */
    statmp62 = 0 ;
    /* statmp63 = */ atspre_vbox_make_view_ptr ((&statmp62)) ;
    /* statmp64 = ats_selsin_mac(statmp63, atslab_1) */ ;
    return ;
} /* end of [dynload function] */

Beispiel #5

0

Datei anzeigen

Datei: pats_trans1_effect_dats.c Projekt: ats-lang/ats-lang.github.io

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans1_effect_2edats__dynload () {
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans1_effect_2edats__dynload_flag = 1 ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans1_effect_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp18, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp18 = (ats_sum_ptr_type)0 ;
return ;
} /* end of [dynload function] */

Beispiel #6

0

Datei anzeigen

Datei: gcats1_top_dats.c Projekt: Charon-Shi/ATS-Postiats

ats_void_type
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_top_2edats__dynload () {
// ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_top_2edats__dynload_flag = 1 ;
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_top_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e10_2prelude_2basics_dyn_2esats__file_mode_lte_w_w_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&gcats1_top_statmp21, sizeof(ats_int_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
#line 244 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_misc_2edats__dynload () ;
#line 245 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_freeitmlst_2edats__dynload () ;
#line 246 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_chunk_2edats__dynload () ;
#line 247 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_globalentry_2edats__dynload () ;
#line 251 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_marking_2edats__dynload () ;
#line 252 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_collecting_2edats__dynload () ;
#line 253 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_autops_2edats__dynload () ;
#line 254 "gcats1_top.dats"
ATS_2d0_2e2_2e10_2ccomp_2runtime_2GCATS1_2gcats1_manops_2edats__dynload () ;
#line 263 "gcats1_top.dats"
gcats1_top_statmp21 = gc_stack_dir_get () ;
#line 264 "gcats1_top.dats"
/* gcats1_top_statmp22 = */ gc_stack_beg_set (gcats1_top_statmp21) ;
#line 281 "gcats1_top.dats"
/* gcats1_top_statmp23 = */ the_markstack_extend (1) ;
return ;
} /* end of [dynload function] */

Beispiel #7

0

Datei anzeigen

Datei: pats_fixity_prec_dats.c Projekt: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__dynload () {
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__dynload_flag = 1 ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_prec_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp1, sizeof(ats_int_type)) ;
ATS_GC_MARKROOT(&statmp2, sizeof(ats_int_type)) ;
ATS_GC_MARKROOT(&statmp3, sizeof(ats_int_type)) ;
ATS_GC_MARKROOT(&statmp4, sizeof(ats_int_type)) ;
ATS_GC_MARKROOT(&statmp5, sizeof(ats_int_type)) ;
ATS_GC_MARKROOT(&statmp6, sizeof(ats_int_type)) ;
ATS_GC_MARKROOT(&statmp7, sizeof(ats_int_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__neginf_prec, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__neginf_prec = -1000000 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__posinf_prec, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__posinf_prec = 1000000 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec = 70 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec = 80 ;
statmp1 = atspre_add_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__backslash_prec, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__backslash_prec = statmp1 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__infixtemp_prec, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__infixtemp_prec = 0 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exi_prec_sta, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exi_prec_sta = 0 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__uni_prec_sta, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__uni_prec_sta = 0 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__delay_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__delay_prec_dyn = 0 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exist_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__exist_prec_dyn = 0 ;
statmp2 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__select_prec, 1) ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn = statmp2 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__addrat_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__addrat_prec_dyn = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__ptrof_prec_dyn ;
statmp3 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__foldat_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__foldat_prec_dyn = statmp3 ;
statmp4 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__freeat_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__freeat_prec_dyn = statmp4 ;
statmp5 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__viewat_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__viewat_prec_dyn = statmp5 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__invar_prec_sta, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__invar_prec_sta = 1 ;
statmp6 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmark_prec_sta, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmark_prec_sta = statmp6 ;
statmp7 = atspre_sub_int_int (_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__app_prec, 1) ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmarkbang_prec_sta, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__qmarkbang_prec_sta = statmp7 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__trans_prec_sta, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__trans_prec_sta = 0 ;
ATS_GC_MARKROOT(&_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__deref_prec_dyn, sizeof(ats_int_type)) ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_fixity_2esats__deref_prec_dyn = 100 ;
return ;
} /* end of [dynload function] */

Beispiel #8

0

Datei anzeigen

Datei: pats_stamp_dats.c Projekt: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_stamp_2edats__dynload () {
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_stamp_2edats__dynload_flag = 1 ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_stamp_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp9, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp11, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp13, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp15, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp17, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp19, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp21, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp23, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp25, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp27, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp29, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp31, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp33, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp36, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp9 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp11 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp13 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp15 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp17 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp19 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp21 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp23 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp25 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp27 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp29 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp31 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp33 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_counter_2esats__counter_make () ;
statmp36 = __ats_fun_22_closure_make () ;
return ;
} /* end of [dynload function] */

Beispiel #9

0

Datei anzeigen

Datei: pats_namespace_dats.c Projekt: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2edats__dynload () {
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2edats__dynload_flag = 1 ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_namespace_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp8, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp11, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp12, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp13, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp14, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp15, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp11 = (ats_sum_ptr_type)0 ;
statmp8 = ref_01088_ats_ptr_type (statmp11) ;
statmp13 = (ats_sum_ptr_type)0 ;
statmp12 = ref_01088_ats_ptr_type (statmp13) ;
statmp15 = (ats_sum_ptr_type)0 ;
statmp14 = ref_01088_ats_ptr_type (statmp15) ;
return ;
} /* end of [dynload function] */

Beispiel #10

0

Datei anzeigen

Datei: pats_global_dats.c Projekt: Charon-Shi/ats-lang.github.io

ats_void_type
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2edats__dynload () {
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2edats__dynload_flag = 1 ;
_2home_2hwxi_2research_2Postiats_2git_2src_2pats_global_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp0, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp7, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp10, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp16, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp19, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp22, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp25, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp28, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp29, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp34, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp37, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp40, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp43, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp0 = ref_01088_ats_ptr_type (atspre_stropt_none) ;
statmp7 = ref_01088_ats_int_type (0) ;
statmp10 = ref_01088_ats_ptr_type (atspre_null_ptr) ;
statmp16 = ref_01088_ats_int_type (0) ;
statmp19 = ref_01088_ats_ptr_type (atspre_stropt_none) ;
statmp22 = ref_01088_ats_int_type (0) ;
statmp25 = ref_01088_ats_ptr_type (atspre_stropt_none) ;
statmp29 = (ats_sum_ptr_type)0 ;
statmp28 = ref_01088_ats_ptr_type (statmp29) ;
statmp34 = ref_01088_ats_int_type (0) ;
statmp37 = ref_01088_ats_int_type (0) ;
statmp40 = ref_01088_ats_int_type (1) ;
statmp43 = ref_01088_ats_int_type (100) ;
return ;
} /* end of [dynload function] */

Beispiel #11

0

Datei anzeigen

Datei: pats_trans3_env_lamlp_dats.c Projekt: ats-lang/ats-lang.github.io

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_lamlp_2edats__dynload () {
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_lamlp_2edats__dynload_flag = 1 ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_lamlp_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e12_2prelude_2basics_dyn_2esats__unit_v_elim_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp1, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp4, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp4 = (ats_sum_ptr_type)0 ;
statmp1 = ref_01088_ats_ptr_type (statmp4) ;
return ;
} /* end of [dynload function] */

Beispiel #12

0

Datei anzeigen

Datei: pats_trans3_env_svar_dats.c Projekt: ats-lang/ats-lang.github.io

ats_void_type
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_svar_2edats__dynload () {
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_svar_2edats__dynload_flag = 1 ;
_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_trans3_env_svar_2edats__staload () ;

#ifdef _ATS_PROOFCHECK
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_2esats__list_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2list_vt_2esats__list_vt_length_is_nonnegative_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2SATS_2array_2esats__array_v_takeout2_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2list_vt_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____copy_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____free_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
ATS_2d0_2e2_2e12_2prelude_2DATS_2array_2edats____assert_prfck () ;
#endif /* _ATS_PROOFCHECK */

/* marking static variables for GC */
ATS_GC_MARKROOT(&statmp0, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp4, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp5, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp6, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp7, sizeof(ats_ptr_type)) ;
ATS_GC_MARKROOT(&statmp8, sizeof(ats_ptr_type)) ;

/* marking external values for GC */

/* code for dynamic loading */
statmp4 = _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_staexp2_2esats__s2varbindmap_make_nil () ;
statmp0 = ref_make_elt_01089_ats_ptr_type (statmp4) ;
statmp6 = (ats_sum_ptr_type)0 ;
statmp5 = ref_make_elt_01089_ats_ptr_type (statmp6) ;
statmp8 = (ats_sum_ptr_type)0 ;
statmp7 = ref_make_elt_01089_ats_ptr_type (statmp8) ;
return ;
} /* end of [dynload function] */