mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-11-28 11:40:11 +03:00
Adapt tiers 1 and 2 to new jets.
This commit is contained in:
C. Guy Yarvin
parent
c67a1e5c51
commit
f347b84db5
2
Makefile
2
Makefile
@ -330,7 +330,7 @@ $(BIN)/vere: $(LIBCRE) $(VERE_OFILES) $(LIBUV) $(LIBRE2) $(LIBED25519) $(BPT_O)
|
||||
|
||||
meme: $(BIN)/meme
|
||||
|
||||
$(BIN)/meme: f/meme.o $(J164_OFILES)
|
||||
$(BIN)/meme: f/meme.o $(J164_1_OFILES) $(J164_2_OFILES)
|
||||
$(CC) -g $< -lgmp -o $@
|
||||
|
||||
tags:
|
||||
|
||||
@ -8,33 +8,33 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, add)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, add)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
mpz_t a_mp, b_mp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
mpz_add(a_mp, a_mp, b_mp);
|
||||
mpz_clear(b_mp);
|
||||
|
||||
return u2_rl_mp(wir_r, a_mp);
|
||||
return u2_ci_mp(a_mp);
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, add)(u2_wire wir_r,
|
||||
j2_mb(Pt1, add)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, add)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, add)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,41 +8,41 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, inc)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, inc)(
|
||||
u2_atom a) // retain
|
||||
{
|
||||
return u2_rl_vint(wir_r, u2_rx(wir_r, a));
|
||||
return u2_ci_vint(u2k(a));
|
||||
}
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, dec)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, dec)(
|
||||
u2_atom a) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
return u2_bl_error(wir_r, "decrement-underflow");
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( 0 == a ) {
|
||||
return u2_cm_error("decrement-underflow");
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
mpz_t a_mp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_cr_mp(a_mp, a);
|
||||
mpz_sub_ui(a_mp, a_mp, 1);
|
||||
|
||||
return u2_rl_mp(wir_r, a_mp);
|
||||
return u2_ci_mp(a_mp);
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, dec)(u2_wire wir_r,
|
||||
j2_mb(Pt1, dec)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a;
|
||||
|
||||
if ( (u2_none == (a = u2_frag(u2_cv_sam, cor))) ||
|
||||
(u2_no == u2_stud(a)) )
|
||||
if ( (u2_none == (a = u2_cr_at(u2_cv_sam, cor))) ||
|
||||
(u2_no == u2ud(a)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, dec)(wir_r, a);
|
||||
return j2_mbc(Pt1, dec)(a);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,38 +8,38 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, div)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, div)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
if ( _0 == b ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( 0 == b ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
mpz_t a_mp, b_mp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
mpz_tdiv_q(a_mp, a_mp, b_mp);
|
||||
mpz_clear(b_mp);
|
||||
|
||||
return u2_rl_mp(wir_r, a_mp);
|
||||
return u2_ci_mp(a_mp);
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, div)(u2_wire wir_r,
|
||||
j2_mb(Pt1, div)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, div)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, div)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,15 +8,15 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, gte)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, gte)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
mpz_t a_mp, b_mp;
|
||||
u2_bean cmp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
cmp = (mpz_cmp(a_mp, b_mp) >= 0) ? u2_yes : u2_no;
|
||||
|
||||
@ -26,18 +26,18 @@
|
||||
return cmp;
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, gte)(u2_wire wir_r,
|
||||
j2_mb(Pt1, gte)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, gte)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, gte)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,15 +8,15 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, gth)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, gth)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
mpz_t a_mp, b_mp;
|
||||
u2_bean cmp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
cmp = (mpz_cmp(a_mp, b_mp) > 0) ? u2_yes : u2_no;
|
||||
|
||||
@ -26,18 +26,18 @@
|
||||
return cmp;
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, gth)(u2_wire wir_r,
|
||||
j2_mb(Pt1, gth)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, gth)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, gth)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,15 +8,15 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, lte)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, lte)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
mpz_t a_mp, b_mp;
|
||||
u2_bean cmp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
cmp = (mpz_cmp(a_mp, b_mp) <= 0) ? u2_yes : u2_no;
|
||||
|
||||
@ -26,18 +26,18 @@
|
||||
return cmp;
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, lte)(u2_wire wir_r,
|
||||
j2_mb(Pt1, lte)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, lte)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, lte)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,15 +8,15 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, lth)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, lth)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
mpz_t a_mp, b_mp;
|
||||
u2_bean cmp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
cmp = (mpz_cmp(a_mp, b_mp) < 0) ? u2_yes : u2_no;
|
||||
|
||||
@ -26,18 +26,18 @@
|
||||
return cmp;
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, lth)(u2_wire wir_r,
|
||||
j2_mb(Pt1, lth)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, lth)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, lth)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,37 +8,37 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, mod)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, mod)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
if ( _0 == b ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( 0 == b ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
mpz_t a_mp, b_mp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
mpz_tdiv_r(a_mp, a_mp, b_mp);
|
||||
mpz_clear(b_mp);
|
||||
|
||||
return u2_rl_mp(wir_r, a_mp);
|
||||
return u2_ci_mp(a_mp);
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, mod)(u2_wire wir_r,
|
||||
j2_mb(Pt1, mod)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, mod)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, mod)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,33 +8,33 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, mul)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, mul)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
mpz_t a_mp, b_mp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
mpz_mul(a_mp, a_mp, b_mp);
|
||||
mpz_clear(b_mp);
|
||||
|
||||
return u2_rl_mp(wir_r, a_mp);
|
||||
return u2_ci_mp(a_mp);
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, mul)(u2_wire wir_r,
|
||||
j2_mb(Pt1, mul)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, mul)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, mul)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,39 +8,39 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, sub)(u2_wire wir_r,
|
||||
j2_mbc(Pt1, sub)(
|
||||
u2_atom a, // retain
|
||||
u2_atom b) // retain
|
||||
{
|
||||
mpz_t a_mp, b_mp;
|
||||
|
||||
u2_mp(a_mp, a);
|
||||
u2_mp(b_mp, b);
|
||||
u2_cr_mp(a_mp, a);
|
||||
u2_cr_mp(b_mp, b);
|
||||
|
||||
if ( mpz_cmp(a_mp, b_mp) < 0 ) {
|
||||
mpz_clear(a_mp);
|
||||
mpz_clear(b_mp);
|
||||
|
||||
return u2_bl_error(wir_r, "subtract-underflow");
|
||||
return u2_cm_error("subtract-underflow");
|
||||
}
|
||||
mpz_sub(a_mp, a_mp, b_mp);
|
||||
mpz_clear(b_mp);
|
||||
|
||||
return u2_rl_mp(wir_r, a_mp);
|
||||
return u2_ci_mp(a_mp);
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt1, sub)(u2_wire wir_r,
|
||||
j2_mb(Pt1, sub)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) ||
|
||||
(u2_no == u2_stud(b)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) ||
|
||||
(u2_no == u2ud(b)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt1, sub)(wir_r, a, b);
|
||||
return j2_mbc(Pt1, sub)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,26 +8,26 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, bind)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, bind)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
return _0;
|
||||
if ( 0 == a ) {
|
||||
return 0;
|
||||
} else {
|
||||
return u2_ru(wir_r, u2_nk_mong(wir_r, b, u2_rx(wir_r, u2_st(a))));
|
||||
return u2nc(0, u2_cn_slam_on(u2k(b), u2k(u2t(a))));
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, bind)(u2_wire wir_r,
|
||||
j2_mb(Pt2, bind)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, bind)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, bind)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,36 +8,31 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, clap)(u2_wire wir_r,
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, clap)(u2_noun a, // retain
|
||||
u2_noun b, // retain
|
||||
u2_noun c) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
return u2_rx(wir_r, b);
|
||||
if ( 0 == a ) {
|
||||
return u2k(b);
|
||||
}
|
||||
else if ( _0 == b ) {
|
||||
return u2_rx(wir_r, a);
|
||||
else if ( 0 == b ) {
|
||||
return u2k(a);
|
||||
}
|
||||
else {
|
||||
return u2_ru
|
||||
(wir_r,
|
||||
u2_nk_mong(wir_r, c, u2_rc(wir_r, u2_rx(wir_r, u2_st(a)),
|
||||
u2_rx(wir_r, u2_st(b)))));
|
||||
return u2nc(0, u2_cn_slam_on(u2k(c), u2nc(u2k(u2t(a)), u2k(u2t(b)))));
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, clap)(u2_wire wir_r,
|
||||
u2_noun cor) // retain
|
||||
j2_mb(Pt2, clap)(u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b, c;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a,
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a,
|
||||
u2_cv_sam_6, &b,
|
||||
u2_cv_sam_7, &c, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, clap)(wir_r, a, b, c);
|
||||
return j2_mbc(Pt2, clap)(a, b, c);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,26 +8,24 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, drop)(u2_wire wir_r,
|
||||
u2_noun a) // retain
|
||||
j2_mbc(Pt2, drop)(u2_noun a) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
if ( 0 == a ) {
|
||||
return u2_nul;
|
||||
}
|
||||
else {
|
||||
return u2_ro(wir_r, u2_rx(wir_r, u2_st(a)));
|
||||
return u2nc(0, u2k(u2t(a)));
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, drop)(u2_wire wir_r,
|
||||
u2_noun cor) // retain
|
||||
j2_mb(Pt2, drop)(u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a;
|
||||
|
||||
if ( u2_none == (a = u2_frag(u2_cv_sam, cor)) ) {
|
||||
if ( u2_none == (a = u2_cr_at(u2_cv_sam, cor)) ) {
|
||||
return u2_none;
|
||||
} else {
|
||||
return j2_mbc(Pt2, drop)(wir_r, a);
|
||||
return j2_mbc(Pt2, drop)(a);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,36 +8,36 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, flop)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, flop)(
|
||||
u2_noun a) // retain
|
||||
{
|
||||
u2_weak b = _0;
|
||||
u2_weak b = 0;
|
||||
|
||||
while ( 1 ) {
|
||||
if ( u2_nul == a ) {
|
||||
return b;
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
u2_rl_lose(wir_r, b);
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
u2z(b);
|
||||
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
b = u2_rc(wir_r, u2_rx(wir_r, u2_h(a)), b);
|
||||
a = u2_t(a);
|
||||
b = u2nc(u2k(u2h(a)), b);
|
||||
a = u2t(a);
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mb(Pt2, flop)(u2_wire wir_r,
|
||||
j2_mb(Pt2, flop)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a;
|
||||
|
||||
if ( u2_none == (a = u2_frag(u2_cv_sam, cor)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_none == (a = u2_cr_at(u2_cv_sam, cor)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, flop)(wir_r, a);
|
||||
return j2_mbc(Pt2, flop)(a);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,35 +8,35 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, lent)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, lent)(
|
||||
u2_noun a) // retain
|
||||
{
|
||||
u2_weak len = _0;
|
||||
u2_weak len = 0;
|
||||
|
||||
while ( 1 ) {
|
||||
if ( _0 == a ) {
|
||||
if ( 0 == a ) {
|
||||
return len;
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
u2_rl_lose(wir_r, len);
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
u2z(len);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
len = u2_rl_vint(wir_r, len);
|
||||
a = u2_t(a);
|
||||
len = u2_ci_vint(len);
|
||||
a = u2t(a);
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_noun
|
||||
j2_mb(Pt2, lent)(u2_wire wir_r,
|
||||
j2_mb(Pt2, lent)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a;
|
||||
|
||||
if ( u2_none == (a = u2_frag(u2_cv_sam, cor)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_none == (a = u2_cr_at(u2_cv_sam, cor)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, lent)(wir_r, a);
|
||||
return j2_mbc(Pt2, lent)(a);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,36 +8,36 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, levy)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, levy)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
if ( 0 == a ) {
|
||||
return u2_yes;
|
||||
} else {
|
||||
u2_weak loz;
|
||||
|
||||
if ( u2_no == u2_dust(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2du(a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else switch ( (loz = u2_nk_mong(wir_r, b, u2_rx(wir_r, u2_h(a)))) ) {
|
||||
case u2_yes: return j2_mbc(Pt2, levy)(wir_r, u2_t(a), b);
|
||||
else switch ( (loz = u2_cn_slam_on(u2k(b), u2k(u2h(a)))) ) {
|
||||
case u2_yes: return j2_mbc(Pt2, levy)(u2t(a), b);
|
||||
case u2_no: return u2_no;
|
||||
default: u2_rl_lose(wir_r, loz);
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
default: u2z(loz);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, levy)(u2_wire wir_r,
|
||||
j2_mb(Pt2, levy)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, levy)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, levy)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,36 +8,34 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, lien)(u2_wire wir_r,
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, lien)(u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
if ( 0 == a ) {
|
||||
return u2_no;
|
||||
} else {
|
||||
u2_weak loz;
|
||||
|
||||
if ( u2_no == u2_dust(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2du(a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else switch ( (loz = u2_nk_mong(wir_r, b, u2_rx(wir_r, u2_h(a)))) ) {
|
||||
else switch ( (loz = u2_cn_slam_on(u2k(b), u2k(u2h(a)))) ) {
|
||||
case u2_yes: return u2_yes;
|
||||
case u2_no: return j2_mbc(Pt2, lien)(wir_r, u2_t(a), b);
|
||||
default: u2_rl_lose(wir_r, loz);
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
case u2_no: return j2_mbc(Pt2, lien)(u2t(a), b);
|
||||
default: u2z(loz);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, lien)(u2_wire wir_r,
|
||||
u2_noun cor) // retain
|
||||
j2_mb(Pt2, lien)(u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, lien)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, lien)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,26 +8,26 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, need)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, need)(
|
||||
u2_noun a) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( 0 == a ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
return u2_rx(wir_r, u2_st(a));
|
||||
return u2k(u2t(a));
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, need)(u2_wire wir_r,
|
||||
j2_mb(Pt2, need)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a;
|
||||
|
||||
if ( u2_none == (a = u2_frag(u2_cv_sam, cor)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_none == (a = u2_cr_at(u2_cv_sam, cor)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, need)(wir_r, a);
|
||||
return j2_mbc(Pt2, need)(a);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,33 +8,33 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, reel)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, reel)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
return u2_rx(wir_r, u2_frag(u2_cv_sam_3, b));
|
||||
if ( 0 == a ) {
|
||||
return u2k(u2_cr_at(u2_cv_sam_3, b));
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
u2_weak gim = u2_rx(wir_r, u2_h(a));
|
||||
u2_weak hur = j2_mbc(Pt2, reel)(wir_r, u2_t(a), b);
|
||||
u2_weak gim = u2k(u2h(a));
|
||||
u2_weak hur = j2_mbc(Pt2, reel)(u2t(a), b);
|
||||
|
||||
return u2_nk_mong(wir_r, b, u2_rc(wir_r, gim, hur));
|
||||
return u2_cn_slam_on(u2k(b), u2nc(gim, hur));
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, reel)(u2_wire wir_r,
|
||||
j2_mb(Pt2, reel)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, reel)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, reel)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,42 +8,40 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, roll)(u2_wire wir_r,
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, roll)(u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
return u2_rx(wir_r, u2_frag(u2_cv_sam_3, b));
|
||||
if ( 0 == a ) {
|
||||
return u2k(u2_cr_at(u2_cv_sam_3, b));
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
u2_weak gim = u2_rx(wir_r, u2_h(a));
|
||||
u2_weak zor = u2_rx(wir_r, u2_frag(u2_cv_sam_3, b));
|
||||
u2_weak daz = u2_nk_mong(wir_r, b, u2_rc(wir_r, gim, zor));
|
||||
u2_weak vel = u2_rl_molt(wir_r, b, u2_cv_sam_3, daz, 0);
|
||||
u2_weak gim = u2k(u2h(a));
|
||||
u2_weak zor = u2k(u2_cr_at(u2_cv_sam_3, b));
|
||||
u2_weak daz = u2_cn_slam_on(u2k(b), u2nc(gim, zor));
|
||||
u2_weak vel = u2_ci_molt(u2k(b), u2_cv_sam_3, daz, 0);
|
||||
|
||||
if ( u2_none == vel ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
u2_weak hox = j2_mbc(Pt2, roll)(wir_r, u2_t(a), vel);
|
||||
u2_weak hox = j2_mbc(Pt2, roll)(u2t(a), vel);
|
||||
|
||||
u2_rl_lose(wir_r, vel);
|
||||
u2z(vel);
|
||||
return hox;
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, roll)(u2_wire wir_r,
|
||||
u2_noun cor) // retain
|
||||
j2_mb(Pt2, roll)(u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, roll)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, roll)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,12 +8,12 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, scag)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, scag)(
|
||||
u2_atom a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( !u2_fly_is_cat(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__fail);
|
||||
if ( u2_ne(u2_co_is_cat(a)) ) {
|
||||
return u2_cm_bail(c3__fail);
|
||||
}
|
||||
else {
|
||||
u2_noun acc;
|
||||
@ -23,11 +23,11 @@
|
||||
return u2_nul;
|
||||
|
||||
while ( i_w ) {
|
||||
if ( u2_no == u2_dust(b) ) {
|
||||
if ( u2_no == u2du(b) ) {
|
||||
return u2_nul;
|
||||
}
|
||||
acc = u2_cn_cell( u2_h(b), acc );
|
||||
b = u2_t(b);
|
||||
acc = u2_ci_cell( u2h(b), acc );
|
||||
b = u2t(b);
|
||||
i_w--;
|
||||
}
|
||||
|
||||
@ -35,17 +35,17 @@
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, scag)(u2_wire wir_r,
|
||||
j2_mb(Pt2, scag)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, scag)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, scag)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,38 +8,38 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, skim)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, skim)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
if ( 0 == a ) {
|
||||
return a;
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
u2_weak hoz = u2_nk_mong(wir_r, b, u2_rx(wir_r, u2_h(a)));
|
||||
u2_weak vyr = j2_mbc(Pt2, skim)(wir_r, u2_t(a), b);
|
||||
u2_weak hoz = u2_cn_slam_on(u2k(b), u2k(u2h(a)));
|
||||
u2_weak vyr = j2_mbc(Pt2, skim)(u2t(a), b);
|
||||
|
||||
switch ( hoz ) {
|
||||
case u2_yes: return u2_rc(wir_r, u2_rx(wir_r, u2_h(a)), vyr);
|
||||
case u2_yes: return u2nc(u2k(u2h(a)), vyr);
|
||||
case u2_no: return vyr;
|
||||
default: u2_rl_lose(wir_r, hoz);
|
||||
u2_rl_lose(wir_r, vyr);
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
default: u2z(hoz);
|
||||
u2z(vyr);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, skim)(u2_wire wir_r,
|
||||
j2_mb(Pt2, skim)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, skim)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, skim)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,38 +8,38 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, skip)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, skip)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
if ( 0 == a ) {
|
||||
return a;
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
return u2_none;
|
||||
} else {
|
||||
u2_weak hoz = u2_nk_mong(wir_r, b, u2_rx(wir_r, u2_h(a)));
|
||||
u2_weak vyr = j2_mbc(Pt2, skip)(wir_r, u2_t(a), b);
|
||||
u2_weak hoz = u2_cn_slam_on(u2k(b), u2k(u2h(a)));
|
||||
u2_weak vyr = j2_mbc(Pt2, skip)(u2t(a), b);
|
||||
|
||||
switch ( hoz ) {
|
||||
case u2_yes: return vyr;
|
||||
case u2_no: return u2_rc(wir_r, u2_rx(wir_r, u2_h(a)), vyr);
|
||||
default: u2_rl_lose(wir_r, hoz);
|
||||
u2_rl_lose(wir_r, vyr);
|
||||
case u2_no: return u2nc(u2k(u2h(a)), vyr);
|
||||
default: u2z(hoz);
|
||||
u2z(vyr);
|
||||
return u2_none;
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, skip)(u2_wire wir_r,
|
||||
j2_mb(Pt2, skip)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_none;
|
||||
} else {
|
||||
return j2_mbc(Pt2, skip)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, skip)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,38 +8,36 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, slag)(u2_wire wir_r,
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt2, slag)(u2_atom a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( !u2_fly_is_cat(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__fail);
|
||||
if ( u2_ne(u2_co_is_cat(a)) ) {
|
||||
return u2_cm_bail(c3__fail);
|
||||
}
|
||||
else {
|
||||
c3_w len_w = a;
|
||||
|
||||
while ( len_w ) {
|
||||
if ( u2_no == u2_dust(b) ) {
|
||||
if ( u2_no == u2du(b) ) {
|
||||
return u2_nul;
|
||||
}
|
||||
b = u2_t(b);
|
||||
b = u2t(b);
|
||||
len_w--;
|
||||
}
|
||||
return u2_rx(wir_r, b);
|
||||
return u2k(b);
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, slag)(u2_wire wir_r,
|
||||
u2_noun cor) // retain
|
||||
j2_mb(Pt2, slag)(u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, slag)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, slag)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,41 +8,39 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, snag)(u2_wire wir_r,
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt2, snag)(u2_atom a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( !u2_fly_is_cat(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__fail);
|
||||
if ( u2_ne(u2_co_is_cat(a)) ) {
|
||||
return u2_cm_bail(c3__fail);
|
||||
}
|
||||
else {
|
||||
c3_w len_w = a;
|
||||
|
||||
while ( len_w ) {
|
||||
if ( u2_no == u2_dust(b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2du(b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
b = u2_t(b);
|
||||
b = u2t(b);
|
||||
len_w--;
|
||||
}
|
||||
if ( u2_no == u2_dust(b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2du(b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
return u2_rx(wir_r, u2_h(b));
|
||||
return u2k(u2h(b));
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, snag)(u2_wire wir_r,
|
||||
u2_noun cor) // retain
|
||||
j2_mb(Pt2, snag)(u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( (u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2_stud(a)) )
|
||||
if ( (u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0)) ||
|
||||
(u2_no == u2ud(a)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, snag)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, snag)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,24 +8,24 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, sort)(u2_wire wir_r,
|
||||
j2_mbc(Pt2, sort)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
// must think about
|
||||
//
|
||||
return u2_bl_bail(wir_r, c3__fail);
|
||||
return u2_cm_bail(c3__fail);
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, sort)(u2_wire wir_r,
|
||||
j2_mb(Pt2, sort)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, sort)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, sort)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,33 +8,32 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, turn)(u2_wire wir_r,
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, turn)(u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
if ( 0 == a ) {
|
||||
return a;
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
u2_noun one = u2_nk_mong(wir_r, b, u2_rx(wir_r, u2_h(a)));
|
||||
u2_noun two = j2_mbc(Pt2, turn)(wir_r, u2_t(a), b);
|
||||
u2_noun one = u2_cn_slam_on(b, u2k(u2h(a)));
|
||||
u2_noun two = j2_mbc(Pt2, turn)(u2t(a), b);
|
||||
|
||||
return u2_rc(wir_r, one, two);
|
||||
return u2nc(one, two);
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, turn)(u2_wire wir_r,
|
||||
j2_mb(Pt2, turn)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, turn)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, turn)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,33 +8,28 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, weld)(u2_wire wir_r,
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, weld)(u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( _0 == a ) {
|
||||
return u2_rx(wir_r, b);
|
||||
if ( 0 == a ) {
|
||||
return u2k(b);
|
||||
}
|
||||
else if ( u2_no == u2_dust(a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2du(a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
return u2_rc
|
||||
(wir_r,
|
||||
u2_rx(wir_r, u2_h(a)),
|
||||
j2_mbc(Pt2, weld)(wir_r, u2_t(a), b));
|
||||
return u2nc(u2k(u2h(a)), j2_mbc(Pt2, weld)(u2t(a), b));
|
||||
}
|
||||
}
|
||||
u2_noun // transfer
|
||||
j2_mb(Pt2, weld)(u2_wire wir_r,
|
||||
u2_noun cor) // retain
|
||||
j2_mb(Pt2, weld)(u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mbc(Pt2, weld)(wir_r, a, b);
|
||||
return j2_mbc(Pt2, weld)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
354
gen164/pit.h
354
gen164/pit.h
@ -77,391 +77,313 @@
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, dec)(u2_atom a); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, div)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt1, div)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, gte)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt1, gte)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, gth)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt1, gth)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, inc)(
|
||||
u2_atom a); // retain
|
||||
j2_mbc(Pt1, inc)(u2_atom a); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, lte)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt1, lte)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, lth)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt1, lth)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, mul)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt1, mul)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt1, sub)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt1, sub)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
/** Tier 2.
|
||||
**/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, bind)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, bind)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, clap)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, clap)(u2_noun a, // retain
|
||||
u2_noun b, // retain
|
||||
u2_noun c); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, drop)(
|
||||
u2_noun a); // retain
|
||||
j2_mbc(Pt2, drop)(u2_noun a); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, flop)(
|
||||
u2_noun a); // retain
|
||||
j2_mbc(Pt2, flop)(u2_noun a); // retain
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, lent)(
|
||||
u2_noun a); // retain
|
||||
j2_mbc(Pt2, lent)(u2_noun a); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, levy)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, levy)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, lien)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, lien)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, need)(
|
||||
u2_noun a); // retain
|
||||
j2_mbc(Pt2, need)(u2_noun a); // retain
|
||||
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, reel)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, reel)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, roll)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, roll)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, skim)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, skim)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, skip)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, skip)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, snag)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt2, snag)(u2_atom a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, sort)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, sort)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, turn)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, turn)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt2, weld)(
|
||||
u2_noun a, // retain
|
||||
j2_mbc(Pt2, weld)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
/** Tier 3.
|
||||
**/
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, bex)(
|
||||
u2_atom a); // retain
|
||||
j2_mbc(Pt3, bex)(u2_atom a); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mbc(Pt3, can)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, can)(u2_atom a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, cap)(
|
||||
u2_atom a); // retain
|
||||
j2_mbc(Pt3, cap)(u2_atom a); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, cat)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, cat)(u2_atom a, // retain
|
||||
u2_atom b, // retain
|
||||
u2_atom c); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, con)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, con)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, cut)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, cut)(u2_atom a, // retain
|
||||
u2_atom b, // retain
|
||||
u2_atom c, // retain
|
||||
u2_atom d); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, dor)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, dor)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, dis)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, dis)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, end)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, end)(u2_atom a, // retain
|
||||
u2_atom b, // retain
|
||||
u2_atom c); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, gor)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, gor)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, hor)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, hor)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, lsh)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, lsh)(u2_atom a, // retain
|
||||
u2_atom b, // retain
|
||||
u2_atom c); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, mas)(
|
||||
u2_atom a); // retain
|
||||
j2_mbc(Pt3, mas)(u2_atom a); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, met)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, met)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, mix)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, mix)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, peg)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, peg)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, rap)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, rap)(u2_atom a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, rip)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, rip)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, rsh)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, rsh)(u2_atom a, // retain
|
||||
u2_atom b, // retain
|
||||
u2_atom c); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mbc(Pt3, vor)(
|
||||
u2_atom a, // retain
|
||||
j2_mbc(Pt3, vor)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
/** Tier 4.
|
||||
**/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, gas)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, in, gas)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_bean
|
||||
j2_mcc(Pt4, in, has)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, in, has)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, int)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, in, int)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, put)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, in, put)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, tap)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, in, tap)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, uni)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, in, uni)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcc(Pt4, by, get)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, by, get)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, gas)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, by, gas)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, by, int)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, put)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, by, put)(u2_noun a, // retain
|
||||
u2_noun b, // retain
|
||||
u2_noun c); // retain
|
||||
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
u2_noun a, // retain
|
||||
j2_mcc(Pt4, by, uni)(u2_noun a, // retain
|
||||
u2_noun b); // retain
|
||||
|
||||
/** Tier 5.
|
||||
**/
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt5, cue)(
|
||||
u2_atom a); // retain
|
||||
j2_mby(Pt5, cue)(u2_atom a); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt5, jam)(
|
||||
u2_atom a); // retain
|
||||
j2_mby(Pt5, jam)(u2_atom a); // retain
|
||||
|
||||
u2_noun // produce
|
||||
j2_mby(Pt5, mat)(
|
||||
u2_atom a); // retain
|
||||
j2_mby(Pt5, mat)(u2_atom a); // retain
|
||||
|
||||
u2_noun // produce
|
||||
j2_mby(Pt5, rub)(
|
||||
u2_atom a, // retain
|
||||
j2_mby(Pt5, rub)(u2_atom a, // retain
|
||||
u2_atom b); // retain
|
||||
|
||||
/** Tier 6.
|
||||
**/
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, bull)(
|
||||
u2_noun bid, // retain
|
||||
j2_mby(Pt6, bull)(u2_noun bid, // retain
|
||||
u2_noun der); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, cell)(
|
||||
u2_noun hed, // retain
|
||||
j2_mby(Pt6, cell)(u2_noun hed, // retain
|
||||
u2_noun tal); // retain
|
||||
u2_noun // transfer
|
||||
j2_mbc(Pt6, comb)(
|
||||
u2_noun mal, // retain
|
||||
j2_mbc(Pt6, comb)(u2_noun mal, // retain
|
||||
u2_noun buz); // retain
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, cons)(
|
||||
u2_noun vur, // retain
|
||||
j2_mby(Pt6, cons)(u2_noun vur, // retain
|
||||
u2_noun sed); // retain
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, core)(
|
||||
u2_noun pac, // retain
|
||||
j2_mby(Pt6, core)(u2_noun pac, // retain
|
||||
u2_noun con); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, cube)(
|
||||
u2_noun dil, // retain
|
||||
j2_mby(Pt6, cube)(u2_noun dil, // retain
|
||||
u2_noun goq); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, face)(
|
||||
u2_noun cog, // retain
|
||||
j2_mby(Pt6, face)(u2_noun cog, // retain
|
||||
u2_noun tip); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, fine)(
|
||||
u2_noun fuv, // retain
|
||||
j2_mby(Pt6, fine)(u2_noun fuv, // retain
|
||||
u2_noun lup, // retain
|
||||
u2_noun mar); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, fitz)(
|
||||
u2_noun yaz, // retain
|
||||
j2_mby(Pt6, fitz)(u2_noun yaz, // retain
|
||||
u2_noun wix); // retain
|
||||
|
||||
u2_noun // produce
|
||||
j2_mby(Pt6, flay)(
|
||||
u2_noun pok); // retain
|
||||
j2_mby(Pt6, flay)(u2_noun pok); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, fork)(
|
||||
u2_noun hoz, // retain
|
||||
j2_mby(Pt6, fork)(u2_noun hoz, // retain
|
||||
u2_noun bur); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, flip)(
|
||||
u2_noun hel); // retain
|
||||
j2_mby(Pt6, flip)(u2_noun hel); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, flor)(
|
||||
u2_noun bos, // retain
|
||||
j2_mby(Pt6, flor)(u2_noun bos, // retain
|
||||
u2_noun nif); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, flan)(
|
||||
u2_noun bos, // retain
|
||||
j2_mby(Pt6, flan)(u2_noun bos, // retain
|
||||
u2_noun nif); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, heal)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, heal)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun qog, // retain
|
||||
u2_noun axe, // retain
|
||||
u2_noun ref); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, hike)(
|
||||
u2_noun axe, // retain
|
||||
j2_mby(Pt6, hike)(u2_noun axe, // retain
|
||||
u2_noun pac); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mby(Pt6, look)(
|
||||
u2_noun cog, // retain
|
||||
j2_mby(Pt6, look)(u2_noun cog, // retain
|
||||
u2_noun dab); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ap, hack)(
|
||||
u2_noun ter, // retain
|
||||
j2_mcy(Pt6, ap, hack)(u2_noun ter, // retain
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ap, open)(
|
||||
u2_noun ter, // retain
|
||||
j2_mcy(Pt6, ap, open)(u2_noun ter, // retain
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
@ -470,219 +392,185 @@
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, al, whip)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, al, whip)(u2_noun van, // retain
|
||||
u2_noun gen, // retain
|
||||
u2_noun axe); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ap, rake)(
|
||||
u2_noun gen); // retain
|
||||
j2_mcy(Pt6, ap, rake)(u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ap, late)(
|
||||
u2_noun gen); // retain
|
||||
j2_mcy(Pt6, ap, late)(u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, burn)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, burn)(u2_noun van, // retain
|
||||
u2_noun sut); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, busk)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, busk)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun cog, // retain
|
||||
u2_noun hyp); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, bust)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, bust)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun dib); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, conk)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, conk)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun got); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, crop)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, crop)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun ref); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, cull)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, cull)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_bean pol, // retain
|
||||
u2_atom axe, // retain
|
||||
u2_noun ref); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, find)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, find)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun dep, // retain
|
||||
u2_noun way, // retain
|
||||
u2_noun cog); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, fond)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, fond)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun dep, // retain
|
||||
u2_noun way, // retain
|
||||
u2_noun cog); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, fink)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, fink)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun dep, // retain
|
||||
u2_noun way, // retain
|
||||
u2_noun cog); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, fire)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, fire)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun hag); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, firm)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, firm)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun gib); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, fish)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, fish)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_atom axe); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, fuse)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, fuse)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun ref); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, gain)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, gain)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, lose)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, lose)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, mint)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, mint)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun gol, // retain
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, mull)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, mull)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun gol, // retain
|
||||
u2_noun dox, // retain
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_bean // transfer
|
||||
j2_mcy(Pt6, ut, nest)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, nest)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_bean tel, // retain
|
||||
u2_noun ref); // retain
|
||||
|
||||
u2_bean // transfer
|
||||
j2_mcy(Pt6, ut, orth)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, orth)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun ref); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, park)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, park)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun way, // retain
|
||||
u2_noun axe); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, peek)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, peek)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun way, // retain
|
||||
u2_noun axe); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, play)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, play)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun gen); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, repo)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, repo)(u2_noun van, // retain
|
||||
u2_noun sut); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, rest)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, rest)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun leg); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, seek)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, seek)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun way,
|
||||
u2_noun hep); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, seep)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, seep)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun way,
|
||||
u2_noun hep); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, sift)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, sift)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun ref); // retain
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, tack)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, tack)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun peh, // retain
|
||||
u2_noun mur); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, tock)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, tock)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun peh, // retain
|
||||
u2_noun mur, // retain
|
||||
u2_noun men); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, snub)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, snub)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun har); // retain
|
||||
|
||||
u2_noun // transfer
|
||||
j2_mcy(Pt6, ut, wrap)(
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, wrap)(u2_noun van, // retain
|
||||
u2_noun sut, // retain
|
||||
u2_noun yoz); // retain
|
||||
/** Direct ut axes.
|
||||
@ -696,34 +584,28 @@
|
||||
/** Debugging hacks.
|
||||
**/
|
||||
void
|
||||
j2_mby(Pt6, type)(u2_wire wir_r,
|
||||
u2_noun typ); // retain
|
||||
j2_mby(Pt6, type)(u2_noun typ); // retain
|
||||
|
||||
u2_noun // produce
|
||||
j2_mcy(Pt6, ut, duck)(u2_wire wir_r,
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, duck)(u2_noun van, // retain
|
||||
u2_noun typ); // retain
|
||||
|
||||
u2_noun // produce
|
||||
j2_mcy(Pt6, ut, dung)(u2_wire wir_r,
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, dung)(u2_noun van, // retain
|
||||
u2_noun cap, // retain
|
||||
u2_noun typ); // retain
|
||||
|
||||
u2_noun // produce
|
||||
j2_mcy(Pt6, ut, dunq)(u2_wire wir_r,
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, dunq)(u2_noun van, // retain
|
||||
const c3_c* cap_c, // retain
|
||||
u2_noun typ); // retain
|
||||
|
||||
u2_noun // produce
|
||||
j2_mcy(Pt6, ut, shew)(u2_wire wir_r,
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, shew)(u2_noun van, // retain
|
||||
u2_noun mol); // submit
|
||||
|
||||
u2_noun // produce
|
||||
j2_mcy(Pt6, ut, shep)(u2_wire wir_r,
|
||||
u2_noun van, // retain
|
||||
j2_mcy(Pt6, ut, shep)(u2_noun van, // retain
|
||||
const c3_c* paz_c, // retain
|
||||
u2_noun sty, // retain
|
||||
u2_noun mol); // submit
|
||||
|
||||
@ -3,43 +3,5 @@
|
||||
** This file is in the public domain.
|
||||
*/
|
||||
|
||||
/** Internal includes.
|
||||
**/
|
||||
/** c3: the C layer.
|
||||
**/
|
||||
# include "c/portable.h"
|
||||
# include "c/tune.h"
|
||||
# include "c/types.h"
|
||||
# include "c/defs.h"
|
||||
# include "c/motes.h"
|
||||
# include "c/comd.h"
|
||||
|
||||
#if 0
|
||||
#define NOCK6
|
||||
#undef NOCK5
|
||||
#else
|
||||
#undef NOCK6
|
||||
#define NOCK5
|
||||
#endif
|
||||
|
||||
/** u2: the new interpreter.
|
||||
**/
|
||||
# include "f/loom.h"
|
||||
# include "f/chad.h"
|
||||
# include "f/cash.h"
|
||||
# include "f/rail.h"
|
||||
# include "f/dash.h"
|
||||
# include "f/host.h"
|
||||
# include "f/bail.h"
|
||||
# include "f/benx.h"
|
||||
# include "f/trac.h"
|
||||
# include "f/wire.h"
|
||||
# include "f/nock.h"
|
||||
# include "f/funj.h"
|
||||
# include "f/unix.h"
|
||||
# include "f/hevn.h"
|
||||
# include "f/arvo.h"
|
||||
|
||||
/** coal: common methods for dealing with nouns.
|
||||
**/
|
||||
# include "f/coal.h"
|
||||
# include "f/meme.h"
|
||||
# include "f/host.h"
|
||||
|
||||
@ -1030,4 +1030,3 @@
|
||||
*/
|
||||
u2_noun
|
||||
u2_cke_trip(u2_noun a);
|
||||
|
||||
|
||||
@ -117,7 +117,7 @@
|
||||
struct u2_nash;
|
||||
/* u2_ho_fun: actual function.
|
||||
*/
|
||||
typedef u2_noun (*u2_ho_fun)(u2_ray wir_r, u2_noun cor);
|
||||
typedef u2_noun (*u2_ho_fun)(u2_noun cor);
|
||||
|
||||
/* Jet to hash selector.
|
||||
*/
|
||||
@ -151,7 +151,7 @@
|
||||
|
||||
/* C function, on core. Declared.
|
||||
*/
|
||||
u2_noun (*fun_f)(u2_ray wir_r, u2_noun cor);
|
||||
u2_noun (*fun_f)(u2_noun cor);
|
||||
|
||||
/* State - see above. Declared, but may change dynamically.
|
||||
*/
|
||||
@ -163,11 +163,11 @@
|
||||
|
||||
/* Tool: Nock formula. Computed (declare u2_none).
|
||||
*/
|
||||
u2_tool fol;
|
||||
u2_noun fol;
|
||||
|
||||
/* Custom memoization key from core. Declared - should reorder.
|
||||
*/
|
||||
u2_noun (*key_f)(u2_ray wir_r, u2_noun cor);
|
||||
u2_noun (*key_f)(u2_noun cor);
|
||||
|
||||
/* Memo selector. Declared, with key function.
|
||||
*/
|
||||
@ -266,8 +266,7 @@
|
||||
** Report result of jet test on `cor`. `pro` is fast; `vet` is slow.
|
||||
*/
|
||||
void
|
||||
u2_ho_test(u2_wire wir_r,
|
||||
u2_ho_jet* jet_j,
|
||||
u2_ho_test(u2_ho_jet* jet_j,
|
||||
u2_weak cor, // retain
|
||||
u2_weak sof, // retain
|
||||
u2_weak had); // retain
|
||||
@ -277,8 +276,7 @@
|
||||
** Report compatibility failure in `xip`, with subject `bus`.
|
||||
*/
|
||||
void
|
||||
u2_ho_dive(u2_wire wir_r,
|
||||
u2_noun xip, // retain
|
||||
u2_ho_dive(u2_noun xip, // retain
|
||||
u2_noun bus); // retain
|
||||
|
||||
/* u2_ho_fine():
|
||||
@ -286,8 +284,7 @@
|
||||
** Report test execution in `xip`, with subject `bus`.
|
||||
*/
|
||||
void
|
||||
u2_ho_fine(u2_wire wir_r,
|
||||
u2_noun xip, // retain
|
||||
u2_ho_fine(u2_noun xip, // retain
|
||||
u2_noun bus); // retain
|
||||
|
||||
/* u2_ho_use():
|
||||
@ -295,8 +292,7 @@
|
||||
** Run a jet. Must be previously verified with u2_ho_nice().
|
||||
*/
|
||||
u2_weak // transfer
|
||||
u2_ho_use(u2_ray wir_r,
|
||||
u2_ho_jet* jet_j, // retain
|
||||
u2_ho_use(u2_ho_jet* jet_j, // retain
|
||||
u2_noun cor, // retain
|
||||
u2_noun fol); // retain
|
||||
|
||||
@ -307,8 +303,7 @@
|
||||
** Only the outer battery is assumed to match.
|
||||
*/
|
||||
u2_bean
|
||||
u2_ho_nice(u2_ray wir_r,
|
||||
u2_ho_jet* jet_j,
|
||||
u2_ho_nice(u2_ho_jet* jet_j,
|
||||
u2_noun cor);
|
||||
|
||||
/* u2_ho_punt():
|
||||
@ -316,8 +311,7 @@
|
||||
** Apply host nock driver on `xip`, `cor`, `fol`.
|
||||
*/
|
||||
u2_weak
|
||||
u2_ho_punt(u2_ray wir_r,
|
||||
u2_noun xip, // retain
|
||||
u2_ho_punt(u2_noun xip, // retain
|
||||
u2_noun cor, // retain
|
||||
u2_noun fol); // retain
|
||||
|
||||
@ -326,16 +320,14 @@
|
||||
** Apply host nock driver on `xip`, `cor`, `fol`.
|
||||
*/
|
||||
u2_weak // produce
|
||||
u2_ho_kick(u2_ray wir_r,
|
||||
u2_noun xip, // retain
|
||||
u2_ho_kick(u2_noun xip, // retain
|
||||
u2_noun cor, // retain
|
||||
u2_atom axe); // retain
|
||||
|
||||
/* u2_ho_kicq(): as u2_ho_kick(), but mocky.
|
||||
*/
|
||||
u2_noun // produce
|
||||
u2_ho_kicq(u2_ray wir_r,
|
||||
u2_noun xip, // retain
|
||||
u2_ho_kicq(u2_noun xip, // retain
|
||||
u2_noun cor, // retain
|
||||
u2_atom axe, // retain
|
||||
u2_bean *pon); // retain
|
||||
|
||||
143
include/f/meme.h
143
include/f/meme.h
@ -74,15 +74,35 @@
|
||||
# define u2_ax_peg(a_w, b_w) \
|
||||
( (a_w << u2_ax_dep(b_w)) | (b_w &~ (1 << u2_ax_dep(b_w))) )
|
||||
|
||||
/* Conventional axes for gate call.
|
||||
*/
|
||||
# define u2_cv_pay 3 // payload
|
||||
# define u2_cv_sam 6 // sample
|
||||
# define u2_cv_sam_1 6
|
||||
# define u2_cv_sam_2 12
|
||||
# define u2_cv_sam_3 13
|
||||
# define u2_cv_sam_4 24
|
||||
# define u2_cv_sam_5 25
|
||||
# define u2_cv_sam_6 26
|
||||
# define u2_cv_sam_12 52
|
||||
# define u2_cv_sam_13 53
|
||||
# define u2_cv_sam_7 27
|
||||
# define u2_cv_con 7 // context
|
||||
# define u2_cv_con_2 14 // context
|
||||
# define u2_cv_con_3 15 // context
|
||||
# define u2_cv_con_sam 30 // sample in gate context
|
||||
# define u2_cv_noc 2 // deprecated
|
||||
# define u2_cv_bat 2 // battery
|
||||
|
||||
/** Aliases - selective and syntactically unique.
|
||||
**/
|
||||
# define u2h(som) u2_cx_h(som)
|
||||
# define u2t(som) u2_cx_t(som)
|
||||
# define u2at(axe, som) u2_cx_at(axe, som)
|
||||
|
||||
# define u2nc(a, b) u2_cn_cell(a, b)
|
||||
# define u2nt(a, b, c) u2_cn_trel(a, b, c)
|
||||
# define u2nq(a, b, c, d) u2_cn_qual(a, b, c, d)
|
||||
# define u2nc(a, b) u2_ci_cell(a, b)
|
||||
# define u2nt(a, b, c) u2_ci_trel(a, b, c)
|
||||
# define u2nq(a, b, c, d) u2_ci_qual(a, b, c, d)
|
||||
|
||||
# define u2du(som) (u2_cr_du(som))
|
||||
# define u2ud(som) (u2_cr_ud(som))
|
||||
@ -827,6 +847,11 @@
|
||||
c3_i
|
||||
u2_cm_bail(c3_m how_m);
|
||||
|
||||
/* u2_cm_error(): bail out with %exit, pushing error.
|
||||
*/
|
||||
c3_i
|
||||
u2_cm_error(c3_c* str_c);
|
||||
|
||||
/* u2_cm_grab(): garbage-collect memory. Asserts u2R == u2H.
|
||||
*/
|
||||
void
|
||||
@ -1078,3 +1103,115 @@
|
||||
*/
|
||||
u2_weak
|
||||
u2_ch_uniq(u2_noun som);
|
||||
|
||||
|
||||
/* u2_ck: kernel and related functions
|
||||
**
|
||||
** All nouns transferred unless otherwise stated.
|
||||
*/
|
||||
/* u2_cka: tier 1 functions
|
||||
*/
|
||||
u2_noun
|
||||
u2_cka_add(u2_noun a, u2_noun b);
|
||||
|
||||
u2_noun
|
||||
u2_cka_sub(u2_noun a, u2_noun b);
|
||||
|
||||
u2_noun
|
||||
u2_cka_mul(u2_noun a, u2_noun b);
|
||||
|
||||
u2_noun
|
||||
u2_cka_gth(u2_noun a, u2_noun b);
|
||||
|
||||
u2_bean
|
||||
u2_cka_lte(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckb: tier 2 functions
|
||||
*/
|
||||
/* u2_ckb_lent(): length of a list.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckb_lent(u2_noun a);
|
||||
|
||||
/* u2_ckb_weld(): concatenate list `a` before `b`.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckb_weld(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckb_flop(): reverse list `a`.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckb_flop(u2_noun a);
|
||||
|
||||
/* u2_ckc: tier 3 functions
|
||||
*/
|
||||
/* u2_ckc_lsh(): left shift.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckc_lsh(u2_noun a, u2_noun b, u2_noun c);
|
||||
|
||||
/* u2_ckc_rsh(): right shift.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckc_rsh(u2_noun a, u2_noun b, u2_noun c);
|
||||
|
||||
/* u2_ckd: tier 4 functions
|
||||
*/
|
||||
/* u2_ckd_by_get(): map get for key `b` in map `a` with u2_none.
|
||||
*/
|
||||
u2_weak
|
||||
u2_ckd_by_get(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckd_by_got(): map get for key `b` in map `a` with fail.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckd_by_got(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckd_by_put(): map put for key `b`, value `c` in map `a`.
|
||||
*/
|
||||
u2_weak
|
||||
u2_ckd_by_put(u2_noun a, u2_noun b, u2_noun c);
|
||||
|
||||
/* u2_ckd_by_has(): test for get.
|
||||
*/
|
||||
u2_bean
|
||||
u2_ckd_by_has(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckd_by_gas(): list to map.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckd_by_gas(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckd_in_gas(): list to map.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckd_in_gas(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckd_in_has(): test for presence.
|
||||
*/
|
||||
u2_bean
|
||||
u2_ckd_in_has(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ckd_in_tap(): map/set convert to list. (solves by_tap also.)
|
||||
*/
|
||||
u2_noun
|
||||
u2_ckd_in_tap(u2_noun a, u2_noun b);
|
||||
|
||||
#define u2_ckd_by_tap(a, b) u2_ckd_in_tap(a, b)
|
||||
|
||||
/* u2_cke: tier 5 functions
|
||||
*/
|
||||
/* u2_cke_cue(): expand saved pill.
|
||||
*/
|
||||
u2_noun
|
||||
u2_cke_cue(u2_atom a);
|
||||
|
||||
/* u2_cke_jam(): pack noun as atom.
|
||||
*/
|
||||
u2_atom
|
||||
u2_cke_jam(u2_noun a);
|
||||
|
||||
/* u2_cke_trip: atom to tape.
|
||||
*/
|
||||
u2_noun
|
||||
u2_cke_trip(u2_noun a);
|
||||
|
||||
Loading…
Reference in New Issue
Block a user