=========================================================== .___ __ __ _________________ __ __ __| _/|__|/ |_ / ___\_` __ \__ \ | | \/ __ | | \\_ __\ / /_/ > | \// __ \| | / /_/ | | || | \___ /|__| (____ /____/\____ | |__||__| /_____/ \/ \/ grep rough audit - static analysis tool v2.8 written by @Wireghoul =================================[justanotherhacker.com]=== ats2-lang-0.4.0/src/pats_dynexp2.sats-384- ats2-lang-0.4.0/src/pats_dynexp2.sats:385:fun d2var_get_addr (x: d2var):<> s2expopt ats2-lang-0.4.0/src/pats_dynexp2.sats:386:fun d2var_set_addr (x: d2var, opt: s2expopt): void ats2-lang-0.4.0/src/pats_dynexp2.sats-387- ############################################## ats2-lang-0.4.0/src/pats_trans3_patcon.dats-333- val d2vw = d2var_mutablize_none (loc, d2v, s2e) // making [d2v] mutable ats2-lang-0.4.0/src/pats_trans3_patcon.dats:334: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_patcon.dats-335-in ############################################## ats2-lang-0.4.0/src/pats_trans3_decl.dats-855- d2var_mutablize (locvar, d2v, s2e0, v2d.v2ardec_pfat) ats2-lang-0.4.0/src/pats_trans3_decl.dats:856:val-Some(s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_decl.dats-857-// ############################################## ats2-lang-0.4.0/src/pats_staexp2.sats-339-fun s2rt_is_int (x: s2rt): bool ats2-lang-0.4.0/src/pats_staexp2.sats:340:fun s2rt_is_addr (x: s2rt): bool ats2-lang-0.4.0/src/pats_staexp2.sats-341-fun s2rt_is_bool (x: s2rt): bool ############################################## ats2-lang-0.4.0/src/pats_trans3_assgn.dats-634- Some(s2l) = ats2-lang-0.4.0/src/pats_trans3_assgn.dats:635: d2var_get_addr(d2v) ats2-lang-0.4.0/src/pats_trans3_assgn.dats-636- // end of [val] ############################################## ats2-lang-0.4.0/src/pats_staexp2_sort.dats-323-implement ats2-lang-0.4.0/src/pats_staexp2_sort.dats:324:s2rt_is_addr (s2t) = ats2-lang-0.4.0/src/pats_staexp2_sort.dats-325-( ############################################## ats2-lang-0.4.0/src/pats_constraint3.dats-560-| _ when s2rt_is_int (s2t1) => s3exp_ieq (s3e1, s3e2) ats2-lang-0.4.0/src/pats_constraint3.dats:561:| _ when s2rt_is_addr (s2t1) => s3exp_ieq (s3e1, s3e2) ats2-lang-0.4.0/src/pats_constraint3.dats-562-| _ when s2rt_is_bool (s2t1) => s3exp_beq (s3e1, s3e2) ############################################## ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-235- when d2var_is_mutabl (d2v) => let ats2-lang-0.4.0/src/pats_trans3_lvalres.dats:236: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-237- val d3ls = list_nil // HX: a special case of sel_var ############################################## ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-270- when d2var_is_mutabl (d2v) => let ats2-lang-0.4.0/src/pats_trans3_lvalres.dats:271: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_lvalres.dats-272- val _(*old*) = s2addr_exch_type (loc0, s2l, d3ls, s2e_new) ############################################## ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dats.c-3700-if (tmp324) { ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dats.c:3701:tmp325 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp323) ; ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dats.c-3702-if (tmp325 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_dynexp2.dats: 21072(line=1089, offs=9) -- 21113(line=1090, offs=30)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_p2at_dats.c-2364-ats_selptrset_mac(anairiats_sum_9, tmp98, atslab_0, tmp96) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_p2at_dats.c:2365:/* tmp97 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (tmp82, tmp98) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_p2at_dats.c-2366-tmp99 = _2tmp_2ATS_2dPostiats_2src_2pats_stacst2_2esats__s2exp_ptr_addr_type (tmp96) ; ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_decl_dats.c-3606-tmp318 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__d2var_mutablize (tmp291, tmp290, tmp295, tmp319) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_decl_dats.c:3607:tmp320 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp290) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_decl_dats.c-3608-if (tmp320 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_decl.dats: 20113(line=856, offs=5) -- 20145(line=856, offs=37)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2015-tmp131 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp130) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c:2016:tmp132 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp129) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2017-if (tmp132 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_viewat.dats: 9554(line=387, offs=9) -- 9587(line=387, offs=42)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2201-tmp177 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp176) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c:2202:tmp178 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp175) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_viewat_dats.c-2203-if (tmp178 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_viewat.dats: 12071(line=489, offs=9) -- 12104(line=489, offs=42)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1631-tmp2 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2var_get_type_some (arg0, arg1) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c:1632:tmp3 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg1) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1633-do { ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1651-ats_selptrset_mac(anairiats_sum_2, tmp11, atslab_0, tmp9) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c:1652:/* tmp10 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (arg1, tmp11) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-1653-tmp4 = tmp9 ; ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-3584-tmp327 = ats_caselptrlab_mac(anairiats_sum_2, tmp326, atslab_0) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c:3585:tmp328 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp323) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_env_dvar_dats.c-3586-if (tmp328 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_env_dvar.dats: 22373(line=987, offs=9) -- 22411(line=987, offs=47)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-1907-tmp94 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp93) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c:1908:tmp95 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp92) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-1909-if (tmp95 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_xchng.dats: 8999(line=398, offs=9) -- 9032(line=398, offs=42)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-2304-tmp182 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2lablst_trup (tmp181) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c:2305:tmp183 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp180) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_xchng_dats.c-2306-if (tmp183 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_xchng.dats: 14527(line=644, offs=9) -- 14560(line=644, offs=42)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1057-ats_ptr_type ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1058:_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (ats_ptr_type arg0) { ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1059-/* local vardec */ ############################################## ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1073-ats_void_type ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1074:_2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (ats_ptr_type arg0, ats_ptr_type arg1) { ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1075-/* local vardec */ ############################################## ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1504-/* tmp99 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_linval (tmp94, 0) ; ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1505:tmp101 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg0) ; ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c:1506:/* tmp100 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (tmp94, tmp101) ; ats2-lang-0.4.0/src/CBOOT/pats_dynexp2_dvar_dats.c-1507-tmp91 = tmp94 ; ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_up_dats.c-3719-__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans3_2esats__d2exp_trup_var_mutabl: ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_up_dats.c:3720:tmp208 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg1) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_dynexp_up_dats.c-3721-if (tmp208 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_dynexp_up.dats: 19395(line=874, offs=7) -- 19428(line=874, offs=40)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1858-if (!tmp58) { goto __ats_lab_5_1 ; } ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c:1859:tmp59 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp57) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1860-if (tmp59 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_lvalres.dats: 5498(line=236, offs=9) -- 5531(line=236, offs=42)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1908-if (!tmp74) { goto __ats_lab_9_1 ; } ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c:1909:tmp75 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp72) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_lvalres_dats.c-1910-if (tmp75 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_lvalres.dats: 6439(line=271, offs=9) -- 6472(line=271, offs=42)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-4854-/* tmp609 = */ auxck2_74 (arg0, arg2, tmp602) ; ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c:4855:tmp610 = _2tmp_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1explst_trdn_addr (tmp602) ; ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-4856-if (tmp610 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans2_staexp.dats: 33954(line=1493, offs=5) -- 33982(line=1493, offs=33)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6658-ats_ptr_type ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c:6659:_2tmp_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1exp_trdn_addr (ats_ptr_type arg0) { ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6660-/* local vardec */ ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6778-ats_ptr_type ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c:6779:_2tmp_2ATS_2dPostiats_2src_2pats_trans2_2esats__s1explst_trdn_addr (ats_ptr_type arg0) { ats2-lang-0.4.0/src/CBOOT/pats_trans2_staexp_dats.c-6780-/* local vardec */ ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_assgn_dats.c-2417-tmp180 = ats_caselptrlab_mac(anairiats_sum_4, tmp178, atslab_1) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_assgn_dats.c:2418:tmp181 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp179) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_assgn_dats.c-2419-if (tmp181 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_assgn.dats: 12971(line=634, offs=5) -- 13008(line=635, offs=26)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1758-tmp65 = ats_caselptrlab_mac(anairiats_sum_5, tmp64, atslab_0) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c:1759:tmp66 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp65) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1760-do { ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1881-__ats_lab_17_1: ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c:1882:tmp86 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg1) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_ptrof_dats.c-1883-if (tmp86 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_ptrof.dats: 6885(line=312, offs=9) -- 6918(line=312, offs=42)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_constraint3_dats.c-2968-__ats_lab_120_1: ats2-lang-0.4.0/src/CBOOT/pats_constraint3_dats.c:2969:tmp178 = _2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__s2rt_is_addr (tmp174) ; ats2-lang-0.4.0/src/CBOOT/pats_constraint3_dats.c-2970-if (!tmp178) { goto __ats_lab_121_1 ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_selab_dats.c-3229-__ats_lab__2tmp_2ATS_2dPostiats_2src_2pats_trans3_selab_2edats__d2var_trup_selab_mut: ats2-lang-0.4.0/src/CBOOT/pats_trans3_selab_dats.c:3230:tmp341 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (arg2) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_selab_dats.c-3231-if (tmp341 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_selab.dats: 20608(line=948, offs=1) -- 20641(line=949, offs=29)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans2_decl_dats.c-5892-ats_selptrset_mac(anairiats_sum_6, tmp798, atslab_0, tmp796) ; ats2-lang-0.4.0/src/CBOOT/pats_trans2_decl_dats.c:5893:/* tmp797 = */ _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_set_addr (tmp791, tmp798) ; ats2-lang-0.4.0/src/CBOOT/pats_trans2_decl_dats.c-5894-tmp800 = ats_selbox_mac(ats_castptr_mac(anairiats_rec_39, arg0), atslab_v1ardec_pfat) ; ############################################## ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c-522- setjmp (reg_save) ; // push registers onto the stack ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c:523: asm volatile ("": : :"memory") ; // stop potential optimization ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m32/gcats1_collecting_dats.c-524- ############################################## ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c-522- setjmp (reg_save) ; // push registers onto the stack ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c:523: asm volatile ("": : :"memory") ; // stop potential optimization ats2-lang-0.4.0/src/CBOOT/ccomp/runtime/GCATS/m64/gcats1_collecting_dats.c-524- ############################################## ats2-lang-0.4.0/src/CBOOT/pats_trans3_patcon_dats.c-2127-tmp107 = _2tmp_2ATS_2dPostiats_2src_2pats_trans3_env_2esats__d2var_mutablize_none (tmp103, tmp104, tmp106) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_patcon_dats.c:2128:tmp108 = _2tmp_2ATS_2dPostiats_2src_2pats_dynexp2_2esats__d2var_get_addr (tmp104) ; ats2-lang-0.4.0/src/CBOOT/pats_trans3_patcon_dats.c-2129-if (tmp108 == (ats_sum_ptr_type)0) { ats_caseof_failure_handle ("/tmp/ATS-Postiats/src/pats_trans3_patcon.dats: 7758(line=334, offs=7) -- 7791(line=334, offs=40)") ; } ############################################## ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sort_dats.c-856-ats_bool_type ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sort_dats.c:857:_2tmp_2ATS_2dPostiats_2src_2pats_staexp2_2esats__s2rt_is_addr (ats_ptr_type arg0) { ats2-lang-0.4.0/src/CBOOT/pats_staexp2_sort_dats.c-858-/* local vardec */ ############################################## ats2-lang-0.4.0/src/pats_trans3_xchng.dats-397- val d3ls = d2lablst_trup (d2ls) ats2-lang-0.4.0/src/pats_trans3_xchng.dats:398: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_xchng.dats-399- var s2rt: s2exp ############################################## ats2-lang-0.4.0/src/pats_trans3_xchng.dats-643- val d3ls = d2lablst_trup(d2ls) ats2-lang-0.4.0/src/pats_trans3_xchng.dats:644: val-Some(s2l) = d2var_get_addr(d2v_l) ats2-lang-0.4.0/src/pats_trans3_xchng.dats-645- var s2rt: s2exp ############################################## ats2-lang-0.4.0/src/pats_trans2_staexp.dats-1491-val () = auxck2 (s1e0, d2c, s1es) ats2-lang-0.4.0/src/pats_trans2_staexp.dats:1492:val s2es = s1explst_trdn_addr (s1es) ats2-lang-0.4.0/src/pats_trans2_staexp.dats-1493-val-list_cons (_rt, _arg) = s2es ############################################## ats2-lang-0.4.0/src/pats_trans2_staexp.dats-2304-implement ats2-lang-0.4.0/src/pats_trans2_staexp.dats:2305:s1exp_trdn_addr (s1e) = s1exp_trdn (s1e, s2rt_addr) ats2-lang-0.4.0/src/pats_trans2_staexp.dats-2306-implement ############################################## ats2-lang-0.4.0/src/pats_trans3_dynexp_up.dats-873- (loc0, d2v) = let ats2-lang-0.4.0/src/pats_trans3_dynexp_up.dats:874: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_dynexp_up.dats-875- var s2rt: s2exp ############################################## ats2-lang-0.4.0/src/pats_trans3_p2at.dats-343- val s2e_addr = s2exp_var (s2v_addr) ats2-lang-0.4.0/src/pats_trans3_p2at.dats:344: val () = d2var_set_addr (d2v, Some s2e_addr) ats2-lang-0.4.0/src/pats_trans3_p2at.dats-345- val s2e_ptr = s2exp_ptr_addr_type (s2e_addr) ############################################## ats2-lang-0.4.0/src/pats_trans3_p2at.dats-1722- val d2vw = d2var_mutablize (loc0, d2v, s2e0) ats2-lang-0.4.0/src/pats_trans3_p2at.dats:1723: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_p2at.dats-1724- val s2at0 = s2exp_at (s2exp_topize_0 (s2e0), s2l) ############################################## ats2-lang-0.4.0/src/pats_lexing.dats-2534-// ats2-lang-0.4.0/src/pats_lexing.dats:2535:| LS_ADDR () => let ats2-lang-0.4.0/src/pats_lexing.dats:2536: val () = strptr_free (mystr) in lexing_ADDR (buf, pos) ats2-lang-0.4.0/src/pats_lexing.dats-2537- end ############################################## ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-243-| D2Evar(d2v) => let ats2-lang-0.4.0/src/pats_trans3_ptrof.dats:244: val opt = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-245- in ############################################## ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-311-| list_cons _ => let ats2-lang-0.4.0/src/pats_trans3_ptrof.dats:312: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_ptrof.dats-313- var s2rt: s2exp ############################################## ats2-lang-0.4.0/src/pats_trans2_decl.dats-2125-val s2e_addr = s2exp_var (s2v_addr) ats2-lang-0.4.0/src/pats_trans2_decl.dats:2126:val ((*void*)) = d2var_set_addr (d2v, Some (s2e_addr)) ats2-lang-0.4.0/src/pats_trans2_decl.dats-2127-// ############################################## ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-217-implement ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats:218:d2var_set_addr (d2v, s2fopt) = let ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-219- val (vbox pf | p) = ref_get_view_ptr (d2v) in p->d2var_addr := s2fopt ############################################## ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-371- val () = d2var_set_linval (d2vw, 0) ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats:372: val () = d2var_set_addr (d2vw, d2var_get_addr ptr) ats2-lang-0.4.0/src/pats_dynexp2_dvar.dats-373-// ############################################## ats2-lang-0.4.0/src/pats_dynexp2.dats-1089- Some(s2l) = ats2-lang-0.4.0/src/pats_dynexp2.dats:1090: d2var_get_addr(d2v) ats2-lang-0.4.0/src/pats_dynexp2.dats-1091- // end of [val] ############################################## ats2-lang-0.4.0/src/pats_trans3_viewat.dats-386- val d3ls = d2lablst_trup (d2ls) ats2-lang-0.4.0/src/pats_trans3_viewat.dats:387: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_viewat.dats-388- val s2e = d2var_get_type_some (loc0, d2v) ############################################## ats2-lang-0.4.0/src/pats_trans3_viewat.dats-488- val d3ls = d2lablst_trup (d2ls) ats2-lang-0.4.0/src/pats_trans3_viewat.dats:489: val-Some (s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_viewat.dats-490- val d3e_r = d2exp_trup (d2e_r) ############################################## ats2-lang-0.4.0/src/pats_trans2.sats-177-fun s1exp_trdn_int (s1e: s1exp): s2exp ats2-lang-0.4.0/src/pats_trans2.sats:178:fun s1exp_trdn_addr (s1e: s1exp): s2exp ats2-lang-0.4.0/src/pats_trans2.sats-179-fun s1exp_trdn_bool (s1e: s1exp): s2exp ############################################## ats2-lang-0.4.0/src/pats_trans2.sats-184-fun s1explst_trdn_int (s1es: s1explst): s2explst ats2-lang-0.4.0/src/pats_trans2.sats:185:fun s1explst_trdn_addr (s1es: s1explst): s2explst ats2-lang-0.4.0/src/pats_trans2.sats-186-fun s1explst_trdn_bool (s1es: s1explst): s2explst ############################################## ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-96-val s2e_addr = let ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats:97: val opt = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-98-in ############################################## ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-106- val s2e_addr = s2exp_var (s2v_addr) ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats:107: val () = d2var_set_addr (d2v, Some s2e_addr) ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-108- in ############################################## ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-986- val-Some (d2v_view) = d2var_get_view (d2v) ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats:987: val-Some (s2e_addr) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_env_dvar.dats-988- val s2e_at = s2exp_at (s2e, s2e_addr) ############################################## ats2-lang-0.4.0/src/pats_trans3_selab.dats-948-Some ats2-lang-0.4.0/src/pats_trans3_selab.dats:949:(s2l) = d2var_get_addr (d2v) ats2-lang-0.4.0/src/pats_trans3_selab.dats-950-// ############################################## ats2-lang-0.4.0/missing-129- # Could not run --version or --help. This is probably someone ats2-lang-0.4.0/missing:130: # running `$TOOL --version' or `$TOOL --help' to check whether ats2-lang-0.4.0/missing-131- # $TOOL exists and not knowing $TOOL uses missing. ############################################## ats2-lang-0.4.0/missing-163- from any GNU archive site." ats2-lang-0.4.0/missing:164: files=`sed -n 's/^[ ]*A[CM]_CONFIG_HEADER(\([^)]*\)).*/\1/p' ${configure_ac}` ats2-lang-0.4.0/missing-165- test -z "$files" && files="config.h" ############################################## ats2-lang-0.4.0/missing-192- proper tools for further handling them. ats2-lang-0.4.0/missing:193: You can get \`$1' as part of \`Autoconf' from any GNU ats2-lang-0.4.0/missing-194- archive site." ats2-lang-0.4.0/missing-195- ats2-lang-0.4.0/missing:196: file=`echo "$*" | sed -n "$sed_output"` ats2-lang-0.4.0/missing:197: test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"` ats2-lang-0.4.0/missing-198- if test -f "$file"; then ############################################## ats2-lang-0.4.0/missing-221- *.y) ats2-lang-0.4.0/missing:222: SRCFILE=`echo "$LASTARG" | sed 's/y$/c/'` ats2-lang-0.4.0/missing-223- if test -f "$SRCFILE"; then ############################################## ats2-lang-0.4.0/missing-225- fi ats2-lang-0.4.0/missing:226: SRCFILE=`echo "$LASTARG" | sed 's/y$/h/'` ats2-lang-0.4.0/missing-227- if test -f "$SRCFILE"; then ############################################## ats2-lang-0.4.0/missing-251- *.l) ats2-lang-0.4.0/missing:252: SRCFILE=`echo "$LASTARG" | sed 's/l$/c/'` ats2-lang-0.4.0/missing-253- if test -f "$SRCFILE"; then ############################################## ats2-lang-0.4.0/missing-270- ats2-lang-0.4.0/missing:271: file=`echo "$*" | sed -n "$sed_output"` ats2-lang-0.4.0/missing:272: test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"` ats2-lang-0.4.0/missing-273- if test -f "$file"; then ############################################## ats2-lang-0.4.0/missing-290- # The file to touch is that specified with -o ... ats2-lang-0.4.0/missing:291: file=`echo "$*" | sed -n "$sed_output"` ats2-lang-0.4.0/missing:292: test -z "$file" && file=`echo "$*" | sed -n "$sed_minuso"` ats2-lang-0.4.0/missing-293- if test -z "$file"; then ats2-lang-0.4.0/missing-294- # ... or it is the one specified with @setfilename ... ats2-lang-0.4.0/missing:295: infile=`echo "$*" | sed 's/.* \([^ ]*\) *$/\1/'` ats2-lang-0.4.0/missing-296- file=`sed -n ' ############################################## ats2-lang-0.4.0/missing-302- # ... or it is derived from the source name (dir/f.texi becomes f.info) ats2-lang-0.4.0/missing:303: test -z "$file" && file=`echo "$infile" | sed 's,.*/,,;s,.[^.]*$,,'`.info ats2-lang-0.4.0/missing-304- fi ############################################## ats2-lang-0.4.0/configure-45-if test -z "$BASH_VERSION$ZSH_VERSION" \ ats2-lang-0.4.0/configure:46: && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then ats2-lang-0.4.0/configure-47- as_echo='print -r --' ats2-lang-0.4.0/configure-48- as_echo_n='print -rn --' ats2-lang-0.4.0/configure:49:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then ats2-lang-0.4.0/configure-50- as_echo='printf %s\n' ############################################## ats2-lang-0.4.0/configure-52-else ats2-lang-0.4.0/configure:53: if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then ats2-lang-0.4.0/configure-54- as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"' ############################################## ats2-lang-0.4.0/configure-62- expr "X$arg" : "X\\(.*\\)$as_nl"; ats2-lang-0.4.0/configure:63: arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;; ats2-lang-0.4.0/configure-64- esac; ############################################## ats2-lang-0.4.0/configure-199- eval 'test \"x\$as_lineno_1'\$as_run'\" != \"x\$as_lineno_2'\$as_run'\" && ats2-lang-0.4.0/configure:200: test \"x\`expr \$as_lineno_1'\$as_run' + 1\`\" = \"x\$as_lineno_2'\$as_run'\"' || exit 1 ats2-lang-0.4.0/configure-201-test \$(( 1 + 1 )) = 2 || exit 1" ############################################## ats2-lang-0.4.0/configure-327- case $as_dir in #( ats2-lang-0.4.0/configure:328: *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'( ats2-lang-0.4.0/configure-329- *) as_qdir=$as_dir;; ############################################## ats2-lang-0.4.0/configure-400- { ats2-lang-0.4.0/configure:401: as_val=`expr "$@" || test $? -eq 1` ats2-lang-0.4.0/configure-402- } ############################################## ats2-lang-0.4.0/configure-407-# ---------------------------------------- ats2-lang-0.4.0/configure:408:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are ats2-lang-0.4.0/configure-409-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the ############################################## ats2-lang-0.4.0/configure-470- eval 'test "x$as_lineno_1'$as_run'" != "x$as_lineno_2'$as_run'" && ats2-lang-0.4.0/configure:471: test "x`expr $as_lineno_1'$as_run' + 1`" = "x$as_lineno_2'$as_run'"' || { ats2-lang-0.4.0/configure-472- # Blame Lee E. McMahon (1931-1989) for sed's syntax. :-) ############################################## ats2-lang-0.4.0/configure-757- case $ac_option in ats2-lang-0.4.0/configure:758: *=?*) ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;; ats2-lang-0.4.0/configure-759- *=) ac_optarg= ;; ############################################## ats2-lang-0.4.0/configure-801- -disable-* | --disable-*) ats2-lang-0.4.0/configure:802: ac_useropt=`expr "x$ac_option" : 'x-*disable-\(.*\)'` ats2-lang-0.4.0/configure-803- # Reject names that are not valid shell variable names. ############################################## ats2-lang-0.4.0/configure-806- ac_useropt_orig=$ac_useropt ats2-lang-0.4.0/configure:807: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'` ats2-lang-0.4.0/configure-808- case $ac_user_opts in ############################################## ats2-lang-0.4.0/configure-827- -enable-* | --enable-*) ats2-lang-0.4.0/configure:828: ac_useropt=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'` ats2-lang-0.4.0/configure-829- # Reject names that are not valid shell variable names. ############################################## ats2-lang-0.4.0/configure-832- ac_useropt_orig=$ac_useropt ats2-lang-0.4.0/configure:833: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'` ats2-lang-0.4.0/configure-834- case $ac_user_opts in ############################################## ats2-lang-0.4.0/configure-1040- -with-* | --with-*) ats2-lang-0.4.0/configure:1041: ac_useropt=`expr "x$ac_option" : 'x-*with-\([^=]*\)'` ats2-lang-0.4.0/configure-1042- # Reject names that are not valid shell variable names. ############################################## ats2-lang-0.4.0/configure-1045- ac_useropt_orig=$ac_useropt ats2-lang-0.4.0/configure:1046: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'` ats2-lang-0.4.0/configure-1047- case $ac_user_opts in ############################################## ats2-lang-0.4.0/configure-1056- -without-* | --without-*) ats2-lang-0.4.0/configure:1057: ac_useropt=`expr "x$ac_option" : 'x-*without-\(.*\)'` ats2-lang-0.4.0/configure-1058- # Reject names that are not valid shell variable names. ############################################## ats2-lang-0.4.0/configure-1061- ac_useropt_orig=$ac_useropt ats2-lang-0.4.0/configure:1062: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'` ats2-lang-0.4.0/configure-1063- case $ac_user_opts in ############################################## ats2-lang-0.4.0/configure-1094- *=*) ats2-lang-0.4.0/configure:1095: ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='` ats2-lang-0.4.0/configure-1096- # Reject names that are not valid shell variable names. ############################################## ats2-lang-0.4.0/configure-1115-if test -n "$ac_prev"; then ats2-lang-0.4.0/configure:1116: ac_option=--`echo $ac_prev | sed 's/_/-/g'` ats2-lang-0.4.0/configure-1117- as_fn_error $? "missing argument to $ac_option" ############################################## ats2-lang-0.4.0/configure-1137- */ ) ats2-lang-0.4.0/configure:1138: ac_val=`expr "X$ac_val" : 'X\(.*[^/]\)' \| "X$ac_val" : 'X\(.*\)'` ats2-lang-0.4.0/configure-1139- eval $ac_var=\$ac_val;; ############################################## ats2-lang-0.4.0/configure-1172-ac_ls_di=`ls -di .` && ats2-lang-0.4.0/configure:1173:ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` || ats2-lang-0.4.0/configure-1174- as_fn_error $? "working directory cannot be determined" ############################################## ats2-lang-0.4.0/configure-1228-case $srcdir in ats2-lang-0.4.0/configure:1229:*/) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;; ats2-lang-0.4.0/configure-1230-esac ############################################## ats2-lang-0.4.0/configure-1271-By default, \`make install' will install all the files in ats2-lang-0.4.0/configure:1272:\`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc. You can specify ats2-lang-0.4.0/configure:1273:an installation prefix other than \`$ac_default_prefix' using \`--prefix', ats2-lang-0.4.0/configure-1274-for instance \`--prefix=\$HOME'. ############################################## ats2-lang-0.4.0/configure-1339-*) ats2-lang-0.4.0/configure:1340: ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'` ats2-lang-0.4.0/configure-1341- # A ".." for each directory in $ac_dir_suffix. ats2-lang-0.4.0/configure:1342: ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'` ats2-lang-0.4.0/configure-1343- case $ac_top_builddir_sub in ############################################## ats2-lang-0.4.0/configure-2010- *\'*) ats2-lang-0.4.0/configure:2011: ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;; ats2-lang-0.4.0/configure-2012- esac ############################################## ats2-lang-0.4.0/configure-2093- case $ac_val in ats2-lang-0.4.0/configure:2094: *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;; ats2-lang-0.4.0/configure-2095- esac ############################################## ats2-lang-0.4.0/configure-2108- case $ac_val in ats2-lang-0.4.0/configure:2109: *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;; ats2-lang-0.4.0/configure-2110- esac ############################################## ats2-lang-0.4.0/configure-2228- set,) ats2-lang-0.4.0/configure:2229: { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5 ats2-lang-0.4.0/configure:2230:$as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;} ats2-lang-0.4.0/configure-2231- ac_cache_corrupted=: ;; ############################################## ats2-lang-0.4.0/configure-2239- # differences in whitespace do not lead to failure. ats2-lang-0.4.0/configure:2240: ac_old_val_w=`echo x $ac_old_val` ats2-lang-0.4.0/configure:2241: ac_new_val_w=`echo x $ac_new_val` ats2-lang-0.4.0/configure-2242- if test "$ac_old_val_w" != "$ac_new_val_w"; then ############################################## ats2-lang-0.4.0/configure-2259- case $ac_new_val in ats2-lang-0.4.0/configure:2260: *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;; ats2-lang-0.4.0/configure-2261- *) ac_arg=$ac_var=$ac_new_val ;; ############################################## ats2-lang-0.4.0/configure-2646-$as_echo_n "checking whether the C compiler works... " >&6; } ats2-lang-0.4.0/configure:2647:ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'` ats2-lang-0.4.0/configure-2648- ############################################## ats2-lang-0.4.0/configure-2690- then :; else ats2-lang-0.4.0/configure:2691: ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'` ats2-lang-0.4.0/configure-2692- fi ############################################## ats2-lang-0.4.0/configure-2750- *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM | *.o | *.obj ) ;; ats2-lang-0.4.0/configure:2751: *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'` ats2-lang-0.4.0/configure-2752- break;; ############################################## ats2-lang-0.4.0/configure-2859- *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM ) ;; ats2-lang-0.4.0/configure:2860: *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'` ats2-lang-0.4.0/configure-2861- break;; ############################################## ats2-lang-0.4.0/configure-3225- as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue ats2-lang-0.4.0/configure:3226: case `"$as_dir/$ac_prog$ac_exec_ext" --version 2>&1` in #( ats2-lang-0.4.0/configure-3227- 'mkdir (GNU coreutils) '* | \ ############################################## ats2-lang-0.4.0/configure-3423- # Check for GNU $ac_path_GREP ats2-lang-0.4.0/configure:3424:case `"$ac_path_GREP" --version 2>&1` in ats2-lang-0.4.0/configure-3425-*GNU*) ############################################## ats2-lang-0.4.0/configure-3489- # Check for GNU $ac_path_EGREP ats2-lang-0.4.0/configure:3490:case `"$ac_path_EGREP" --version 2>&1` in ats2-lang-0.4.0/configure-3491-*GNU*) ############################################## ats2-lang-0.4.0/configure-3650-do : ats2-lang-0.4.0/configure:3651: as_ac_Header=`$as_echo "ac_cv_header_$ac_header" | $as_tr_sh` ats2-lang-0.4.0/configure-3652-ac_fn_c_check_header_compile "$LINENO" "$ac_header" "$as_ac_Header" "$ac_includes_default ############################################## ats2-lang-0.4.0/configure-3655- cat >>confdefs.h <<_ACEOF ats2-lang-0.4.0/configure:3656:#define `$as_echo "HAVE_$ac_header" | $as_tr_cpp` 1 ats2-lang-0.4.0/configure-3657-_ACEOF ############################################## ats2-lang-0.4.0/configure-3713-do : ats2-lang-0.4.0/configure:3714: as_ac_var=`$as_echo "ac_cv_func_$ac_func" | $as_tr_sh` ats2-lang-0.4.0/configure-3715-ac_fn_c_check_func "$LINENO" "$ac_func" "$as_ac_var" ############################################## ats2-lang-0.4.0/configure-3717- cat >>confdefs.h <<_ACEOF ats2-lang-0.4.0/configure:3718:#define `$as_echo "HAVE_$ac_func" | $as_tr_cpp` 1 ats2-lang-0.4.0/configure-3719-_ACEOF ############################################## ats2-lang-0.4.0/configure-3822- ac_script='s/\$U\././;s/\.o$//;s/\.obj$//' ats2-lang-0.4.0/configure:3823: ac_i=`$as_echo "$ac_i" | sed "$ac_script"` ats2-lang-0.4.0/configure-3824- # 2. Prepend LIBOBJDIR. When used with automake>=1.10 LIBOBJDIR ############################################## ats2-lang-0.4.0/configure-3889-if test -z "$BASH_VERSION$ZSH_VERSION" \ ats2-lang-0.4.0/configure:3890: && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then ats2-lang-0.4.0/configure-3891- as_echo='print -r --' ats2-lang-0.4.0/configure-3892- as_echo_n='print -rn --' ats2-lang-0.4.0/configure:3893:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then ats2-lang-0.4.0/configure-3894- as_echo='printf %s\n' ############################################## ats2-lang-0.4.0/configure-3896-else ats2-lang-0.4.0/configure:3897: if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then ats2-lang-0.4.0/configure-3898- as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"' ############################################## ats2-lang-0.4.0/configure-3906- expr "X$arg" : "X\\(.*\\)$as_nl"; ats2-lang-0.4.0/configure:3907: arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;; ats2-lang-0.4.0/configure-3908- esac; ############################################## ats2-lang-0.4.0/configure-3983-# ---------------------------------------- ats2-lang-0.4.0/configure:3984:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are ats2-lang-0.4.0/configure-3985-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the ############################################## ats2-lang-0.4.0/configure-4055- { ats2-lang-0.4.0/configure:4056: as_val=`expr "$@" || test $? -eq 1` ats2-lang-0.4.0/configure-4057- } ############################################## ats2-lang-0.4.0/configure-4159- case $as_dir in #( ats2-lang-0.4.0/configure:4160: *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'( ats2-lang-0.4.0/configure-4161- *) as_qdir=$as_dir;; ############################################## ats2-lang-0.4.0/configure-4290-cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1 ats2-lang-0.4.0/configure:4291:ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`" ats2-lang-0.4.0/configure-4292-ac_cs_version="\\ ############################################## ats2-lang-0.4.0/configure-4314- --*=?*) ats2-lang-0.4.0/configure:4315: ac_option=`expr "X$1" : 'X\([^=]*\)='` ats2-lang-0.4.0/configure:4316: ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'` ats2-lang-0.4.0/configure-4317- ac_shift=: ############################################## ats2-lang-0.4.0/configure-4319- --*=) ats2-lang-0.4.0/configure:4320: ac_option=`expr "X$1" : 'X\([^=]*\)='` ats2-lang-0.4.0/configure-4321- ac_optarg= ############################################## ats2-lang-0.4.0/configure-4343- case $ac_optarg in ats2-lang-0.4.0/configure:4344: *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;; ats2-lang-0.4.0/configure-4345- '') as_fn_error $? "missing file argument" ;; ############################################## ats2-lang-0.4.0/configure-4351- case $ac_optarg in ats2-lang-0.4.0/configure:4352: *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;; ats2-lang-0.4.0/configure-4353- esac ############################################## ats2-lang-0.4.0/configure-4475-fi ats2-lang-0.4.0/configure:4476:ac_cs_awk_cr=`$AWK 'BEGIN { print "a\rb" }' </dev/null 2>/dev/null` ats2-lang-0.4.0/configure-4477-if test "$ac_cs_awk_cr" = "a${ac_cr}b"; then ############################################## ats2-lang-0.4.0/configure-4492- as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5 ats2-lang-0.4.0/configure:4493:ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'` ats2-lang-0.4.0/configure-4494-ac_delim='%!_!# ' ############################################## ats2-lang-0.4.0/configure-4498- ats2-lang-0.4.0/configure:4499: ac_delim_n=`sed -n "s/.*$ac_delim\$/X/p" conf$$subs.awk | grep -c X` ats2-lang-0.4.0/configure-4500- if test $ac_delim_n = $ac_delim_num; then ############################################## ats2-lang-0.4.0/configure-4636-for ac_last_try in false false :; do ats2-lang-0.4.0/configure:4637: ac_tt=`sed -n "/$ac_delim/p" confdefs.h` ats2-lang-0.4.0/configure-4638- if test -z "$ac_tt"; then ############################################## ats2-lang-0.4.0/configure-4768- esac ats2-lang-0.4.0/configure:4769: case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac ats2-lang-0.4.0/configure-4770- as_fn_append ac_file_inputs " '$ac_f'" ############################################## ats2-lang-0.4.0/configure-4827-*) ats2-lang-0.4.0/configure:4828: ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'` ats2-lang-0.4.0/configure-4829- # A ".." for each directory in $ac_dir_suffix. ats2-lang-0.4.0/configure:4830: ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'` ats2-lang-0.4.0/configure-4831- case $ac_top_builddir_sub in ############################################## ats2-lang-0.4.0/configure-4888-/@mandir@/p' ats2-lang-0.4.0/configure:4889:case `eval "sed -n \"\$ac_sed_dataroot\" $ac_file_inputs"` in ats2-lang-0.4.0/configure-4890-*datarootdir*) ac_datarootdir_seen=yes;; ############################################## ats2-lang-0.4.0/configure-4905- ats2-lang-0.4.0/configure:4906:# Neutralize VPATH when `$srcdir' = `.'. ats2-lang-0.4.0/configure-4907-# Shell code in configure.ac might set extrasub. ############################################## ats2-lang-0.4.0/configure-4933-test -z "$ac_datarootdir_hack$ac_datarootdir_seen" && ats2-lang-0.4.0/configure:4934: { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } && ats2-lang-0.4.0/configure-4935- { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' \ ############################################## ats2-lang-0.4.0/bin/patsopt_env.sh.in-27- ats2-lang-0.4.0/bin/patsopt_env.sh.in:28:prog=`basename $0` ats2-lang-0.4.0/bin/patsopt_env.sh.in-29- ############################################## ats2-lang-0.4.0/bin/patscc_env.sh.in-27- ats2-lang-0.4.0/bin/patscc_env.sh.in:28:prog=`basename $0` ats2-lang-0.4.0/bin/patscc_env.sh.in-29- ############################################## ats2-lang-0.4.0/bin/myatscc_env.sh.in-27- ats2-lang-0.4.0/bin/myatscc_env.sh.in:28:prog=`basename $0` ats2-lang-0.4.0/bin/myatscc_env.sh.in-29- ############################################## ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-70-sub ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl:71:ATSPMVlazyval_eval($) ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-72-{ ############################################## ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-99-sub ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl:100:ATSPMVllazyval_eval($) ats2-lang-0.4.0/contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl-101-{ ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-90-| S2RTint() => emit("s2rt_int") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:91:| S2RTaddr() => emit("s2rt_addr") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-92-| S2RTbool() => emit("s2rt_bool") ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-729-val () = emitln("(define-sort s2rt_int () Int)") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:730:val () = emitln("(define-sort s2rt_addr () Int)") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-731-val () = emitln("(define-sort s2rt_bool () Bool)") ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-770-// ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:771:val () = emitln("(define-fun null_addr () s2rt_addr 0)") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-772-// ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:773:val () = emitln("(define-fun add_addr_int ((x s2rt_addr) (y Int)) s2rt_addr (+ x y))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:774:val () = emitln("(define-fun sub_addr_int ((x s2rt_addr) (y Int)) s2rt_addr (- x y))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-775-// ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:776:val () = emitln("(define-fun eq_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (= x y))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:777:val () = emitln("(define-fun lt_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (< x y))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:778:val () = emitln("(define-fun gt_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (> x y))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:779:val () = emitln("(define-fun lte_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (<= x y))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:780:val () = emitln("(define-fun gte_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (>= x y))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats:781:val () = emitln("(define-fun neq_addr_addr ((x s2rt_addr) (y s2rt_addr)) Bool (not (= x y)))") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats-782-// ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-41-| "int" => S2RTint() ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats:42:| "addr" => S2RTaddr() ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-43-| "bool" => S2RTbool() ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-16-implement s2rt_int() = S2RTint() ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:17:implement s2rt_addr() = S2RTaddr() ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-18-implement s2rt_bool() = S2RTbool() ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-56-| S2RTint() => fprint! (out, "S2RTint()") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:57:| S2RTaddr() => fprint! (out, "S2RTaddr()") ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-58-| S2RTbool() => fprint! (out, "S2RTbool()") ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/SATS/patsolve_cnstrnt.sats-183-fun s2rt_int((*void*)): s2rt ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/SATS/patsolve_cnstrnt.sats:184:fun s2rt_addr((*void*)): s2rt ats2-lang-0.4.0/contrib/ATS-extsolve-smt2/ATS-extsolve/SATS/patsolve_cnstrnt.sats-185-fun s2rt_bool((*void*)): s2rt ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats-200-| S2RTint() => sort_int() ats2-lang-0.4.0/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats:201:| S2RTaddr() => sort_int() ats2-lang-0.4.0/contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats-202-| S2RTbool() => sort_bool() ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-41-| "int" => S2RTint() ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats:42:| "addr" => S2RTaddr() ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-43-| "bool" => S2RTbool() ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-16-implement s2rt_int() = S2RTint() ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:17:implement s2rt_addr() = S2RTaddr() ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-18-implement s2rt_bool() = S2RTbool() ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-56-| S2RTint() => fprint! (out, "S2RTint()") ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:57:| S2RTaddr() => fprint! (out, "S2RTaddr()") ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-58-| S2RTbool() => fprint! (out, "S2RTbool()") ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/SATS/patsolve_cnstrnt.sats-183-fun s2rt_int((*void*)): s2rt ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/SATS/patsolve_cnstrnt.sats:184:fun s2rt_addr((*void*)): s2rt ats2-lang-0.4.0/contrib/ATS-extsolve-z3/ATS-extsolve/SATS/patsolve_cnstrnt.sats-185-fun s2rt_bool((*void*)): s2rt ############################################## ats2-lang-0.4.0/contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php-111-function ats2-lang-0.4.0/contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php:112:ATSPMVllazyval_eval($llazyval) ats2-lang-0.4.0/contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php-113- { return $llazyval[0]($llazyval, TRUE); } ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-41-| "int" => S2RTint() ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats:42:| "addr" => S2RTaddr() ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats-43-| "bool" => S2RTbool() ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-16-implement s2rt_int() = S2RTint() ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:17:implement s2rt_addr() = S2RTaddr() ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-18-implement s2rt_bool() = S2RTbool() ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-56-| S2RTint() => fprint! (out, "S2RTint()") ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats:57:| S2RTaddr() => fprint! (out, "S2RTaddr()") ats2-lang-0.4.0/contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats-58-| S2RTbool() => fprint! (out, "S2RTbool()") ############################################## ats2-lang-0.4.0/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats-183-fun s2rt_int((*void*)): s2rt ats2-lang-0.4.0/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats:184:fun s2rt_addr((*void*)): s2rt ats2-lang-0.4.0/contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats-185-fun s2rt_bool((*void*)): s2rt ############################################## ats2-lang-0.4.0/prelude/DATS/basics.dats-79- ats2-lang-0.4.0/prelude/DATS/basics.dats:80:primplmnt eqaddr_make () = EQADDR () ats2-lang-0.4.0/prelude/DATS/basics.dats:81:primplmnt eqaddr_make_ptr (x) = EQADDR () ats2-lang-0.4.0/prelude/DATS/basics.dats-82- ############################################## ats2-lang-0.4.0/prelude/DATS/array.dats-1229-val () = loop(pa, pa2, pb) ats2-lang-0.4.0/prelude/DATS/array.dats:1230:prval [lb:addr] EQADDR () = ptr_get_index (pb) ats2-lang-0.4.0/prelude/DATS/array.dats-1231-prval () = view@(B) := $UN.castview0{array_v (b, lb, n)}(view@(B)) ############################################## ats2-lang-0.4.0/prelude/DATS/array.dats-1270-// ats2-lang-0.4.0/prelude/DATS/array.dats:1271:prval [lc:addr] EQADDR() = ptr_get_index (pc) ats2-lang-0.4.0/prelude/DATS/array.dats-1272-prval () = view@(C) := $UN.castview0{array_v (c, lc, n)}(view@(C)) ############################################## ats2-lang-0.4.0/prelude/SATS/pointer.sats-78-ptr_get_index ats2-lang-0.4.0/prelude/SATS/pointer.sats:79: {l1:addr} (p: ptr l1): [l2:addr] EQADDR(l1, l2) ats2-lang-0.4.0/prelude/SATS/pointer.sats-80-// end of [ptr_get_index] ############################################## ats2-lang-0.4.0/prelude/SATS/unsafe.sats-61-praxi ats2-lang-0.4.0/prelude/SATS/unsafe.sats:62:eqaddr_assert{l1,l2:addr}((*void*)): EQADDR(l1,l2) ats2-lang-0.4.0/prelude/SATS/unsafe.sats-63-praxi ############################################## ats2-lang-0.4.0/prelude/SATS/parray.sats-54-( ats2-lang-0.4.0/prelude/SATS/parray.sats:55: a:vt@ype+, addr(*l*), int(*n*) ats2-lang-0.4.0/prelude/SATS/parray.sats-56-) = // for arrays with a sentinel at the end ############################################## ats2-lang-0.4.0/prelude/basics_pre.sats-381-stadef != = neq_addr_addr ats2-lang-0.4.0/prelude/basics_pre.sats:382:stadef <> = neq_addr_addr (* for backward compatibility *) ats2-lang-0.4.0/prelude/basics_pre.sats-383-// ############################################## ats2-lang-0.4.0/prelude/basics_dyn.sats-145-dataprop ats2-lang-0.4.0/prelude/basics_dyn.sats:146:EQADDR(addr, addr) = {x:addr} EQADDR(x, x) ats2-lang-0.4.0/prelude/basics_dyn.sats-147-// ats2-lang-0.4.0/prelude/basics_dyn.sats-148-prfun ats2-lang-0.4.0/prelude/basics_dyn.sats:149:eqaddr_make{x,y:addr | x == y}(): EQADDR(x, y) ats2-lang-0.4.0/prelude/basics_dyn.sats-150-// ats2-lang-0.4.0/prelude/basics_dyn.sats-151-prfun ats2-lang-0.4.0/prelude/basics_dyn.sats:152:eqaddr_make_ptr{x:addr}(x: ptr(x)): [y:addr] EQADDR(x, y) ats2-lang-0.4.0/prelude/basics_dyn.sats-153-// ############################################## ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-966-// ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats:967:val status = $STDLIB.system ($UN.strptr2string(line)) ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-968-// ############################################## ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-1074-// ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats:1075:val status = $STDLIB.system ($UN.strptr2string(line)) ats2-lang-0.4.0/utils/atscc/DATS/atscc_main.dats-1076-// ############################################## ats2-lang-0.4.0/utils/myatscc/SATS/myatscc.sats-123-// ats2-lang-0.4.0/utils/myatscc/SATS/myatscc.sats:124:where token = $rec ats2-lang-0.4.0/utils/myatscc/SATS/myatscc.sats-125-{ ############################################## ats2-lang-0.4.0/libats/DATS/theGetters.dats-184-[l:addr] ats2-lang-0.4.0/libats/DATS/theGetters.dats:185:EQADDR() = eqaddr_make_ptr(addr@asz) ats2-lang-0.4.0/libats/DATS/theGetters.dats-186-prval () = view@asz := $UN.castview0{size_t(n)@l}(view@asz) ############################################## ats2-lang-0.4.0/libats/DATS/sllist.dats-900-// ats2-lang-0.4.0/libats/DATS/sllist.dats:901:prval [l:addr] EQADDR () = eqaddr_make_ptr (addr@xs) ats2-lang-0.4.0/libats/DATS/sllist.dats-902-// ############################################## ats2-lang-0.4.0/libats/libc/SATS/sys/socket_in.sats-85-, sin_port(**) = in_port_nbo_t // uint16 ats2-lang-0.4.0/libats/libc/SATS/sys/socket_in.sats:86:, sin_addr(**) = in_addr_struct ats2-lang-0.4.0/libats/libc/SATS/sys/socket_in.sats-87-} // end of [sockaddr_in_struct] ############################################## ats2-lang-0.4.0/libats/libc/SATS/arpa/inet.sats-106-// ats2-lang-0.4.0/libats/libc/SATS/arpa/inet.sats:107:fun inet_addr (cp: string): in_addr_nbo_t = "mac#%" ats2-lang-0.4.0/libats/libc/SATS/arpa/inet.sats-108-fun inet_network (cp: string): in_addr_hbo_t = "mac#%" ############################################## ats2-lang-0.4.0/install-sh-229- fi ats2-lang-0.4.0/install-sh:230: cp_umask=`expr '(' 777 - $mode % 1000 ')' $u_plus_rw`;; ats2-lang-0.4.0/install-sh-231- *) ############################################## ats2-lang-0.4.0/install-sh-276- dstdir=$dst ats2-lang-0.4.0/install-sh:277: dst=$dstdir/`basename "$src"` ats2-lang-0.4.0/install-sh-278- dstdir_status=0 ############################################## ats2-lang-0.4.0/install-sh-358- # FreeBSD 6.1 mkdir -m -p sets mode of existing directory. ats2-lang-0.4.0/install-sh:359: ls_ld_tmpdir=`ls -ld "$tmpdir"` ats2-lang-0.4.0/install-sh-360- case $ls_ld_tmpdir in ############################################## ats2-lang-0.4.0/install-sh-365- $mkdirprog -m$different_mode -p -- "$tmpdir" && { ats2-lang-0.4.0/install-sh:366: ls_ld_tmpdir_1=`ls -ld "$tmpdir"` ats2-lang-0.4.0/install-sh-367- test "$ls_ld_tmpdir" = "$ls_ld_tmpdir_1" ############################################## ats2-lang-0.4.0/install-sh-425- case $prefix in ats2-lang-0.4.0/install-sh:426: *\'*) qprefix=`echo "$prefix" | sed "s/'/'\\\\\\\\''/g"`;; ats2-lang-0.4.0/install-sh-427- *) qprefix=$prefix;; ############################################## ats2-lang-0.4.0/install-sh-474- if $copy_on_change && ats2-lang-0.4.0/install-sh:475: old=`LC_ALL=C ls -dlL "$dst" 2>/dev/null` && ats2-lang-0.4.0/install-sh:476: new=`LC_ALL=C ls -dlL "$dsttmp" 2>/dev/null` && ats2-lang-0.4.0/install-sh-477-