ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2025-01-01 19:46:36 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fully disengaged jets from core assembly.

Browse Source
This commit is contained in:
C. Guy Yarvin 2018-02-19 13:05:19 -08:00
parent 9aa0743df1
commit 984b917a9b
2 changed files with 25 additions and 53 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
jets/f/ut_mint.c
View File

@ -32,28 +32,23 @@
static u3_noun
_mint_mine(u3_noun van,
u3_noun sut,
u3_noun mel,
u3_noun wad,
u3_noun dom)
{
u3_noun von = u3i_molt(u3k(van), u3x_sam, u3k(sut), 0);
u3_noun gat = u3j_hook(von, "mine");
return u3n_kick_on(u3i_molt(gat,
u3x_sam,
u3k(dom),
u3x_sam_2,
u3k(mel),
u3x_sam_6,
u3k(wad),
u3x_sam_7,
u3k(dom),
0));
}
static u3_noun
_mint_core(u3_noun pac,
u3_noun con)
{
if ( (c3__void == pac) ) {
return c3__void;
} else {
return u3nt(c3__core, pac, con);
}
}
static u3_noun
_mint_cond(u3_noun pex,
u3_noun yom,
@ -133,19 +128,11 @@
u3_noun dan = _mint_in(van, sut, c3__noun, ruf);
u3_noun p_dan = u3h(dan);
u3_noun q_dan = u3t(dan);
u3_noun dez = _mint_mine(van, p_dan, dom);
u3_noun zod = u3nc(1, dez);
u3_noun cot = _mint_core(u3k(p_dan),
u3nq(mel,
u3k(p_dan),
u3k(wan),
u3nc(u3k(dez),
u3k(dom))));
u3_noun ret = u3nc(_mint_nice(van, gol, cot),
u3qf_cons(zod, q_dan));
u3_noun pul = _mint_mine(van, p_dan, mel, wan, dom);
u3_noun ret = u3nc(_mint_nice(van, gol, u3k(u3h(pul))),
u3qf_cons(u3t(pul), q_dan));
u3z(zod);
u3z(pul);
u3z(dan);
return ret;
}

41
jets/f/ut_mull.c
View File

@ -8,17 +8,6 @@
static u3_noun
_mull_in(u3_noun, u3_noun, u3_noun, u3_noun, u3_noun);
static u3_noun
_mull_core(u3_noun pac,
u3_noun con)
{
if ( (c3__void == pac) ) {
return c3__void;
} else {
return u3nt(c3__core, pac, con);
}
}
static u3_noun
_mull_bean()
{
@ -59,6 +48,8 @@
_mull_mile(u3_noun van,
u3_noun sut,
u3_noun dox,
u3_noun mel,
u3_noun wad,
u3_noun dom)
{
u3_noun von = u3i_molt(u3k(van), u3x_sam, u3k(sut), 0);
@ -67,8 +58,12 @@
return u3n_kick_on(u3i_molt(gat,
u3x_sam_2,
u3k(dox),
u3x_sam_3,
u3k(dom),
u3x_sam_6,
u3k(mel),
u3x_sam_14,
u3k(wad),
u3x_sam_15,
u3k(dom),
0));
}
@ -114,22 +109,12 @@
u3_noun dan = _mull_in(van, sut, c3__noun, dox, ruf);
u3_noun p_dan = u3h(dan);
u3_noun q_dan = u3t(dan);
u3_noun buk = _mull_mile(van, p_dan, q_dan, dom);
u3_noun p_ret = _mull_core(u3k(p_dan),
u3nq(u3k(mel),
u3k(p_dan),
u3k(wan),
u3nc(u3nc(u3_nul, u3_nul),
u3k(dom))));
u3_noun q_ret = _mull_core(u3k(q_dan),
u3nq(u3k(mel),
u3k(q_dan),
u3k(wan),
u3nc(u3nc(u3_nul, u3_nul),
u3k(dom))));
u3_noun ret = u3nc(_mull_nice(van, gol, p_ret), q_ret);
u3_noun yaz = _mull_mile(van, p_dan, q_dan, mel, wan, dom);
u3_noun p_yaz = u3h(yaz);
u3_noun q_yaz = u3t(yaz);
u3_noun ret = u3nc(_mull_nice(van, gol, u3k(p_yaz)), u3k(q_yaz));
u3z(buk);
u3z(yaz);
u3z(dan);
return ret;