/* _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");
}
}
/* _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;
}
