/* _mill_m_cast():: */ u4_loaf _mill_m_cast(u4_milr m, u4_gene fes, u4_gene rum, u4_mold tip) { u4_lane lane = m->lane; u4_mold maf = _mill_play(m, fes, tip); u4_loaf kib = _mill_make(m, rum, tip); #if 0 if ( !u4_n_zero(m->rux) ) { u4_burp(m->lane, "cast: m: kib", _mill_dump(m, u4_ch(kib))); u4_burp(m->lane, "cast: m: maf", _mill_dump(m, maf)); } #endif if ( _mill_nest(m, u4_ch(kib), maf) ) { return u4_k_cell(lane, maf, u4_ct(kib)); } else { // u4_burp(lane, "cast: maf", _mill_dump(m, maf)); // u4_burp(lane, "cast: kib", _mill_dump(m, u4_ch(kib))); // return _mill_fail(m, "cast failure - not every kib is a maf"); return _mill_fail(m, "cast failure"); } }
/* u3_b_print_type(): ** ** Print [piv] as a type, with [c_tid] if nonzero as a caption. */ void u3_b_print_type(u3_lv lv, const c3_c *c_tid, u3_rat piv) { u4_lane lane = u4_hat(_road_woc); if ( u3_none == piv ) { if ( c_tid ) { printf("%s: <none>\n", c_tid); } else { printf("<none>\n"); } } else { struct _u4_plow plow; u4_plow_init(&plow, lane); u4_burp(lane, c_tid, _dump_type(&plow, _bi_export(lv, lane, piv))); } }
/* _mill_hunt(): rope to tape. */ u4_tape _mill_hunt(u4_milr m, u4_rope dap, u4_type fim, u4_axis *axe, u4_type *buv) { u4_lane lane = m->lane; if ( u4_n_zero(dap) ) { if ( buv ) { *buv = fim; } return u4_noun_0; } else { u4_knot i_dap = u4_ch(dap); u4_rope t_dap = u4_ct(dap); u4_axis mar; u4_tick tik; u4_term cox; if ( _is_frag(i_dap, &mar) ) { u4_type gey = _mill_peek(m, mar, u4_noun_0, fim); *axe = u4_op_peg(lane, *axe, mar); return u4_k_cell (lane, u4_k_cell(lane, u4_atom_axis, mar), _mill_hunt(m, t_dap, gey, axe, buv)); } else if ( _is_lect(i_dap, &tik, &cox) ) { u4_loaf zib = _mill_find(m, cox, u4_noun_0, fim); if ( u4_n_zero(zib) ) { u4_burp(lane, "mark", u4_prep_textual(lane, cox)); u4_burp(lane, "type", _mill_dump(m, fim)); return _mill_fail(m, "look: no port"); } else { u4_type gey = u4_ch(zib); if ( !u4_b_p(u4_ct(zib), u4_noun_0, &mar) ) { return _mill_fail(m, "heavy rope"); } else { u4_rope guz; guz = u4_n_zero(tik) ? t_dap : u4_k_cell (lane, u4_k_trel(lane, u4_atom_lect, u4_op_dec(lane, tik), cox), t_dap); *axe = u4_op_peg(lane, *axe, mar); if ( u4_n_eq(u4_noun_1, mar) ) { return u4_k_cell (lane, u4_k_cell(lane, u4_atom_term, cox), _mill_hunt(m, guz, gey, axe, buv)); } else { return u4_k_trel (lane, u4_k_cell(lane, u4_atom_axis, mar), u4_k_cell(lane, u4_atom_term, cox), _mill_hunt(m, guz, gey, axe, buv)); } } } } else return u4_trip; } }
/* _look_knot(): read a step on a rope. */ u4_loaf _look_knot(u4_milr m, u4_knot vor, u4_mold typ) { u4_lane lane = m->lane; u4_tick tik; u4_term cox; u4_axis axe; u4_loaf fod; if ( _is_port(vor, &tik, &cox) ) { fod = _mill_find(m, cox, u4_noun_0, typ); if ( u4_n_zero(fod) ) { u4_burp(lane, "mold", _mill_dump(m, typ)); u4_burp(lane, "mark", u4_prep_textual(lane, cox)); return _mill_fail(m, "look: not found"); } else if ( u4_n_zero(tik) ) { return fod; } else { u4_mold lem = u4_ch(fod); u4_nock vil = u4_ct(fod); u4_noun p_vil; u4_mold ger; vor = u4_k_trel(lane, u4_atom_port, u4_op_dec(lane, tik), cox); if ( u4_b_p(vil, u4_noun_0, &axe) ) { ger = lem; } else if ( u4_b_pq(vil, u4_noun_3, &p_vil, 0) && u4_b_p(p_vil, u4_noun_0, &axe) && u4_b_pq(lem, u4_atom_hold, &ger, 0) ) { axe = u4_op_peg(lane, axe, u4_noun_2); vil = u4_k_cell(lane, u4_noun_0, axe); ger = _mill_peek(m, u4_noun_2, u4_noun_0, ger); } else return u4_trip; fod = _look_knot(m, vor, ger); if ( u4_n_zero(fod) ) { u4_burp(lane, "mold", _mill_dump(m, typ)); u4_burp(lane, "mark", u4_prep_textual(lane, cox)); return _mill_fail(m, "look: no grip"); } else { return u4_k_cell (lane, u4_ch(fod), _mill_comp(m, vil, u4_ct(fod))); } } } else if ( _is_frag(vor, &axe) ) { return u4_k_trel (lane, _mill_peek(m, axe, u4_noun_0, typ), u4_noun_0, axe); } else return u4_trip; }