mirror of
https://github.com/urbit/shrub.git
synced 2024-12-15 12:43:31 +03:00
98 lines
1.7 KiB
C
98 lines
1.7 KiB
C
/* j/5/cue.c
|
|
**
|
|
** This file is in the public domain.
|
|
*/
|
|
#include "all.h"
|
|
|
|
|
|
static u3_noun
|
|
_cue_in(u3_ch_root* har_u,
|
|
u3_atom a,
|
|
u3_atom b)
|
|
{
|
|
u3_noun p, q;
|
|
|
|
if ( 0 == u3_cqc_cut(0, b, 1, a) ) {
|
|
u3_noun x = u3_cqa_inc(b);
|
|
u3_noun c = u3_cqe_rub(x, a);
|
|
|
|
p = u3_cqa_inc(u3k(u3h(c)));
|
|
q = u3k(u3t(c));
|
|
|
|
u3_ch_put(har_u, u3k(b), u3k(q));
|
|
|
|
u3z(c);
|
|
u3z(x);
|
|
}
|
|
else {
|
|
u3_noun c = u3_cqa_add(2, b);
|
|
u3_noun l = u3_cqa_inc(b);
|
|
|
|
if ( 0 == u3_cqc_cut(0, l, 1, a) ) {
|
|
u3_noun u, v, w;
|
|
u3_noun x, y;
|
|
|
|
u = _cue_in(har_u, a, c);
|
|
x = u3_cqa_add(u3h(u), c);
|
|
v = _cue_in(har_u, a, x);
|
|
w = u3nc(u3k(u3h(u3t(u))), u3k(u3h(u3t(v))));
|
|
|
|
y = u3_cqa_add(u3h(u), u3h(v));
|
|
p = u3_cqa_add(2, y);
|
|
|
|
q = w;
|
|
u3_ch_put(har_u, u3k(b), u3k(q));
|
|
|
|
u3z(u); u3z(v); u3z(x); u3z(y);
|
|
}
|
|
else {
|
|
u3_noun d = u3_cqe_rub(c, a);
|
|
u3_noun x = u3_ch_get(har_u, u3k(u3t(d)));
|
|
|
|
p = u3_cqa_add(2, u3h(d));
|
|
if ( u3_none == x ) {
|
|
return u3_cm_bail(c3__exit);
|
|
}
|
|
q = x;
|
|
u3z(d);
|
|
}
|
|
u3z(l);
|
|
u3z(c);
|
|
}
|
|
return u3nt(p, q, 0);
|
|
}
|
|
|
|
u3_noun
|
|
u3_cqe_cue(u3_atom a)
|
|
{
|
|
u3_ch_root* har_u = u3_ch_new();
|
|
|
|
u3_noun x = _cue_in(har_u, a, 0);
|
|
u3_noun y = u3k(u3h(u3t(x)));
|
|
|
|
u3_ch_free(har_u);
|
|
|
|
u3z(x);
|
|
return y;
|
|
}
|
|
u3_noun
|
|
u3_cwe_cue(u3_noun cor)
|
|
{
|
|
u3_noun a;
|
|
|
|
if ( (u3_none == (a = u3_cr_at(u3_cv_sam, cor))) ) {
|
|
return u3_cm_bail(c3__fail);
|
|
} else {
|
|
return u3_cqe_cue(a);
|
|
}
|
|
}
|
|
u3_noun
|
|
u3_cke_cue(u3_atom a)
|
|
{
|
|
u3_noun b = u3_cqe_cue(a);
|
|
|
|
u3z(a);
|
|
return b;
|
|
}
|
|
|