/* ** ** The C code is generated by ATS/Anairiats ** The compilation time is: 2011-9-10: 22h:10m ** */ /* include some .h files */ #ifndef _ATS_HEADER_NONE #include "ats_config.h" #include "ats_basics.h" #include "ats_types.h" #include "ats_exception.h" #include "ats_memory.h" #endif /* _ATS_HEADER_NONE */ /* include some .cats files */ #ifndef _ATS_PRELUDE_NONE #include "prelude/CATS/basics.cats" #include "prelude/CATS/bool.cats" #include "prelude/CATS/byte.cats" #include "prelude/CATS/char.cats" #include "prelude/CATS/float.cats" #include "prelude/CATS/integer.cats" #include "prelude/CATS/integer_fixed.cats" #include "prelude/CATS/integer_ptr.cats" #include "prelude/CATS/lazy.cats" #include "prelude/CATS/lazy_vt.cats" #include "prelude/CATS/pointer.cats" #include "prelude/CATS/printf.cats" #include "prelude/CATS/reference.cats" #include "prelude/CATS/sizetype.cats" #include "prelude/CATS/string.cats" #include "prelude/CATS/array.cats" #include "prelude/CATS/list.cats" #include "prelude/CATS/matrix.cats" #include "prelude/CATS/option.cats" #endif /* _ATS_PRELUDE_NONE */ /* prologues from statically loaded files */ /* external codes at top */ /* type definitions */ typedef struct { ats_ptr_type atslab_v1ar_loc ; ats_ptr_type atslab_v1ar_node ; ats_ptr_type atslab_v1ar_ty ; } anairiats_rec_0 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; } anairiats_sum_1 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_2 ; typedef struct { ats_ptr_type atslab_fieldexp_loc ; ats_ptr_type atslab_fieldexp_lab ; ats_ptr_type atslab_fieldexp_exp ; } anairiats_rec_3 ; typedef struct { ats_ptr_type atslab_exp_loc ; ats_ptr_type atslab_exp_node ; ats_ptr_type atslab_exp_ty ; } anairiats_rec_4 ; typedef struct { int tag ; ats_int_type atslab_0 ; } anairiats_sum_5 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; ats_ptr_type atslab_2 ; } anairiats_sum_6 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; ats_ptr_type atslab_2 ; ats_ptr_type atslab_3 ; ats_ptr_type atslab_4 ; } anairiats_sum_7 ; typedef struct { ats_ptr_type atslab_0 ; } anairiats_sum_8 ; typedef struct { ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; } anairiats_sum_9 ; typedef struct { ats_ptr_type atslab_fieldtyp_loc ; ats_ptr_type atslab_fieldtyp_lab ; ats_ptr_type atslab_fieldtyp_escape ; ats_ptr_type atslab_fieldtyp_typ ; } anairiats_rec_10 ; typedef struct { ats_ptr_type atslab_fundec_loc ; ats_ptr_type atslab_fundec_name ; ats_ptr_type atslab_fundec_arglst ; ats_ptr_type atslab_fundec_result ; ats_ptr_type atslab_fundec_body ; } anairiats_rec_11 ; typedef struct { ats_ptr_type atslab_typdec_loc ; ats_ptr_type atslab_typdec_name ; ats_ptr_type atslab_typdec_typ ; } anairiats_rec_12 ; typedef struct { ats_ptr_type atslab_dec_loc ; ats_ptr_type atslab_dec_node ; } anairiats_rec_13 ; typedef struct { int tag ; ats_ptr_type atslab_0 ; ats_ptr_type atslab_1 ; ats_ptr_type atslab_2 ; ats_ptr_type atslab_3 ; } anairiats_sum_14 ; typedef struct { ats_ptr_type atslab_typ_loc ; ats_ptr_type atslab_typ_node ; ats_ptr_type atslab_typ_ty ; } anairiats_rec_15 ; /* external typedefs */ typedef anairiats_rec_4 *exp_t ; typedef anairiats_rec_0 *v1ar_t ; typedef anairiats_rec_15 *typ_t ; /* external dynamic constructor declarations */ ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_cons) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__list_nil) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__None) ; ATSextern_val(ats_sum_type, ATS_2d0_2e2_2e6_2prelude_2basics_sta_2esats__Some) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__PlusOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__MinusOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__TimesOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__DivideOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__EqOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NeqOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__GtOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__GeOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__LtOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__LeOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__AndOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__OrOp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NameTyp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordTyp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayTyp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FunctionDec) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarDec) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__TypeDec) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NilExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IntExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__StringExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__CallExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__OpExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SeqExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__AssignExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IfExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__WhileExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ForExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__BreakExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ContinueExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__LetExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayExp) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SimpleVar) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FieldVar) ; ATSextern_val(ats_sum_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SubscriptVar) ; /* external dynamic constant declarations */ ATSextern_fun(ats_int_type, atspre_add_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_bool_type, atspre_gt_int_int) (ats_int_type, ats_int_type) ; ATSextern_fun(ats_void_type, atspre_fprint_int) (ats_ptr_type, ats_int_type) ; ATSextern_fun(ats_ptr_type, atspre_ref_make_elt_tsz) (ats_ref_type, ats_size_type) ; ATSextern_fun(ats_void_type, atspre_fprint_string) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_oper) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp) (ats_ptr_type, ats_ptr_type) ; ATSextern_fun(ats_void_type, _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_explst) (ats_ptr_type, ats_ptr_type) ; /* external dynamic terminating constant declarations */ #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* sum constructor declarations */ /* exn constructor declarations */ /* global dynamic (non-functional) constant declarations */ /* internal function declarations */ static ats_ptr_type ref_01023_ats_bool_type (ats_bool_type arg0) ; static ats_ptr_type ref_make_elt_01024_ats_bool_type (ats_bool_type arg0) ; static ats_void_type loop_30 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) ; /* partial value template declarations */ /* static temporary variable declarations */ /* external value variable declarations */ /* function implementations */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 485(line=32, offs=23) -- 999(line=44, offs=39) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_oper (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp0) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_oper: #line 32 "absyn.dats" do { /* branch: __ats_lab_0 */ #line 33 "absyn.dats" __ats_lab_0_0: #line 33 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 0) { goto __ats_lab_1_0 ; } #line 33 "absyn.dats" __ats_lab_0_1: #line 33 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("+")) ; break ; /* branch: __ats_lab_1 */ #line 34 "absyn.dats" __ats_lab_1_0: #line 34 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 1) { goto __ats_lab_2_0 ; } #line 34 "absyn.dats" __ats_lab_1_1: #line 34 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("-")) ; break ; /* branch: __ats_lab_2 */ #line 35 "absyn.dats" __ats_lab_2_0: #line 35 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 2) { goto __ats_lab_3_0 ; } #line 35 "absyn.dats" __ats_lab_2_1: #line 35 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("*")) ; break ; /* branch: __ats_lab_3 */ #line 36 "absyn.dats" __ats_lab_3_0: #line 36 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 3) { goto __ats_lab_4_0 ; } #line 36 "absyn.dats" __ats_lab_3_1: #line 36 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("/")) ; break ; /* branch: __ats_lab_4 */ #line 37 "absyn.dats" __ats_lab_4_0: #line 37 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 4) { goto __ats_lab_5_0 ; } #line 37 "absyn.dats" __ats_lab_4_1: #line 37 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("=")) ; break ; /* branch: __ats_lab_5 */ #line 38 "absyn.dats" __ats_lab_5_0: #line 38 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 5) { goto __ats_lab_6_0 ; } #line 38 "absyn.dats" __ats_lab_5_1: #line 38 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("<>")) ; break ; /* branch: __ats_lab_6 */ #line 39 "absyn.dats" __ats_lab_6_0: #line 39 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 6) { goto __ats_lab_7_0 ; } #line 39 "absyn.dats" __ats_lab_6_1: #line 39 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(">")) ; break ; /* branch: __ats_lab_7 */ #line 40 "absyn.dats" __ats_lab_7_0: #line 40 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 7) { goto __ats_lab_8_0 ; } #line 40 "absyn.dats" __ats_lab_7_1: #line 40 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst(">=")) ; break ; /* branch: __ats_lab_8 */ #line 41 "absyn.dats" __ats_lab_8_0: #line 41 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 8) { goto __ats_lab_9_0 ; } #line 41 "absyn.dats" __ats_lab_8_1: #line 41 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("<")) ; break ; /* branch: __ats_lab_9 */ #line 42 "absyn.dats" __ats_lab_9_0: #line 42 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 9) { goto __ats_lab_10_0 ; } #line 42 "absyn.dats" __ats_lab_9_1: #line 42 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("<=")) ; break ; /* branch: __ats_lab_10 */ #line 43 "absyn.dats" __ats_lab_10_0: #line 43 "absyn.dats" if (((ats_sum_ptr_type)arg1)->tag != 10) { goto __ats_lab_11_0 ; } #line 43 "absyn.dats" __ats_lab_10_1: #line 43 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("&")) ; break ; /* branch: __ats_lab_11 */ #line 44 "absyn.dats" __ats_lab_11_0: #line 44 "absyn.dats" // if (((ats_sum_ptr_type)arg1)->tag != 11) { ats_deadcode_failure_handle () ; } #line 44 "absyn.dats" __ats_lab_11_1: #line 44 "absyn.dats" /* tmp0 = */ atspre_fprint_string (arg0, ATSstrcst("|")) ; break ; } while (0) ; return /* (tmp0) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_oper] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 1046(line=47, offs=22) -- 1085(line=47, offs=61) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_oper (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp1) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_oper: #line 47 "absyn.dats" /* tmp1 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_oper (stdout, arg0) ; return /* (tmp1) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_oper] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 1107(line=48, offs=22) -- 1146(line=48, offs=61) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_oper (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp2) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_oper: #line 48 "absyn.dats" /* tmp2 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_oper (stderr, arg0) ; return /* (tmp2) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_oper] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 1194(line=52, offs=26) -- 1276(line=56, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SimpleVar_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp3) ; ATSlocal (ats_ptr_type, tmp4) ; ATSlocal (ats_ptr_type, tmp5) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SimpleVar_make: #line 54 "absyn.dats" tmp4 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp4)->tag = 0 ; ats_selptrset_mac(anairiats_sum_1, tmp4, atslab_0, arg1) ; #line 55 "absyn.dats" tmp5 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 52 "absyn.dats" tmp3 = ATS_MALLOC(sizeof(anairiats_rec_0)) ; ats_selptrset_mac(anairiats_rec_0, tmp3, atslab_v1ar_loc, arg0) ; ats_selptrset_mac(anairiats_rec_0, tmp3, atslab_v1ar_node, tmp4) ; ats_selptrset_mac(anairiats_rec_0, tmp3, atslab_v1ar_ty, tmp5) ; return (tmp3) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SimpleVar_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 1329(line=58, offs=25) -- 1418(line=62, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FieldVar_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp6) ; ATSlocal (ats_ptr_type, tmp7) ; ATSlocal (ats_ptr_type, tmp8) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FieldVar_make: #line 60 "absyn.dats" tmp7 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp7)->tag = 1 ; ats_selptrset_mac(anairiats_sum_2, tmp7, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp7, atslab_1, arg2) ; #line 61 "absyn.dats" tmp8 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 58 "absyn.dats" tmp6 = ATS_MALLOC(sizeof(anairiats_rec_0)) ; ats_selptrset_mac(anairiats_rec_0, tmp6, atslab_v1ar_loc, arg0) ; ats_selptrset_mac(anairiats_rec_0, tmp6, atslab_v1ar_node, tmp7) ; ats_selptrset_mac(anairiats_rec_0, tmp6, atslab_v1ar_ty, tmp8) ; return (tmp6) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FieldVar_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 1474(line=64, offs=29) -- 1565(line=68, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SubscriptVar_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp9) ; ATSlocal (ats_ptr_type, tmp10) ; ATSlocal (ats_ptr_type, tmp11) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SubscriptVar_make: #line 66 "absyn.dats" tmp10 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp10)->tag = 2 ; ats_selptrset_mac(anairiats_sum_2, tmp10, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp10, atslab_1, arg2) ; #line 67 "absyn.dats" tmp11 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 64 "absyn.dats" tmp9 = ATS_MALLOC(sizeof(anairiats_rec_0)) ; ats_selptrset_mac(anairiats_rec_0, tmp9, atslab_v1ar_loc, arg0) ; ats_selptrset_mac(anairiats_rec_0, tmp9, atslab_v1ar_node, tmp10) ; ats_selptrset_mac(anairiats_rec_0, tmp9, atslab_v1ar_ty, tmp11) ; return (tmp9) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SubscriptVar_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 1642(line=73, offs=3) -- 2278(line=92, offs=8) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp12) ; ATSlocal (ats_ptr_type, tmp13) ; ATSlocal (ats_ptr_type, tmp14) ; // ATSlocal_void (tmp15) ; // ATSlocal_void (tmp16) ; ATSlocal (ats_ptr_type, tmp17) ; ATSlocal (ats_ptr_type, tmp18) ; // ATSlocal_void (tmp19) ; // ATSlocal_void (tmp20) ; // ATSlocal_void (tmp21) ; // ATSlocal_void (tmp22) ; ATSlocal (ats_ptr_type, tmp23) ; ATSlocal (ats_ptr_type, tmp24) ; // ATSlocal_void (tmp25) ; // ATSlocal_void (tmp26) ; // ATSlocal_void (tmp27) ; // ATSlocal_void (tmp28) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar: #line 73 "absyn.dats" tmp13 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_0, arg1), atslab_v1ar_node) ; #line 73 "absyn.dats" do { /* branch: __ats_lab_12 */ #line 74 "absyn.dats" __ats_lab_12_0: #line 74 "absyn.dats" if (((ats_sum_ptr_type)tmp13)->tag != 0) { goto __ats_lab_13_0 ; } #line 74 "absyn.dats" __ats_lab_12_1: #line 74 "absyn.dats" tmp14 = ats_caselptr_mac(anairiats_sum_1, tmp13, atslab_0) ; #line 75 "absyn.dats" /* tmp15 = */ atspre_fprint_string (arg0, ATSstrcst("SimpleVar(")) ; #line 76 "absyn.dats" /* tmp16 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol (arg0, tmp14) ; #line 77 "absyn.dats" /* tmp12 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_13 */ #line 79 "absyn.dats" __ats_lab_13_0: #line 79 "absyn.dats" if (((ats_sum_ptr_type)tmp13)->tag != 1) { goto __ats_lab_14_0 ; } #line 79 "absyn.dats" __ats_lab_13_1: #line 79 "absyn.dats" tmp17 = ats_caselptr_mac(anairiats_sum_2, tmp13, atslab_0) ; #line 79 "absyn.dats" tmp18 = ats_caselptr_mac(anairiats_sum_2, tmp13, atslab_1) ; #line 80 "absyn.dats" /* tmp19 = */ atspre_fprint_string (arg0, ATSstrcst("FieldVar(")) ; #line 81 "absyn.dats" /* tmp20 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar (arg0, tmp17) ; #line 82 "absyn.dats" /* tmp21 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 83 "absyn.dats" /* tmp22 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol (arg0, tmp18) ; #line 84 "absyn.dats" /* tmp12 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_14 */ #line 86 "absyn.dats" __ats_lab_14_0: #line 86 "absyn.dats" // if (((ats_sum_ptr_type)tmp13)->tag != 2) { ats_deadcode_failure_handle () ; } #line 86 "absyn.dats" __ats_lab_14_1: #line 86 "absyn.dats" tmp23 = ats_caselptr_mac(anairiats_sum_2, tmp13, atslab_0) ; #line 86 "absyn.dats" tmp24 = ats_caselptr_mac(anairiats_sum_2, tmp13, atslab_1) ; #line 87 "absyn.dats" /* tmp25 = */ atspre_fprint_string (arg0, ATSstrcst("SubscriptVar(")) ; #line 88 "absyn.dats" /* tmp26 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar (arg0, tmp23) ; #line 89 "absyn.dats" /* tmp27 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 90 "absyn.dats" /* tmp28 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp24) ; #line 91 "absyn.dats" /* tmp12 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; } while (0) ; return /* (tmp12) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 2350(line=95, offs=22) -- 2383(line=95, offs=55) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_v1ar (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp29) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_v1ar: #line 95 "absyn.dats" /* tmp29 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar (stdout, arg0) ; return /* (tmp29) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_v1ar] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 2405(line=96, offs=22) -- 2438(line=96, offs=55) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_v1ar (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp30) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_v1ar: #line 96 "absyn.dats" /* tmp30 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar (stderr, arg0) ; return /* (tmp30) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_v1ar] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 2485(line=100, offs=25) -- 2567(line=104, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fieldexp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp31) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fieldexp_make: #line 100 "absyn.dats" tmp31 = ATS_MALLOC(sizeof(anairiats_rec_3)) ; ats_selptrset_mac(anairiats_rec_3, tmp31, atslab_fieldexp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_3, tmp31, atslab_fieldexp_lab, arg1) ; ats_selptrset_mac(anairiats_rec_3, tmp31, atslab_fieldexp_exp, arg2) ; return (tmp31) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fieldexp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 2617(line=106, offs=23) -- 2685(line=110, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NilExp_make (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp32) ; ATSlocal (ats_ptr_type, tmp33) ; ATSlocal (ats_ptr_type, tmp34) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NilExp_make: #line 108 "absyn.dats" tmp33 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NilExp) ; #line 109 "absyn.dats" tmp34 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 106 "absyn.dats" tmp32 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp32, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp32, atslab_exp_node, tmp33) ; ats_selptrset_mac(anairiats_rec_4, tmp32, atslab_exp_ty, tmp34) ; return (tmp32) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NilExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 2709(line=112, offs=23) -- 2781(line=116, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarExp_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp35) ; ATSlocal (ats_ptr_type, tmp36) ; ATSlocal (ats_ptr_type, tmp37) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarExp_make: #line 114 "absyn.dats" tmp36 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp36)->tag = 0 ; ats_selptrset_mac(anairiats_sum_1, tmp36, atslab_0, arg1) ; #line 115 "absyn.dats" tmp37 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 112 "absyn.dats" tmp35 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp35, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp35, atslab_exp_node, tmp36) ; ats_selptrset_mac(anairiats_rec_4, tmp35, atslab_exp_ty, tmp37) ; return (tmp35) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 2805(line=118, offs=23) -- 2881(line=122, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IntExp_make (ats_ptr_type arg0, ats_int_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp38) ; ATSlocal (ats_ptr_type, tmp39) ; ATSlocal (ats_ptr_type, tmp40) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IntExp_make: #line 120 "absyn.dats" tmp39 = ATS_MALLOC(sizeof(anairiats_sum_5)) ; ((ats_sum_ptr_type)tmp39)->tag = 2 ; ats_selptrset_mac(anairiats_sum_5, tmp39, atslab_0, arg1) ; #line 121 "absyn.dats" tmp40 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 118 "absyn.dats" tmp38 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp38, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp38, atslab_exp_node, tmp39) ; ats_selptrset_mac(anairiats_rec_4, tmp38, atslab_exp_ty, tmp40) ; return (tmp38) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IntExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 2908(line=124, offs=26) -- 2987(line=128, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__StringExp_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp41) ; ATSlocal (ats_ptr_type, tmp42) ; ATSlocal (ats_ptr_type, tmp43) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__StringExp_make: #line 126 "absyn.dats" tmp42 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp42)->tag = 3 ; ats_selptrset_mac(anairiats_sum_1, tmp42, atslab_0, arg1) ; #line 127 "absyn.dats" tmp43 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 124 "absyn.dats" tmp41 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp41, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp41, atslab_exp_node, tmp42) ; ats_selptrset_mac(anairiats_rec_4, tmp41, atslab_exp_ty, tmp43) ; return (tmp41) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__StringExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3012(line=130, offs=24) -- 3099(line=134, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__CallExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp44) ; ATSlocal (ats_ptr_type, tmp45) ; ATSlocal (ats_ptr_type, tmp46) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__CallExp_make: #line 132 "absyn.dats" tmp45 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp45)->tag = 4 ; ats_selptrset_mac(anairiats_sum_2, tmp45, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp45, atslab_1, arg2) ; #line 133 "absyn.dats" tmp46 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 130 "absyn.dats" tmp44 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp44, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp44, atslab_exp_node, tmp45) ; ats_selptrset_mac(anairiats_rec_4, tmp44, atslab_exp_ty, tmp46) ; return (tmp44) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__CallExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3122(line=136, offs=22) -- 3227(line=140, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__OpExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp47) ; ATSlocal (ats_ptr_type, tmp48) ; ATSlocal (ats_ptr_type, tmp49) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__OpExp_make: #line 138 "absyn.dats" tmp48 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ((ats_sum_ptr_type)tmp48)->tag = 5 ; ats_selptrset_mac(anairiats_sum_6, tmp48, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp48, atslab_1, arg2) ; ats_selptrset_mac(anairiats_sum_6, tmp48, atslab_2, arg3) ; #line 139 "absyn.dats" tmp49 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 136 "absyn.dats" tmp47 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp47, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp47, atslab_exp_node, tmp48) ; ats_selptrset_mac(anairiats_rec_4, tmp47, atslab_exp_ty, tmp49) ; return (tmp47) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__OpExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3254(line=142, offs=26) -- 3347(line=146, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp50) ; ATSlocal (ats_ptr_type, tmp51) ; ATSlocal (ats_ptr_type, tmp52) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordExp_make: #line 144 "absyn.dats" tmp51 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp51)->tag = 6 ; ats_selptrset_mac(anairiats_sum_2, tmp51, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp51, atslab_1, arg2) ; #line 145 "absyn.dats" tmp52 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 142 "absyn.dats" tmp50 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp50, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp50, atslab_exp_node, tmp51) ; ats_selptrset_mac(anairiats_rec_4, tmp50, atslab_exp_ty, tmp52) ; return (tmp50) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3371(line=148, offs=23) -- 3445(line=152, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SeqExp_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp53) ; ATSlocal (ats_ptr_type, tmp54) ; ATSlocal (ats_ptr_type, tmp55) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SeqExp_make: #line 150 "absyn.dats" tmp54 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp54)->tag = 7 ; ats_selptrset_mac(anairiats_sum_1, tmp54, atslab_0, arg1) ; #line 151 "absyn.dats" tmp55 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 148 "absyn.dats" tmp53 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp53, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp53, atslab_exp_node, tmp54) ; ats_selptrset_mac(anairiats_rec_4, tmp53, atslab_exp_ty, tmp55) ; return (tmp53) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__SeqExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3472(line=154, offs=26) -- 3553(line=158, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__AssignExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp56) ; ATSlocal (ats_ptr_type, tmp57) ; ATSlocal (ats_ptr_type, tmp58) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__AssignExp_make: #line 156 "absyn.dats" tmp57 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp57)->tag = 8 ; ats_selptrset_mac(anairiats_sum_2, tmp57, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp57, atslab_1, arg2) ; #line 157 "absyn.dats" tmp58 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 154 "absyn.dats" tmp56 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp56, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp56, atslab_exp_node, tmp57) ; ats_selptrset_mac(anairiats_rec_4, tmp56, atslab_exp_ty, tmp58) ; return (tmp56) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__AssignExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3579(line=160, offs=25) -- 3693(line=164, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp59) ; ATSlocal (ats_ptr_type, tmp60) ; ATSlocal (ats_ptr_type, tmp61) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayExp_make: #line 162 "absyn.dats" tmp60 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ((ats_sum_ptr_type)tmp60)->tag = 15 ; ats_selptrset_mac(anairiats_sum_6, tmp60, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp60, atslab_1, arg2) ; ats_selptrset_mac(anairiats_sum_6, tmp60, atslab_2, arg3) ; #line 163 "absyn.dats" tmp61 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 160 "absyn.dats" tmp59 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp59, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp59, atslab_exp_node, tmp60) ; ats_selptrset_mac(anairiats_rec_4, tmp59, atslab_exp_ty, tmp61) ; return (tmp59) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3716(line=166, offs=22) -- 3807(line=170, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IfExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp62) ; ATSlocal (ats_ptr_type, tmp63) ; ATSlocal (ats_ptr_type, tmp64) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IfExp_make: #line 168 "absyn.dats" tmp63 = ATS_MALLOC(sizeof(anairiats_sum_6)) ; ((ats_sum_ptr_type)tmp63)->tag = 9 ; ats_selptrset_mac(anairiats_sum_6, tmp63, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_6, tmp63, atslab_1, arg2) ; ats_selptrset_mac(anairiats_sum_6, tmp63, atslab_2, arg3) ; #line 169 "absyn.dats" tmp64 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 166 "absyn.dats" tmp62 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp62, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp62, atslab_exp_node, tmp63) ; ats_selptrset_mac(anairiats_rec_4, tmp62, atslab_exp_ty, tmp64) ; return (tmp62) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__IfExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3833(line=172, offs=25) -- 3933(line=176, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__WhileExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp65) ; ATSlocal (ats_ptr_type, tmp66) ; ATSlocal (ats_ptr_type, tmp67) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__WhileExp_make: #line 174 "absyn.dats" tmp66 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp66)->tag = 10 ; ats_selptrset_mac(anairiats_sum_2, tmp66, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp66, atslab_1, arg2) ; #line 175 "absyn.dats" tmp67 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 172 "absyn.dats" tmp65 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp65, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp65, atslab_exp_node, tmp66) ; ats_selptrset_mac(anairiats_rec_4, tmp65, atslab_exp_ty, tmp67) ; return (tmp65) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__WhileExp_make] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 1834(line=59, offs=18) -- 1908(line=61, offs=4) */ ATSstaticdec() ats_ptr_type ref_01023_ats_bool_type (ats_bool_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp71) ; ATSlocal (ats_bool_type, tmp72) ; __ats_lab_ref_01023_ats_bool_type: #line 60 "reference.dats" /* ats_bool_type tmp72 ; */ #line 60 "reference.dats" tmp72 = arg0 ; #line 60 "reference.dats" tmp71 = atspre_ref_make_elt_tsz ((&tmp72), sizeof(ats_bool_type)) ; return (tmp71) ; } /* end of [ref_01023_ats_bool_type] */ /* // /home/fac2/hwxi/research/ATS/IMPLEMENT/Geizella/Anairiats/svn/ats-lang/prelude/DATS/reference.dats: 2000(line=64, offs=27) -- 2015(line=64, offs=42) */ ATSstaticdec() ats_ptr_type ref_make_elt_01024_ats_bool_type (ats_bool_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp70) ; __ats_lab_ref_make_elt_01024_ats_bool_type: #line 64 "reference.dats" tmp70 = ref_01023_ats_bool_type (arg0) ; return (tmp70) ; } /* end of [ref_make_elt_01024_ats_bool_type] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 3959(line=179, offs=3) -- 4136(line=185, offs=6) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ForExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) { /* local vardec */ ATSlocal (ats_ptr_type, tmp68) ; ATSlocal (ats_ptr_type, tmp69) ; ATSlocal (ats_ptr_type, tmp73) ; ATSlocal (ats_ptr_type, tmp74) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ForExp_make: #line 180 "absyn.dats" tmp69 = ref_make_elt_01024_ats_bool_type (ats_false_bool) ; #line 183 "absyn.dats" tmp73 = ATS_MALLOC(sizeof(anairiats_sum_7)) ; ((ats_sum_ptr_type)tmp73)->tag = 11 ; ats_selptrset_mac(anairiats_sum_7, tmp73, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_7, tmp73, atslab_1, tmp69) ; ats_selptrset_mac(anairiats_sum_7, tmp73, atslab_2, arg2) ; ats_selptrset_mac(anairiats_sum_7, tmp73, atslab_3, arg3) ; ats_selptrset_mac(anairiats_sum_7, tmp73, atslab_4, arg4) ; #line 184 "absyn.dats" tmp74 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 181 "absyn.dats" tmp68 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp68, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp68, atslab_exp_node, tmp73) ; ats_selptrset_mac(anairiats_rec_4, tmp68, atslab_exp_ty, tmp74) ; return (tmp68) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ForExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 4186(line=187, offs=25) -- 4256(line=191, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__BreakExp_make (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp75) ; ATSlocal (ats_ptr_type, tmp76) ; ATSlocal (ats_ptr_type, tmp77) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__BreakExp_make: #line 189 "absyn.dats" tmp76 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__BreakExp) ; #line 190 "absyn.dats" tmp77 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 187 "absyn.dats" tmp75 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp75, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp75, atslab_exp_node, tmp76) ; ats_selptrset_mac(anairiats_rec_4, tmp75, atslab_exp_ty, tmp77) ; return (tmp75) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__BreakExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 4285(line=193, offs=28) -- 4358(line=197, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ContinueExp_make (ats_ptr_type arg0) { /* local vardec */ ATSlocal (ats_ptr_type, tmp78) ; ATSlocal (ats_ptr_type, tmp79) ; ATSlocal (ats_ptr_type, tmp80) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ContinueExp_make: #line 195 "absyn.dats" tmp79 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ContinueExp) ; #line 196 "absyn.dats" tmp80 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 193 "absyn.dats" tmp78 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp78, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp78, atslab_exp_node, tmp79) ; ats_selptrset_mac(anairiats_rec_4, tmp78, atslab_exp_ty, tmp80) ; return (tmp78) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ContinueExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 4382(line=199, offs=23) -- 4472(line=203, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__LetExp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp81) ; ATSlocal (ats_ptr_type, tmp82) ; ATSlocal (ats_ptr_type, tmp83) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__LetExp_make: #line 201 "absyn.dats" tmp82 = ATS_MALLOC(sizeof(anairiats_sum_2)) ; ((ats_sum_ptr_type)tmp82)->tag = 14 ; ats_selptrset_mac(anairiats_sum_2, tmp82, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_2, tmp82, atslab_1, arg2) ; #line 202 "absyn.dats" tmp83 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 199 "absyn.dats" tmp81 = ATS_MALLOC(sizeof(anairiats_rec_4)) ; ats_selptrset_mac(anairiats_rec_4, tmp81, atslab_exp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_4, tmp81, atslab_exp_node, tmp82) ; ats_selptrset_mac(anairiats_rec_4, tmp81, atslab_exp_ty, tmp83) ; return (tmp81) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__LetExp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 4516(line=207, offs=22) -- 6813(line=287, offs=4) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp84) ; ATSlocal (ats_ptr_type, tmp85) ; ATSlocal (ats_ptr_type, tmp86) ; // ATSlocal_void (tmp87) ; // ATSlocal_void (tmp88) ; ATSlocal (ats_int_type, tmp89) ; // ATSlocal_void (tmp90) ; // ATSlocal_void (tmp91) ; ATSlocal (ats_ptr_type, tmp92) ; // ATSlocal_void (tmp93) ; // ATSlocal_void (tmp94) ; ATSlocal (ats_ptr_type, tmp95) ; ATSlocal (ats_ptr_type, tmp96) ; // ATSlocal_void (tmp97) ; // ATSlocal_void (tmp98) ; // ATSlocal_void (tmp99) ; // ATSlocal_void (tmp100) ; ATSlocal (ats_ptr_type, tmp101) ; ATSlocal (ats_ptr_type, tmp102) ; ATSlocal (ats_ptr_type, tmp103) ; // ATSlocal_void (tmp104) ; // ATSlocal_void (tmp105) ; // ATSlocal_void (tmp106) ; // ATSlocal_void (tmp107) ; // ATSlocal_void (tmp108) ; // ATSlocal_void (tmp109) ; // ATSlocal_void (tmp110) ; // ATSlocal_void (tmp111) ; ATSlocal (ats_ptr_type, tmp112) ; // ATSlocal_void (tmp113) ; // ATSlocal_void (tmp114) ; ATSlocal (ats_ptr_type, tmp115) ; ATSlocal (ats_ptr_type, tmp116) ; // ATSlocal_void (tmp117) ; // ATSlocal_void (tmp118) ; // ATSlocal_void (tmp119) ; // ATSlocal_void (tmp120) ; ATSlocal (ats_ptr_type, tmp121) ; ATSlocal (ats_ptr_type, tmp122) ; ATSlocal (ats_ptr_type, tmp123) ; // ATSlocal_void (tmp124) ; // ATSlocal_void (tmp125) ; // ATSlocal_void (tmp126) ; // ATSlocal_void (tmp127) ; // ATSlocal_void (tmp128) ; ATSlocal (ats_ptr_type, tmp129) ; // ATSlocal_void (tmp130) ; ATSlocal (ats_ptr_type, tmp131) ; ATSlocal (ats_ptr_type, tmp132) ; // ATSlocal_void (tmp133) ; // ATSlocal_void (tmp134) ; // ATSlocal_void (tmp135) ; // ATSlocal_void (tmp136) ; ATSlocal (ats_ptr_type, tmp137) ; ATSlocal (ats_ptr_type, tmp138) ; ATSlocal (ats_ptr_type, tmp139) ; ATSlocal (ats_ptr_type, tmp140) ; // ATSlocal_void (tmp141) ; // ATSlocal_void (tmp142) ; // ATSlocal_void (tmp143) ; // ATSlocal_void (tmp144) ; // ATSlocal_void (tmp145) ; // ATSlocal_void (tmp146) ; // ATSlocal_void (tmp147) ; // ATSlocal_void (tmp148) ; ATSlocal (ats_ptr_type, tmp149) ; // ATSlocal_void (tmp150) ; // ATSlocal_void (tmp151) ; // ATSlocal_void (tmp152) ; // ATSlocal_void (tmp153) ; ATSlocal (ats_ptr_type, tmp154) ; ATSlocal (ats_ptr_type, tmp155) ; // ATSlocal_void (tmp156) ; // ATSlocal_void (tmp157) ; // ATSlocal_void (tmp158) ; // ATSlocal_void (tmp159) ; // ATSlocal_void (tmp160) ; // ATSlocal_void (tmp161) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp: #line 214 "absyn.dats" tmp85 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_4, arg1), atslab_exp_node) ; #line 214 "absyn.dats" do { /* branch: __ats_lab_15 */ #line 215 "absyn.dats" __ats_lab_15_0: #line 215 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 0) { goto __ats_lab_16_0 ; } #line 215 "absyn.dats" __ats_lab_15_1: #line 215 "absyn.dats" tmp86 = ats_caselptr_mac(anairiats_sum_1, tmp85, atslab_0) ; #line 216 "absyn.dats" /* tmp87 = */ atspre_fprint_string (arg0, ATSstrcst("VarExp(")) ; #line 216 "absyn.dats" /* tmp88 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar (arg0, tmp86) ; #line 216 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_16 */ #line 218 "absyn.dats" __ats_lab_16_0: #line 218 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 1) { goto __ats_lab_17_0 ; } #line 218 "absyn.dats" __ats_lab_16_1: #line 218 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst("NilExp()")) ; break ; /* branch: __ats_lab_17 */ #line 219 "absyn.dats" __ats_lab_17_0: #line 219 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 2) { goto __ats_lab_18_0 ; } #line 219 "absyn.dats" __ats_lab_17_1: #line 219 "absyn.dats" tmp89 = ats_caselptr_mac(anairiats_sum_5, tmp85, atslab_0) ; #line 220 "absyn.dats" /* tmp90 = */ atspre_fprint_string (arg0, ATSstrcst("IntExp(")) ; #line 220 "absyn.dats" /* tmp91 = */ atspre_fprint_int (arg0, tmp89) ; #line 220 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_18 */ #line 222 "absyn.dats" __ats_lab_18_0: #line 222 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 3) { goto __ats_lab_19_0 ; } #line 222 "absyn.dats" __ats_lab_18_1: #line 222 "absyn.dats" tmp92 = ats_caselptr_mac(anairiats_sum_1, tmp85, atslab_0) ; #line 223 "absyn.dats" /* tmp93 = */ atspre_fprint_string (arg0, ATSstrcst("StringExp(")) ; #line 223 "absyn.dats" /* tmp94 = */ atspre_fprint_string (arg0, tmp92) ; #line 223 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_19 */ #line 225 "absyn.dats" __ats_lab_19_0: #line 225 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 4) { goto __ats_lab_20_0 ; } #line 225 "absyn.dats" __ats_lab_19_1: #line 225 "absyn.dats" tmp95 = ats_caselptr_mac(anairiats_sum_2, tmp85, atslab_0) ; #line 225 "absyn.dats" tmp96 = ats_caselptr_mac(anairiats_sum_2, tmp85, atslab_1) ; #line 226 "absyn.dats" /* tmp97 = */ atspre_fprint_string (arg0, ATSstrcst("CallExp(")) ; #line 226 "absyn.dats" /* tmp98 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol (arg0, tmp95) ; #line 226 "absyn.dats" /* tmp99 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 226 "absyn.dats" /* tmp100 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_explst (arg0, tmp96) ; #line 226 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_20 */ #line 228 "absyn.dats" __ats_lab_20_0: #line 228 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 5) { goto __ats_lab_21_0 ; } #line 228 "absyn.dats" __ats_lab_20_1: #line 228 "absyn.dats" tmp101 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_0) ; #line 228 "absyn.dats" tmp102 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_1) ; #line 228 "absyn.dats" tmp103 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_2) ; #line 229 "absyn.dats" /* tmp104 = */ atspre_fprint_string (arg0, ATSstrcst("OpExp(")) ; #line 230 "absyn.dats" /* tmp105 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_oper (arg0, tmp102) ; #line 231 "absyn.dats" /* tmp106 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 232 "absyn.dats" /* tmp107 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp101) ; #line 232 "absyn.dats" /* tmp108 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ; #line 232 "absyn.dats" /* tmp109 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp103) ; #line 233 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_21 */ #line 235 "absyn.dats" __ats_lab_21_0: #line 235 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 6) { goto __ats_lab_22_0 ; } #line 235 "absyn.dats" __ats_lab_21_1: #line 236 "absyn.dats" /* tmp110 = */ atspre_fprint_string (arg0, ATSstrcst("RecordExp(")) ; #line 236 "absyn.dats" /* tmp111 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ; #line 236 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_22 */ #line 238 "absyn.dats" __ats_lab_22_0: #line 238 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 7) { goto __ats_lab_23_0 ; } #line 238 "absyn.dats" __ats_lab_22_1: #line 238 "absyn.dats" tmp112 = ats_caselptr_mac(anairiats_sum_1, tmp85, atslab_0) ; #line 239 "absyn.dats" /* tmp113 = */ atspre_fprint_string (arg0, ATSstrcst("SeqExp(")) ; #line 239 "absyn.dats" /* tmp114 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_explst (arg0, tmp112) ; #line 239 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_23 */ #line 241 "absyn.dats" __ats_lab_23_0: #line 241 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 8) { goto __ats_lab_24_0 ; } #line 241 "absyn.dats" __ats_lab_23_1: #line 241 "absyn.dats" tmp115 = ats_caselptr_mac(anairiats_sum_2, tmp85, atslab_0) ; #line 241 "absyn.dats" tmp116 = ats_caselptr_mac(anairiats_sum_2, tmp85, atslab_1) ; #line 242 "absyn.dats" /* tmp117 = */ atspre_fprint_string (arg0, ATSstrcst("AssignExp(")) ; #line 242 "absyn.dats" /* tmp118 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_v1ar (arg0, tmp115) ; #line 242 "absyn.dats" /* tmp119 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ; #line 242 "absyn.dats" /* tmp120 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp116) ; #line 242 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_24 */ #line 244 "absyn.dats" __ats_lab_24_0: #line 244 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 9) { goto __ats_lab_27_0 ; } #line 244 "absyn.dats" __ats_lab_24_1: #line 244 "absyn.dats" tmp121 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_0) ; #line 244 "absyn.dats" tmp122 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_1) ; #line 244 "absyn.dats" tmp123 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_2) ; #line 245 "absyn.dats" /* tmp124 = */ atspre_fprint_string (arg0, ATSstrcst("IfExp(")) ; #line 246 "absyn.dats" /* tmp125 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp121) ; #line 247 "absyn.dats" /* tmp126 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 247 "absyn.dats" /* tmp127 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp122) ; #line 248 "absyn.dats" do { /* branch: __ats_lab_25 */ #line 249 "absyn.dats" __ats_lab_25_0: #line 249 "absyn.dats" if (tmp123 == (ats_sum_ptr_type)0) { goto __ats_lab_26_0 ; } #line 249 "absyn.dats" __ats_lab_25_1: #line 249 "absyn.dats" tmp129 = ats_caselptr_mac(anairiats_sum_8, tmp123, atslab_0) ; #line 249 "absyn.dats" /* tmp130 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 249 "absyn.dats" /* tmp128 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp129) ; break ; /* branch: __ats_lab_26 */ #line 249 "absyn.dats" __ats_lab_26_0: #line 249 "absyn.dats" // if (tmp123 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 249 "absyn.dats" __ats_lab_26_1: break ; } while (0) ; #line 251 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_27 */ #line 253 "absyn.dats" __ats_lab_27_0: #line 253 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 10) { goto __ats_lab_28_0 ; } #line 253 "absyn.dats" __ats_lab_27_1: #line 253 "absyn.dats" tmp131 = ats_caselptr_mac(anairiats_sum_2, tmp85, atslab_0) ; #line 253 "absyn.dats" tmp132 = ats_caselptr_mac(anairiats_sum_2, tmp85, atslab_1) ; #line 254 "absyn.dats" /* tmp133 = */ atspre_fprint_string (arg0, ATSstrcst("WhileExp(")) ; #line 255 "absyn.dats" /* tmp134 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp131) ; #line 256 "absyn.dats" /* tmp135 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 256 "absyn.dats" /* tmp136 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp132) ; #line 257 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_28 */ #line 259 "absyn.dats" __ats_lab_28_0: #line 259 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 11) { goto __ats_lab_29_0 ; } #line 259 "absyn.dats" __ats_lab_28_1: #line 259 "absyn.dats" tmp137 = ats_caselptr_mac(anairiats_sum_7, tmp85, atslab_0) ; #line 259 "absyn.dats" tmp138 = ats_caselptr_mac(anairiats_sum_7, tmp85, atslab_2) ; #line 259 "absyn.dats" tmp139 = ats_caselptr_mac(anairiats_sum_7, tmp85, atslab_3) ; #line 259 "absyn.dats" tmp140 = ats_caselptr_mac(anairiats_sum_7, tmp85, atslab_4) ; #line 260 "absyn.dats" /* tmp141 = */ atspre_fprint_string (arg0, ATSstrcst("ForExp(")) ; #line 261 "absyn.dats" /* tmp142 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__fprint_symbol (arg0, tmp137) ; #line 262 "absyn.dats" /* tmp143 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 262 "absyn.dats" /* tmp144 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp138) ; #line 263 "absyn.dats" /* tmp145 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 263 "absyn.dats" /* tmp146 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp139) ; #line 264 "absyn.dats" /* tmp147 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 264 "absyn.dats" /* tmp148 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp140) ; #line 265 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_29 */ #line 267 "absyn.dats" __ats_lab_29_0: #line 267 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 12) { goto __ats_lab_30_0 ; } #line 267 "absyn.dats" __ats_lab_29_1: #line 267 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst("BreakExp()")) ; break ; /* branch: __ats_lab_30 */ #line 268 "absyn.dats" __ats_lab_30_0: #line 268 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 13) { goto __ats_lab_31_0 ; } #line 268 "absyn.dats" __ats_lab_30_1: #line 268 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst("ContinueExp()")) ; break ; /* branch: __ats_lab_31 */ #line 269 "absyn.dats" __ats_lab_31_0: #line 269 "absyn.dats" if (((ats_sum_ptr_type)tmp85)->tag != 14) { goto __ats_lab_32_0 ; } #line 269 "absyn.dats" __ats_lab_31_1: #line 269 "absyn.dats" tmp149 = ats_caselptr_mac(anairiats_sum_2, tmp85, atslab_1) ; #line 270 "absyn.dats" /* tmp150 = */ atspre_fprint_string (arg0, ATSstrcst("LetExp(")) ; #line 271 "absyn.dats" /* tmp151 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ; #line 272 "absyn.dats" /* tmp152 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 272 "absyn.dats" /* tmp153 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp149) ; #line 273 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; /* branch: __ats_lab_32 */ #line 275 "absyn.dats" __ats_lab_32_0: #line 275 "absyn.dats" // if (((ats_sum_ptr_type)tmp85)->tag != 15) { ats_deadcode_failure_handle () ; } #line 275 "absyn.dats" __ats_lab_32_1: #line 275 "absyn.dats" tmp154 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_1) ; #line 275 "absyn.dats" tmp155 = ats_caselptr_mac(anairiats_sum_6, tmp85, atslab_2) ; #line 276 "absyn.dats" /* tmp156 = */ atspre_fprint_string (arg0, ATSstrcst("ArrayExp(")) ; #line 277 "absyn.dats" /* tmp157 = */ atspre_fprint_string (arg0, ATSstrcst("...")) ; #line 278 "absyn.dats" /* tmp158 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 278 "absyn.dats" /* tmp159 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp154) ; #line 279 "absyn.dats" /* tmp160 = */ atspre_fprint_string (arg0, ATSstrcst("; ")) ; #line 279 "absyn.dats" /* tmp161 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp155) ; #line 280 "absyn.dats" /* tmp84 = */ atspre_fprint_string (arg0, ATSstrcst(")")) ; break ; } while (0) ; return /* (tmp84) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 6908(line=291, offs=7) -- 7173(line=298, offs=24) */ ATSstaticdec() ats_void_type loop_30 (ats_ptr_type arg0, ats_ptr_type arg1, ats_int_type arg2) { /* local vardec */ // ATSlocal_void (tmp163) ; ATSlocal (ats_ptr_type, tmp164) ; ATSlocal (ats_ptr_type, tmp165) ; // ATSlocal_void (tmp166) ; ATSlocal (ats_bool_type, tmp167) ; // ATSlocal_void (tmp168) ; ATSlocal (ats_int_type, tmp169) ; __ats_lab_loop_30: #line 292 "absyn.dats" do { /* branch: __ats_lab_33 */ #line 293 "absyn.dats" __ats_lab_33_0: #line 293 "absyn.dats" if (arg1 == (ats_sum_ptr_type)0) { goto __ats_lab_34_0 ; } #line 293 "absyn.dats" __ats_lab_33_1: #line 293 "absyn.dats" tmp164 = ats_caselptr_mac(anairiats_sum_9, arg1, atslab_0) ; #line 293 "absyn.dats" tmp165 = ats_caselptr_mac(anairiats_sum_9, arg1, atslab_1) ; #line 294 "absyn.dats" tmp167 = atspre_gt_int_int (arg2, 0) ; #line 294 "absyn.dats" if (tmp167) { #line 294 "absyn.dats" /* tmp166 = */ atspre_fprint_string (arg0, ATSstrcst(", ")) ; } else { /* empty */ } /* end of [if] */ #line 296 "absyn.dats" /* tmp168 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (arg0, tmp164) ; #line 296 "absyn.dats" tmp169 = atspre_add_int_int (arg2, 1) ; #line 296 "absyn.dats" arg0 = arg0 ; #line 296 "absyn.dats" arg1 = tmp165 ; #line 296 "absyn.dats" arg2 = tmp169 ; #line 296 "absyn.dats" goto __ats_lab_loop_30 ; // tail call break ; /* branch: __ats_lab_34 */ #line 298 "absyn.dats" __ats_lab_34_0: #line 298 "absyn.dats" // if (arg1 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } #line 298 "absyn.dats" __ats_lab_34_1: break ; } while (0) ; return /* (tmp163) */ ; } /* end of [loop_30] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 6864(line=290, offs=3) -- 7175(line=299, offs=2) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_explst (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ // ATSlocal_void (tmp162) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_explst: #line 290 "absyn.dats" /* tmp162 = */ loop_30 (arg0, arg1, 0) ; return /* (tmp162) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_explst] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 7223(line=301, offs=21) -- 7255(line=301, offs=53) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_exp (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp170) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_exp: #line 301 "absyn.dats" /* tmp170 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (stdout, arg0) ; return /* (tmp170) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__print_exp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 7276(line=302, offs=21) -- 7308(line=302, offs=53) */ ATSglobaldec() ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_exp (ats_ptr_type arg0) { /* local vardec */ // ATSlocal_void (tmp171) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_exp: #line 302 "absyn.dats" /* tmp171 = */ _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fprint_exp (stderr, arg0) ; return /* (tmp171) */ ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__prerr_exp] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 7355(line=306, offs=25) -- 7483(line=311, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fieldtyp_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp172) ; ATSlocal (ats_ptr_type, tmp173) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fieldtyp_make: #line 309 "absyn.dats" tmp173 = ref_make_elt_01024_ats_bool_type (ats_false_bool) ; #line 306 "absyn.dats" tmp172 = ATS_MALLOC(sizeof(anairiats_rec_10)) ; ats_selptrset_mac(anairiats_rec_10, tmp172, atslab_fieldtyp_loc, arg0) ; ats_selptrset_mac(anairiats_rec_10, tmp172, atslab_fieldtyp_lab, arg1) ; ats_selptrset_mac(anairiats_rec_10, tmp172, atslab_fieldtyp_escape, tmp173) ; ats_selptrset_mac(anairiats_rec_10, tmp172, atslab_fieldtyp_typ, arg2) ; return (tmp172) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fieldtyp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 7535(line=314, offs=3) -- 7679(line=320, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fundec_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3, ats_ptr_type arg4) { /* local vardec */ ATSlocal (ats_ptr_type, tmp174) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fundec_make: #line 314 "absyn.dats" tmp174 = ATS_MALLOC(sizeof(anairiats_rec_11)) ; ats_selptrset_mac(anairiats_rec_11, tmp174, atslab_fundec_loc, arg0) ; ats_selptrset_mac(anairiats_rec_11, tmp174, atslab_fundec_name, arg1) ; ats_selptrset_mac(anairiats_rec_11, tmp174, atslab_fundec_arglst, arg2) ; ats_selptrset_mac(anairiats_rec_11, tmp174, atslab_fundec_result, arg3) ; ats_selptrset_mac(anairiats_rec_11, tmp174, atslab_fundec_body, arg4) ; return (tmp174) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__fundec_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 7727(line=322, offs=23) -- 7806(line=326, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__typdec_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp175) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__typdec_make: #line 322 "absyn.dats" tmp175 = ATS_MALLOC(sizeof(anairiats_rec_12)) ; ats_selptrset_mac(anairiats_rec_12, tmp175, atslab_typdec_loc, arg0) ; ats_selptrset_mac(anairiats_rec_12, tmp175, atslab_typdec_name, arg1) ; ats_selptrset_mac(anairiats_rec_12, tmp175, atslab_typdec_typ, arg2) ; return (tmp175) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__typdec_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 7880(line=330, offs=28) -- 7941(line=332, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FunctionDec_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp176) ; ATSlocal (ats_ptr_type, tmp177) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FunctionDec_make: #line 331 "absyn.dats" tmp177 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp177)->tag = 0 ; ats_selptrset_mac(anairiats_sum_1, tmp177, atslab_0, arg1) ; #line 330 "absyn.dats" tmp176 = ATS_MALLOC(sizeof(anairiats_rec_13)) ; ats_selptrset_mac(anairiats_rec_13, tmp176, atslab_dec_loc, arg0) ; ats_selptrset_mac(anairiats_rec_13, tmp176, atslab_dec_node, tmp177) ; return (tmp176) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__FunctionDec_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 7965(line=334, offs=23) -- 8110(line=338, offs=6) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarDec_make (ats_ptr_type arg0, ats_ptr_type arg1, ats_ptr_type arg2, ats_ptr_type arg3) { /* local vardec */ ATSlocal (ats_ptr_type, tmp178) ; ATSlocal (ats_ptr_type, tmp179) ; ATSlocal (ats_ptr_type, tmp180) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarDec_make: #line 335 "absyn.dats" tmp179 = ref_make_elt_01024_ats_bool_type (ats_false_bool) ; #line 337 "absyn.dats" tmp180 = ATS_MALLOC(sizeof(anairiats_sum_14)) ; ((ats_sum_ptr_type)tmp180)->tag = 1 ; ats_selptrset_mac(anairiats_sum_14, tmp180, atslab_0, arg1) ; ats_selptrset_mac(anairiats_sum_14, tmp180, atslab_1, tmp179) ; ats_selptrset_mac(anairiats_sum_14, tmp180, atslab_2, arg2) ; ats_selptrset_mac(anairiats_sum_14, tmp180, atslab_3, arg3) ; #line 336 "absyn.dats" tmp178 = ATS_MALLOC(sizeof(anairiats_rec_13)) ; ats_selptrset_mac(anairiats_rec_13, tmp178, atslab_dec_loc, arg0) ; ats_selptrset_mac(anairiats_rec_13, tmp178, atslab_dec_node, tmp180) ; return (tmp178) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__VarDec_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 8159(line=340, offs=24) -- 8216(line=342, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__TypeDec_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp181) ; ATSlocal (ats_ptr_type, tmp182) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__TypeDec_make: #line 341 "absyn.dats" tmp182 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp182)->tag = 2 ; ats_selptrset_mac(anairiats_sum_1, tmp182, atslab_0, arg1) ; #line 340 "absyn.dats" tmp181 = ATS_MALLOC(sizeof(anairiats_rec_13)) ; ats_selptrset_mac(anairiats_rec_13, tmp181, atslab_dec_loc, arg0) ; ats_selptrset_mac(anairiats_rec_13, tmp181, atslab_dec_node, tmp182) ; return (tmp181) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__TypeDec_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 8262(line=346, offs=24) -- 8339(line=348, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NameTyp_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp183) ; ATSlocal (ats_ptr_type, tmp184) ; ATSlocal (ats_ptr_type, tmp185) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NameTyp_make: #line 347 "absyn.dats" tmp184 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp184)->tag = 0 ; ats_selptrset_mac(anairiats_sum_1, tmp184, atslab_0, arg1) ; #line 347 "absyn.dats" tmp185 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 346 "absyn.dats" tmp183 = ATS_MALLOC(sizeof(anairiats_rec_15)) ; ats_selptrset_mac(anairiats_rec_15, tmp183, atslab_typ_loc, arg0) ; ats_selptrset_mac(anairiats_rec_15, tmp183, atslab_typ_node, tmp184) ; ats_selptrset_mac(anairiats_rec_15, tmp183, atslab_typ_ty, tmp185) ; return (tmp183) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__NameTyp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 8366(line=350, offs=26) -- 8443(line=352, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordTyp_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp186) ; ATSlocal (ats_ptr_type, tmp187) ; ATSlocal (ats_ptr_type, tmp188) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordTyp_make: #line 351 "absyn.dats" tmp187 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp187)->tag = 1 ; ats_selptrset_mac(anairiats_sum_1, tmp187, atslab_0, arg1) ; #line 351 "absyn.dats" tmp188 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 350 "absyn.dats" tmp186 = ATS_MALLOC(sizeof(anairiats_rec_15)) ; ats_selptrset_mac(anairiats_rec_15, tmp186, atslab_typ_loc, arg0) ; ats_selptrset_mac(anairiats_rec_15, tmp186, atslab_typ_node, tmp187) ; ats_selptrset_mac(anairiats_rec_15, tmp186, atslab_typ_ty, tmp188) ; return (tmp186) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__RecordTyp_make] */ /* // /cs-pub/www-dir/faculty/hwxi/academic/courses/CS525/Spring09/code/Tiger/absyn.dats: 8469(line=354, offs=25) -- 8545(line=356, offs=2) */ ATSglobaldec() ats_ptr_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayTyp_make (ats_ptr_type arg0, ats_ptr_type arg1) { /* local vardec */ ATSlocal (ats_ptr_type, tmp189) ; ATSlocal (ats_ptr_type, tmp190) ; ATSlocal (ats_ptr_type, tmp191) ; __ats_lab__2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayTyp_make: #line 355 "absyn.dats" tmp190 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_sum_ptr_type)tmp190)->tag = 2 ; ats_selptrset_mac(anairiats_sum_1, tmp190, atslab_0, arg1) ; #line 355 "absyn.dats" tmp191 = (ats_sum_ptr_type)(&_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__TYtop) ; #line 354 "absyn.dats" tmp189 = ATS_MALLOC(sizeof(anairiats_rec_15)) ; ats_selptrset_mac(anairiats_rec_15, tmp189, atslab_typ_loc, arg0) ; ats_selptrset_mac(anairiats_rec_15, tmp189, atslab_typ_node, tmp190) ; ats_selptrset_mac(anairiats_rec_15, tmp189, atslab_typ_ty, tmp191) ; return (tmp189) ; } /* end of [_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__ArrayTyp_make] */ /* static load function */ extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2PARCOMB_2posloc_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__staload (void) ; extern ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__staload (void) ; extern ats_void_type ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload (void) ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__staload () { static int _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__staload_flag = 0 ; if (_2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__staload_flag) return ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__staload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2PARCOMB_2posloc_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2symbol_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2types_2esats__staload () ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2esats__staload () ; ATS_2d0_2e2_2e6_2prelude_2DATS_2reference_2edats__staload () ; return ; } /* staload function */ /* dynamic load function */ // dynload flag declaration extern ats_int_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__dynload_flag ; ats_void_type _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__dynload () { _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__dynload_flag = 1 ; _2cs_2dpub_2www_2ddir_2faculty_2hwxi_2academic_2courses_2CS525_2Spring09_2code_2Tiger_2absyn_2edats__staload () ; #ifdef _ATS_PROOFCHECK #endif /* _ATS_PROOFCHECK */ /* marking static variables for GC */ /* marking external values for GC */ /* code for dynamic loading */ return ; } /* end of [dynload function] */ /* external codes at mid */ /* external codes at bot */ #line 364 "absyn.dats" ats_void_type tigerats_typ_ty_set (ats_ptr_type typ, ats_ptr_type ty) { ((typ_t)typ)->atslab_typ_ty = ty; return ; } // tigerats_typ_ty_set ats_void_type tigerats_v1ar_ty_set (ats_ptr_type v1ar, ats_ptr_type ty) { ((v1ar_t)v1ar)->atslab_v1ar_ty = ty; return ; } // tigerats_v1ar_ty_set ats_void_type tigerats_exp_ty_set (ats_ptr_type exp, ats_ptr_type ty) { ((exp_t)exp)->atslab_exp_ty = ty; return ; } // tigerats_exp_ty_set /* ****** ****** */ /* end of [absyn_dats.c] */