ats_varet_type _2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_error_2esats__abort_interr () { /* local vardec */ // ATSlocal_void (tmp2) ; ATSlocal (ats_ptr_type, tmp3) ; __ats_lab__2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_error_2esats__abort_interr: tmp3 = (ats_sum_ptr_type)(&_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_error_2esats__FatalErrorExn_interr) ; /* tmp2 = */ ats_raise_exn (tmp3) ; return /* (tmp2) */ ; } /* end of [_2home_2hwxi_2Research_2ATS_2dPostiats_2src_2pats_error_2esats__abort_interr] */
ats_ptr_type _2home_2hwxi_2research_2Postiats_2git_2src_2pats_parsing_2esats__parse_from_givename_toplevel (ats_int_type arg0, ats_ptr_type arg1, ats_ref_type arg2) { /* local vardec */ ATSlocal (ats_ptr_type, tmp40) ; ATSlocal (ats_ptr_type, tmp41) ; ATSlocal (ats_ptr_type, tmp42) ; ATSlocal (ats_ptr_type, tmp43) ; // ATSlocal_void (tmp44) ; // ATSlocal_void (tmp45) ; // ATSlocal_void (tmp46) ; // ATSlocal_void (tmp47) ; // ATSlocal_void (tmp48) ; // ATSlocal_void (tmp49) ; // ATSlocal_void (tmp50) ; ATSlocal (ats_ptr_type, tmp51) ; __ats_lab__2home_2hwxi_2research_2Postiats_2git_2src_2pats_parsing_2esats__parse_from_givename_toplevel: tmp41 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_filename_2esats__filenameopt_make_local (arg1) ; do { /* branch: __ats_lab_0 */ __ats_lab_0_0: if (tmp41 == (ats_sum_ptr_type)0) { goto __ats_lab_1_0 ; } __ats_lab_0_1: tmp42 = ats_caselptrlab_mac(anairiats_sum_0, tmp41, atslab_0) ; ATS_FREE(tmp41) ; ats_ptrget_mac(ats_ptr_type, arg2) = tmp42 ; tmp43 = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_parsing_2esats__parse_from_filename_toplevel (arg0, tmp42) ; /* tmp44 = */ _2home_2hwxi_2research_2Postiats_2git_2src_2pats_filename_2esats__the_filenamelst_ppush (tmp42) ; tmp40 = tmp43 ; break ; /* branch: __ats_lab_1 */ __ats_lab_1_0: // if (tmp41 != (ats_sum_ptr_type)0) { ats_deadcode_failure_handle () ; } __ats_lab_1_1: ats_ptrget_mac(ats_ptr_type, arg2) = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_filename_2esats__filename_dummy ; /* tmp45 = */ atspre_prerr_string (ATSstrcst("patsopt: error(0)")) ; /* tmp46 = */ atspre_prerr_string (ATSstrcst(": the given file [")) ; /* tmp47 = */ atspre_prerr_string (arg1) ; /* tmp48 = */ atspre_prerr_string (ATSstrcst("] cannot be accessed.")) ; /* tmp49 = */ atspre_prerr_newline () ; tmp51 = ATS_MALLOC(sizeof(anairiats_sum_1)) ; ((ats_exn_ptr_type)tmp51)->tag = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_error_2esats__PATSOPT_FILENONE_EXN.tag ; ((ats_exn_ptr_type)tmp51)->name = _2home_2hwxi_2research_2Postiats_2git_2src_2pats_error_2esats__PATSOPT_FILENONE_EXN.name ; ats_selptrset_mac(anairiats_sum_1, tmp51, atslab_0, arg1) ; /* tmp50 = */ ats_raise_exn (tmp51) ; tmp40 = (ats_sum_ptr_type)0 ; break ; } while (0) ; return (tmp40) ; } /* end of [_2home_2hwxi_2research_2Postiats_2git_2src_2pats_parsing_2esats__parse_from_givename_toplevel] */