u3: rewrites +skid jet with u3i_defcons()

This commit is contained in:
Joe Bryan 2020-10-09 16:06:28 -07:00
parent 21c2f91062
commit fda817dc61

View File

@ -3,53 +3,54 @@
*/
#include "all.h"
static u3_noun
_skid_in(u3j_site* sit_u, u3_noun a)
{
if ( 0 == a ) {
return u3nc(u3_nul, u3_nul);
}
else if ( c3n == u3du(a) ) {
return u3m_bail(c3__exit);
} else {
u3_noun acc = _skid_in(sit_u, u3t(a));
u3_noun hoz = u3j_gate_slam(sit_u, u3k(u3h(a)));
u3_noun nex;
u3_noun
u3qb_skid(u3_noun a, u3_noun b)
{
u3_noun l, r;
u3_noun* lef = &l;
u3_noun* rig = &r;
if ( c3y == hoz ) {
nex = u3nc(u3nc(u3k(u3h(a)), u3k(u3h(acc))), u3k(u3t(acc)));
}
else {
nex = u3nc(u3k(u3h(acc)), u3nc(u3k(u3h(a)), u3k(u3t(acc))));
}
u3z(hoz);
u3z(acc);
return nex;
}
}
/* functions
*/
u3_noun
u3qb_skid(u3_noun a,
u3_noun b)
{
u3_noun pro;
if ( u3_nul != a) {
u3_noun i, t = a;
u3_noun* hed;
u3_noun* tel;
u3j_site sit_u;
u3j_gate_prep(&sit_u, u3k(b));
pro = _skid_in(&sit_u, a);
u3j_gate_lose(&sit_u);
return pro;
}
u3_noun
u3wb_skid(u3_noun cor)
{
u3_noun a, b;
if ( c3n == u3r_mean(cor, u3x_sam_2, &a, u3x_sam_3, &b, 0) ) {
return u3m_bail(c3__exit);
} else {
return u3qb_skid(a, b);
do {
u3x_cell(t, &i, &t);
switch ( u3j_gate_slam(&sit_u, u3k(i)) ) {
case c3y: {
*lef = u3i_defcons(&hed, &tel);
*hed = u3k(i);
lef = tel;
} break;
case c3n: {
*rig = u3i_defcons(&hed, &tel);
*hed = u3k(i);
rig = tel;
} break;
default: u3m_bail(c3__exit);
}
}
while ( u3_nul != t );
u3j_gate_lose(&sit_u);
}
*lef = u3_nul;
*rig = u3_nul;
return u3nc(l, r);
}
u3_noun
u3wb_skid(u3_noun cor)
{
u3_noun a, b;
u3x_mean(cor, u3x_sam_2, &a, u3x_sam_3, &b, 0);
return u3qb_skid(a, b);
}