/* functions
*/
u3_noun
_cqfu_heal(
u3_noun van,
u3_noun sut,
u3_noun qog,
u3_noun axe,
u3_noun ref)
{
return _heal_as(van, sut, qog, axe, ref);
}
/* functions
*/
u2_noun // transfer
j2_mcx(Pt6, ut, heal)(u2_wire wir_r,
u2_noun van, // retain
u2_noun sut, // retain
u2_noun qog, // retain
u2_noun axe, // retain
u2_noun ref) // retain
{
return _heal_as(wir_r, van, sut, qog, axe, ref);
}
static u3_noun
_heal_to(
u3_noun van,
u3_noun sut,
u3_noun gil,
u3_noun qog,
u3_noun ref,
u3_atom now,
u3_atom lat)
{
u3_noun p_sut, q_sut;
if ( c3n == u3du(sut) ) {
goto repo;
}
else switch ( u3h(sut) ) {
default: goto repo;
case c3__atom: return c3__void;
case c3__bull: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
u3_noun sub = _heal_to(van, q_sut, gil, qog, ref, now, lat);
u3_noun ret;
ret = u3qfu_busk
(van, sub, u3h(p_sut), u3h(u3t(p_sut)));
u3z(sub);
return ret;
}
case c3__cell: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
u3_noun ter, ret;
if ( 2 == now ) {
ter = _heal_as(van, p_sut, qog, lat, ref);
ret = u3qf_cell(ter, q_sut);
} else {
ter = _heal_as(van, q_sut, qog, lat, ref);
ret = u3qf_cell(p_sut, ter);
}
u3z(ter);
return ret;
}
case c3__core: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
if ( 3 != now ) {
return u3m_error("heal-core");
} else {
u3_noun ter = _heal_as(van, p_sut, qog, lat, ref);
u3_noun ret = u3qf_core(ter, q_sut);
u3z(ter);
return ret;
}
}
case c3__face: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
u3_noun dun = _heal_to(van, q_sut, gil, qog, ref, now, lat);
u3_noun ret = u3qf_face(p_sut, dun);
u3z(dun);
return ret;
}
case c3__fork: u3x_cell(u3t(sut), &p_sut, &q_sut);
{
u3_noun dis = _heal_to(van, p_sut, gil, qog, ref, now, lat);
u3_noun dat = _heal_to(van, q_sut, gil, qog, ref, now, lat);
u3_noun ret = u3qf_fork(dis, dat);
u3z(dis);
u3z(dat);
return ret;
}
case c3__hold: {
if ( (c3y == u3qdi_has(gil, sut)) ) {
return c3__void;
}
else {
u3_noun zoc = u3qdi_put(gil, sut);
u3_noun rep = u3qfu_repo(van, sut);
u3_noun ret = _heal_to(van, rep, zoc, qog, ref, now, lat);
u3z(rep);
u3z(zoc);
return ret;
}
}
}
repo: {
u3_noun rep = u3qfu_repo(van, sut);
u3_noun ret = _heal_to(van, rep, gil, qog, ref, now, lat);
u3z(rep);
return ret;
}
}
static u2_noun
_heal_to(u2_wire wir_r,
u2_noun van,
u2_noun sut,
u2_noun gil,
u2_noun qog,
u2_noun ref,
u2_atom now,
u2_atom lat)
{
u2_noun p_sut, q_sut;
if ( u2_no == u2_dust(sut) ) {
goto repo;
}
else switch ( u2_h(sut) ) {
default: goto repo;
case c3__atom: return c3__void;
case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
{
u2_noun ter, ret;
if ( _2 == now ) {
ter = _heal_as(wir_r, van, p_sut, qog, lat, ref);
ret = j2_mby(Pt6, cell)(wir_r, ter, q_sut);
} else {
ter = _heal_as(wir_r, van, q_sut, qog, lat, ref);
ret = j2_mby(Pt6, cell)(wir_r, p_sut, ter);
}
u2_rz(wir_r, ter);
return ret;
}
case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
{
if ( _3 != now ) {
return u2_bl_error(wir_r, "heal-core");
} else {
u2_noun ter = _heal_as(wir_r, van, p_sut, qog, lat, ref);
u2_noun ret = j2_mby(Pt6, core)(wir_r, ter, q_sut);
u2_rz(wir_r, ter);
return ret;
}
}
case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
{
u2_noun dis = _heal_to(wir_r, van, p_sut, gil, qog, ref, now, lat);
u2_noun dat = _heal_to(wir_r, van, q_sut, gil, qog, ref, now, lat);
u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat);
u2_rl_lose(wir_r, dis);
u2_rl_lose(wir_r, dat);
return ret;
}
case c3__hold: {
if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) {
return c3__void;
}
else {
u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut);
u2_type rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
u2_noun ret = _heal_to(wir_r, van, rep, zoc, qog, ref, now, lat);
u2_rl_lose(wir_r, rep);
u2_rl_lose(wir_r, zoc);
return ret;
}
}
}
repo: {
u2_noun rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
u2_noun ret = _heal_to(wir_r, van, rep, gil, qog, ref, now, lat);
u2_rz(wir_r, rep);
return ret;
}
}
