shrub/jets/f/ut_mint.c

878 lines
21 KiB
C
Raw Normal View History

2013-09-29 00:21:18 +04:00
/* j/6/mint.c
**
*/
#include "all.h"
2014-09-04 07:10:43 +04:00
2013-09-29 00:21:18 +04:00
/* logic
*/
2014-09-06 00:13:24 +04:00
static u3_noun
_mint_in(u3_noun, u3_noun, u3_noun, u3_noun);
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
static u3_noun
2015-12-27 23:26:23 +03:00
_mint_bean()
2013-09-29 00:21:18 +04:00
{
2016-01-14 12:52:50 +03:00
return u3kf_fork(u3nt(u3nq(c3__atom, 'f', u3_nul, 0),
u3nq(c3__atom, 'f', u3_nul, 1),
u3_nul));
2013-09-29 00:21:18 +04:00
}
2014-11-06 06:10:22 +03:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_vet(u3_noun van)
2013-09-29 00:21:18 +04:00
{
2014-11-06 06:10:22 +03:00
// u3_noun vet = u3j_hook(u3k(van), "vet");
2014-11-06 22:13:57 +03:00
u3_noun vet = u3r_at(u3qfu_van_vet, van);
2013-09-29 00:21:18 +04:00
switch ( vet ) {
2014-11-05 04:18:47 +03:00
case c3n:
case c3y: return vet;
2014-11-06 03:20:01 +03:00
default: return u3m_bail(c3__fail);
2013-09-29 00:21:18 +04:00
}
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_core(u3_noun pac,
2014-09-06 00:13:24 +04:00
u3_noun con)
2013-09-29 00:21:18 +04:00
{
if ( (c3__void == pac) ) {
return c3__void;
} else {
2014-09-06 00:13:24 +04:00
return u3nt(c3__core, pac, con);
2013-09-29 00:21:18 +04:00
}
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_cond(u3_noun pex,
2014-09-06 00:13:24 +04:00
u3_noun yom,
u3_noun woq)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
if ( 1 == u3h(pex) ) {
if ( 0 == u3t(pex) ) {
u3z(pex);
u3z(woq);
2013-09-29 00:21:18 +04:00
return yom;
}
2014-09-06 00:13:24 +04:00
else if ( 1 == u3t(pex) ) {
u3z(pex);
u3z(yom);
2013-09-29 00:21:18 +04:00
return woq;
}
}
2014-09-06 00:13:24 +04:00
return u3nq(6, pex, yom, woq);
2013-09-29 00:21:18 +04:00
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_corn(u3_noun van,
2014-09-06 00:13:24 +04:00
u3_noun sut,
u3_noun gen)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun mil = _mint_in(van, sut, c3__noun, gen);
u3_noun fol = u3k(u3t(mil));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(mil);
2013-09-29 00:21:18 +04:00
return fol;
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_nice(u3_noun van,
2014-09-06 00:13:24 +04:00
u3_noun gol,
u3_noun typ)
2013-09-29 00:21:18 +04:00
{
2014-11-05 04:18:47 +03:00
if ( (c3y == _mint_vet(van)) &&
2016-01-02 01:47:07 +03:00
(c3n == u3qfu_nest(van, gol, c3y, typ)) )
2013-09-29 00:21:18 +04:00
{
2014-11-06 22:13:57 +03:00
// u3_noun dun = u3qfu_dunq(van, "need", gol);
// u3_noun niz = u3qfu_dunq(van, "have", typ);
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
// u3t_push(u3nc(c3__mean, dun));
// u3t_push(u3nc(c3__mean, niz));
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
return u3m_error("mint-nice");
2013-09-29 00:21:18 +04:00
}
else return typ;
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_coke(u3_noun nug)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
if ( 0 == u3h(nug) ) {
2016-02-17 22:12:44 +03:00
return u3k(u3t(nug));
2016-08-09 11:44:19 +03:00
}
2016-02-17 22:12:44 +03:00
else if ( 10 == u3h(nug) ) {
return _mint_coke(u3t(u3t(nug)));
2013-09-29 00:21:18 +04:00
}
else {
2014-11-06 03:20:01 +03:00
return u3m_error("mint-coke");
2013-09-29 00:21:18 +04:00
}
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_brew(u3_noun van,
2014-09-06 00:13:24 +04:00
u3_noun sut,
2014-11-06 06:10:22 +03:00
u3_noun tov,
2014-09-06 00:13:24 +04:00
u3_noun gen)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun von;
2013-09-29 00:21:18 +04:00
switch ( tov ) {
2014-11-06 03:20:01 +03:00
default: return u3m_bail(c3__fail);
2014-11-05 04:18:47 +03:00
case c3y:
2014-09-06 00:13:24 +04:00
von = u3k(van); break;
2014-11-05 04:18:47 +03:00
case c3n:
2014-11-06 22:13:57 +03:00
von = u3i_molt(u3k(van), u3qfu_van_vet, c3n, 0); break;
2013-09-29 00:21:18 +04:00
}
{
2014-11-06 22:13:57 +03:00
u3_noun mil = u3qfu_mint(von, sut, c3__noun, gen);
2014-09-06 00:13:24 +04:00
u3_noun fol = u3k(u3t(mil));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(mil);
u3z(von);
2013-09-29 00:21:18 +04:00
return fol;
}
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-11-29 10:43:37 +03:00
_mint_harp(u3_noun van,
2014-09-06 00:13:24 +04:00
u3_noun sut,
u3_noun dab)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
if ( (u3_nul == dab) ) {
2014-08-21 01:18:34 +04:00
return 0;
2013-09-29 00:21:18 +04:00
}
else {
2014-09-06 00:13:24 +04:00
u3_noun n_dab, l_dab, r_dab;
2014-11-06 03:20:01 +03:00
u3r_trel(dab, &n_dab, &l_dab, &r_dab);
2014-11-05 04:18:47 +03:00
if ( c3n == u3du(n_dab) ) {
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__fail);
}
2013-09-29 00:21:18 +04:00
else {
2014-09-06 00:13:24 +04:00
u3_noun qn_dab = u3t(n_dab);
u3_noun vad;
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
switch ( u3h(qn_dab) ) {
2014-11-06 03:20:01 +03:00
default: return u3m_bail(c3__exit);
2013-09-29 00:21:18 +04:00
case c3__ash: {
2014-11-05 04:18:47 +03:00
vad = _mint_brew(van, sut, c3y, u3t(qn_dab));
2013-09-29 00:21:18 +04:00
break;
}
case c3__elm: {
2014-11-05 04:18:47 +03:00
vad = _mint_brew(van, sut, c3n, u3t(qn_dab));
2013-09-29 00:21:18 +04:00
break;
}
}
2014-09-06 00:13:24 +04:00
if ( (u3_nul == l_dab) && (u3_nul == r_dab) ) {
2013-09-29 00:21:18 +04:00
return vad;
}
2014-09-06 00:13:24 +04:00
else if ( (u3_nul == l_dab) ) {
2015-11-29 10:43:37 +03:00
return u3nc(vad, _mint_harp(van, sut, r_dab));
2013-09-29 00:21:18 +04:00
}
2014-09-06 00:13:24 +04:00
else if ( (u3_nul == r_dab) ) {
2015-11-29 10:43:37 +03:00
return u3nc(vad, _mint_harp(van, sut, l_dab));
2013-09-29 00:21:18 +04:00
}
else {
2015-08-28 19:34:36 +03:00
return u3nt(vad,
2015-11-29 10:43:37 +03:00
_mint_harp(van, sut, l_dab),
_mint_harp(van, sut, r_dab));
2013-09-29 00:21:18 +04:00
}
}
}
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_grow(u3_noun van,
2014-09-06 00:13:24 +04:00
u3_noun sut,
u3_noun gol,
u3_atom mel,
u3_noun ruf,
u3_noun dab)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun dan = _mint_in(van, sut, c3__noun, ruf);
u3_noun p_dan = u3h(dan);
u3_noun q_dan = u3t(dan);
2015-08-28 19:34:36 +03:00
u3_noun toc = _mint_core(u3k(p_dan),
u3nt(c3__gold,
u3k(p_dan),
u3nc(u3_nul,
u3k(dab))));
2015-11-29 10:43:37 +03:00
u3_noun dez = _mint_harp(van, toc, dab);
2014-09-06 00:13:24 +04:00
u3_noun zod = u3nc(1, dez);
2015-08-28 19:34:36 +03:00
u3_noun cot = _mint_core(u3k(p_dan),
u3nt(mel,
u3k(p_dan),
u3nc(u3k(dez),
u3k(dab))));
u3_noun ret = u3nc(_mint_nice(van, gol, cot),
u3qf_cons(zod, q_dan));
2014-08-21 01:18:34 +04:00
2014-09-06 00:13:24 +04:00
u3z(zod);
u3z(toc);
u3z(dan);
2013-09-29 00:21:18 +04:00
return ret;
}
2014-09-06 00:13:24 +04:00
static u3_noun
2015-08-28 19:34:36 +03:00
_mint_loc(u3_noun van,
2014-09-06 00:13:24 +04:00
u3_noun loc)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun mol = u3nc('o', u3k(loc));
2014-11-06 03:20:01 +03:00
u3_noun sho = u3j_hook(u3k(van), "show");
2014-11-18 00:56:51 +03:00
u3_noun ret = u3i_molt(u3k(sho), u3x_sam, u3k(mol), 0);
2014-09-06 00:13:24 +04:00
u3z(mol);
u3z(sho);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-01-16 04:42:50 +03:00
#if 1
static u3_noun
2016-01-16 04:42:50 +03:00
_mint_cnts(u3_noun van,
u3_noun sut,
u3_noun gol,
u3_noun hyp,
u3_noun rig)
{
u3_noun von = u3i_molt(u3k(van), u3x_sam, u3k(sut), 0);
u3_noun gat = u3j_hook(von, "emin");
2016-08-09 11:44:19 +03:00
return u3n_kick_on(u3i_molt(gat,
u3x_sam_2,
u3k(gol),
u3x_sam_6,
u3k(hyp),
u3x_sam_7,
u3k(rig),
0));
}
#else
static u3_noun
_mint_edit(u3_noun van,
u3_noun sut,
u3_noun mew,
u3_noun p_lar,
u3_noun rag,
u3_noun hej)
{
while ( 1 ) {
if ( c3n == u3du(mew) ) {
u3_noun gim = u3qfu_fire(van, sut, rag);
u3_noun fol = u3qf_hike(p_lar, hej);
u3z(rag);
u3z(hej);
return u3nc(gim, fol);
} else {
u3_noun i_mew = u3h(mew);
u3_noun t_mew = u3t(mew);
u3_noun pi_mew = u3h(i_mew);
u3_noun qi_mew = u3t(i_mew);
u3_noun zil = u3qfu_mint(van, sut, c3__noun, qi_mew);
u3_noun p_zil = u3h(zil);
u3_noun q_zil = u3t(zil);
u3_noun wip = u3qfu_toss(van, sut, pi_mew, p_zil, rag);
u3z(rag);
rag = u3k(u3t(wip));
hej = u3nc(u3nc(u3k(u3h(wip)),
u3k(q_zil)),
hej);
u3z(zil);
u3z(wip);
mew = t_mew;
}
}
}
static u3_noun
_mint_cnts_old(u3_noun van,
u3_noun sut,
u3_noun gol,
u3_noun hyp,
u3_noun rig)
{
u3_noun lar = u3qfu_seek(van, sut, c3__read, hyp);
u3_noun p_lar = u3h(lar);
u3_noun q_lar = u3t(lar);
u3_noun pq_lar = u3h(q_lar);
u3_noun qq_lar = u3t(q_lar);
u3_noun mew = rig;
u3_noun yom = _mint_edit(van, sut, mew, p_lar, u3k(qq_lar), u3_nul);
u3_noun p_yom = u3h(yom);
u3_noun q_yom = u3t(yom);
u3_noun ret = u3nc(_mint_nice(van, gol, u3k(p_yom)),
(0 == pq_lar) ? u3k(q_yom)
: u3nt(9, u3k(pq_lar), u3k(q_yom)));
u3z(yom);
u3z(lar);
return ret;
}
#endif
2014-08-21 01:18:34 +04:00
# define _mint_used()
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
static u3_noun
2014-10-06 21:17:33 +04:00
_mint_in(u3_noun van,
2014-09-06 00:13:24 +04:00
u3_noun sut,
u3_noun gol,
u3_noun gen)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun p_gen, q_gen, r_gen;
u3_noun ret;
2013-09-29 00:21:18 +04:00
if ( (c3__void == sut) &&
!((c3y == u3du(gen)) && (c3__dbug == u3h(gen))) )
2013-09-29 00:21:18 +04:00
{
2014-11-05 04:18:47 +03:00
if ( (c3n == _mint_vet(van))
|| ((c3y == u3du(gen)) &&
2016-08-09 11:44:19 +03:00
((c3__zpfs == u3h(gen)) ||
(c3__lost == u3h(gen)) ||
2016-02-05 13:32:37 +03:00
(c3__fail == u3h(gen)) ||
2015-12-21 08:05:19 +03:00
(c3__zpzp == u3h(gen)))) )
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
return u3nt(c3__void, 0, 0);
2013-09-29 00:21:18 +04:00
}
else {
2014-11-06 03:20:01 +03:00
return u3m_error("mint-vain");
2013-09-29 00:21:18 +04:00
}
}
2014-11-05 04:18:47 +03:00
if ( c3n == u3du(gen) ) {
2014-11-18 00:56:51 +03:00
u3_noun ter = u3r_at(u3x_con_3, van);
2014-11-06 22:13:57 +03:00
u3_noun rex = u3qfp_open(ter, gen);
2013-09-29 00:21:18 +04:00
2014-08-21 01:18:34 +04:00
ret = _mint_in(van, sut, gol, rex);
2014-09-06 00:13:24 +04:00
u3z(rex);
2013-09-29 00:21:18 +04:00
return ret;
}
2014-11-05 04:18:47 +03:00
else if ( c3y == u3du(u3h(gen)) ) {
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun hed = _mint_in(van, sut, c3__noun, u3h(gen));
u3_noun tal = _mint_in(van, sut, c3__noun, u3t(gen));
2014-11-06 22:13:57 +03:00
u3_noun typ = u3qf_cell(u3h(hed), u3h(tal));
2013-09-29 00:21:18 +04:00
2015-08-28 19:34:36 +03:00
ret = u3nc(_mint_nice(van, gol, typ),
u3qf_cons(u3t(hed),
u3t(tal)));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(hed);
u3z(tal);
2013-09-29 00:21:18 +04:00
return ret;
}
2014-09-06 00:13:24 +04:00
} else switch ( u3h(gen) ) {
2013-09-29 00:21:18 +04:00
default: {
2014-11-18 00:56:51 +03:00
u3_noun ter = u3r_at(u3x_con_3, van);
2014-11-06 22:13:57 +03:00
u3_noun rex = u3qfp_open(ter, gen);
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
if ( c3y == u3r_sing(rex, gen) ) {
2013-09-29 00:21:18 +04:00
#if 1
2014-11-06 22:13:57 +03:00
u3_noun zix = u3qfu_shep(van, "gene", 'q', u3k(gen));
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
u3t_push(u3nc(c3__mean, zix));
return u3m_error("mint-open");
2013-09-29 00:21:18 +04:00
#else
2014-09-06 00:13:24 +04:00
u3_err("h", u3h(gen));
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__fail);
2013-09-29 00:21:18 +04:00
#endif
}
2014-08-21 01:18:34 +04:00
ret = _mint_in(van, sut, gol, rex);
2014-09-06 00:13:24 +04:00
u3z(rex);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-09 05:17:17 +03:00
case c3__fits: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-12-27 06:43:25 +04:00
{
2015-12-14 08:05:59 +03:00
u3_noun heb = u3nc(c3__herb, u3k(p_gen));
u3_noun nob = u3qfl_bunt(van, heb);
2015-12-21 08:05:19 +03:00
u3_noun dok = u3nc(c3__wing, u3k(q_gen));
2014-09-06 00:13:24 +04:00
u3_noun vol = _mint_corn(van, sut, dok);
u3_noun axe = _mint_coke(vol);
2014-11-06 22:13:57 +03:00
u3_noun wam = u3qfu_play(van, sut, nob);
2013-12-27 06:43:25 +04:00
2015-08-28 19:34:36 +03:00
ret = u3nc(_mint_nice(van, gol, _mint_bean()),
u3qfu_fish(van, wam, axe));
2013-12-27 06:43:25 +04:00
2014-09-06 00:13:24 +04:00
u3z(axe);
2016-02-17 22:12:44 +03:00
u3z(vol);
2014-09-06 00:13:24 +04:00
u3z(wam);
u3z(nob);
u3z(dok);
2015-12-14 08:05:59 +03:00
u3z(heb);
2014-01-01 10:48:21 +04:00
2013-12-27 06:43:25 +04:00
return ret;
}
2014-01-01 00:11:16 +04:00
2016-02-05 12:25:58 +03:00
case c3__if: u3x_trel(u3t(gen), &p_gen, &q_gen, &r_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun bol = _mint_bean();
u3_noun nor = _mint_in(van, sut, bol, p_gen);
2014-11-06 22:13:57 +03:00
u3_noun fex = u3qfu_gain(van, sut, p_gen);
u3_noun wux = u3qfu_lose(van, sut, p_gen);
2014-09-06 00:13:24 +04:00
u3_noun duy = (c3__void == fex)
2013-09-29 00:21:18 +04:00
? ( (c3__void == wux)
2014-09-06 00:13:24 +04:00
? u3nc(0, 0)
: u3nc(1, 1) )
2013-09-29 00:21:18 +04:00
: ( (c3__void == wux)
2014-09-06 00:13:24 +04:00
? u3nc(1, 0)
: u3k(u3t(nor)) );
u3_noun hiq = _mint_in(van, fex, gol, q_gen);
u3_noun ran = _mint_in(van, wux, gol, r_gen);
2014-08-21 01:18:34 +04:00
2016-01-11 07:43:13 +03:00
ret = u3nc(u3qf_forq(u3h(hiq),
2015-08-28 19:34:36 +03:00
u3h(ran)),
_mint_cond(duy,
u3k(u3t(hiq)),
u3k(u3t(ran))));
2014-08-21 01:18:34 +04:00
2014-09-06 00:13:24 +04:00
u3z(ran);
u3z(hiq);
u3z(nor);
u3z(wux);
u3z(fex);
u3z(bol);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
2016-02-09 06:35:13 +03:00
case c3__cons: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun hed = _mint_in(van, sut, c3__noun, p_gen);
u3_noun tal = _mint_in(van, sut, c3__noun, q_gen);
2014-11-06 22:13:57 +03:00
u3_noun typ = u3qf_cell(u3h(hed), u3h(tal));
2013-09-29 00:21:18 +04:00
2015-08-28 19:34:36 +03:00
ret = u3nc(_mint_nice(van, gol, typ),
u3qf_cons(u3t(hed),
u3t(tal)));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(hed);
u3z(tal);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__same: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun typ = _mint_nice(van, gol, _mint_bean());
2016-01-25 06:37:41 +03:00
u3_noun one = _mint_in(van, sut, c3__noun, p_gen);
u3_noun two = _mint_in(van, sut, c3__noun, q_gen);
u3_noun ret;
if ( (c3y == _mint_vet(van)) &&
(c3n == u3qfu_nest(van, u3h(one), c3n, u3h(two))) &&
(c3n == u3qfu_nest(van, u3h(two), c3y, u3h(one))) )
{
return u3m_error("nest");
}
ret = u3nc(typ, u3nt(5, u3k(u3t(one)), u3k(u3t(two))));
u3z(one);
u3z(two);
2013-09-29 00:21:18 +04:00
2016-01-25 06:37:41 +03:00
return ret;
2013-09-29 00:21:18 +04:00
}
2016-02-05 12:25:58 +03:00
case c3__deep: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun typ = _mint_nice(van, gol, _mint_bean());
2013-09-29 00:21:18 +04:00
2015-08-28 19:34:36 +03:00
return u3nc(typ,
u3nc(3, _mint_corn(van, sut, p_gen)));
2013-09-29 00:21:18 +04:00
}
2016-02-05 12:25:58 +03:00
case c3__wish: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2016-02-09 06:35:13 +03:00
u3_noun nog = u3nc(c3__bunt, u3k(p_gen));
u3_noun nef = _mint_in(van, sut, gol, nog);
u3_noun viz = _mint_in(van, sut, c3__noun, q_gen);
2016-08-09 11:44:19 +03:00
ret = u3nc(u3k(u3h(nef)),
2016-02-04 00:33:43 +03:00
u3nt(11, u3nc(1, u3nc(151, u3k(u3h(nef)))), u3k(u3t(viz))));
2016-08-09 11:44:19 +03:00
u3z(viz);
u3z(nef);
u3z(nog);
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__bump: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
u3_noun tom = u3nt(c3__atom, u3_blip, u3_nul);
2014-09-06 00:13:24 +04:00
u3_noun sam = _mint_in(van, sut, tom, p_gen);
2013-09-29 00:21:18 +04:00
2015-08-28 19:34:36 +03:00
ret = u3nc(_mint_nice(van, gol, tom),
u3nc(4, u3k(u3t(sam))));
2014-09-06 00:13:24 +04:00
u3z(sam);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
2015-12-30 00:52:51 +03:00
case c3__rock: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2015-12-28 23:53:10 +03:00
u3_noun typ = u3qfu_play(van, sut, gen);
2015-08-28 19:34:36 +03:00
u3_noun ret = u3nc(_mint_nice(van, gol, typ),
u3nc(1, u3k(q_gen)));
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
2016-02-09 06:35:13 +03:00
case c3__nock: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun one = _mint_corn(van, sut, p_gen);
u3_noun two = _mint_corn(van, sut, q_gen);
2014-07-24 03:23:53 +04:00
2015-08-28 19:34:36 +03:00
return u3nc(_mint_nice(van, gol, c3__noun),
u3nt(2, one, two));
2013-09-29 00:21:18 +04:00
}
2016-02-05 12:25:58 +03:00
2015-12-29 22:52:22 +03:00
case c3__sand: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-11-06 22:13:57 +03:00
u3_noun typ = u3qfu_play(van, sut, gen);
2015-08-28 19:34:36 +03:00
u3_noun ret = u3nc(_mint_nice(van, gol, typ),
u3nc(1, u3k(q_gen)));
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
2016-01-26 22:03:05 +03:00
case c3__hand:
_mint_used();
{
return u3k(u3t(gen));
}
2016-02-05 12:25:58 +03:00
case c3__iron: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun ryd = _mint_in(van, sut, gol, p_gen);
2014-11-06 22:13:57 +03:00
u3_noun tyf = u3qfu_wrap(van, u3h(ryd), c3__iron);
2014-09-06 00:13:24 +04:00
u3_noun pro = u3nc(tyf, u3k(u3t(ryd)));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(ryd);
2013-09-29 00:21:18 +04:00
return pro;
}
2016-02-05 12:25:58 +03:00
case c3__zinc: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun ryd = _mint_in(van, sut, gol, p_gen);
2014-11-06 22:13:57 +03:00
u3_noun tyf = u3qfu_wrap(van, u3h(ryd), c3__zinc);
2014-09-06 00:13:24 +04:00
u3_noun pro = u3nc(tyf, u3k(u3t(ryd)));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(ryd);
2013-09-29 00:21:18 +04:00
return pro;
}
2016-02-05 12:25:58 +03:00
case c3__lead: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun ryd = _mint_in(van, sut, gol, p_gen);
2014-11-06 22:13:57 +03:00
u3_noun tyf = u3qfu_wrap(van, u3h(ryd), c3__lead);
2014-09-06 00:13:24 +04:00
u3_noun pro = u3nc(tyf, u3k(u3t(ryd)));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(ryd);
2013-09-29 00:21:18 +04:00
return pro;
}
case c3__help: u3x_cell(u3t(gen), &p_gen, &q_gen);
_mint_used();
{
u3_noun hum = _mint_in(van, sut, gol, q_gen);
u3_noun ret = u3nc(u3qf_help(p_gen, u3k(u3h(hum))),
u3k(u3t(hum)));
u3z(hum);
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__name: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
{
2014-09-06 00:13:24 +04:00
u3_noun vat = _mint_in(van, sut, gol, q_gen);
2015-08-28 19:34:36 +03:00
ret = u3nc(u3qfu_conk(van, u3h(vat), p_gen),
u3k(u3t(vat)));
2014-09-06 00:13:24 +04:00
u3z(vat);
return ret;
}
2016-02-05 12:25:58 +03:00
2016-03-31 01:14:11 +03:00
case c3__tune: p_gen = u3t(gen);
_mint_used();
{
return u3nc(u3qf_face(p_gen, sut), u3nc(0, 1));
}
2016-02-05 12:25:58 +03:00
case c3__burn: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun nef = _mint_in(van, sut, gol, p_gen);
u3_noun p_nef = u3h(nef);
u3_noun q_nef = u3t(nef);
u3_noun fom;
2013-09-29 00:21:18 +04:00
{
2014-11-06 22:13:57 +03:00
u3_noun cag = u3qfu_burn(van, sut);
2014-11-06 03:20:01 +03:00
u3_noun wim = u3n_nock_an(cag, u3k(q_nef));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
if ( 0 == u3h(wim) ) {
fom = u3nc(1, u3k(u3t(wim)));
2013-09-29 00:21:18 +04:00
} else {
2014-09-06 00:13:24 +04:00
fom = u3k(q_nef);
2013-09-29 00:21:18 +04:00
}
2014-09-06 00:13:24 +04:00
u3z(wim);
2013-09-29 00:21:18 +04:00
}
2014-09-06 00:13:24 +04:00
ret = u3nc(u3k(p_nef), fom);
2014-09-06 00:13:24 +04:00
u3z(nef);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__like: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-11-06 22:13:57 +03:00
u3_noun huz = u3qfu_play(van, sut, p_gen);
2014-09-06 00:13:24 +04:00
u3_noun hif = _mint_nice(van, gol, huz);
u3_noun zel = _mint_in(van, sut, hif, q_gen);
u3_noun ret = u3nc(hif, u3k(u3t(zel)));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(zel);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__per: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun fid = _mint_in(van, sut, c3__noun, p_gen);
u3_noun p_fid = u3h(fid);
u3_noun q_fid = u3t(fid);
u3_noun dov = _mint_in(van, p_fid, gol, q_gen);
u3_noun p_dov = u3h(dov);
u3_noun q_dov = u3t(dov);
2014-08-21 01:18:34 +04:00
2015-08-28 19:34:36 +03:00
ret = u3nc(u3k(p_dov),
u3qf_comb(q_fid, q_dov));
2014-08-21 01:18:34 +04:00
2014-09-06 00:13:24 +04:00
u3z(fid);
u3z(dov);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__aka: u3x_trel(u3t(gen), &p_gen, &q_gen, &r_gen);
2014-09-06 00:13:24 +04:00
_mint_used();
2016-01-16 04:42:50 +03:00
{
u3_noun boc = u3qfu_buss(van, sut, p_gen, q_gen);
u3_noun ret = _mint_in(van, boc, gol, r_gen);
2013-09-29 00:21:18 +04:00
2016-01-16 04:42:50 +03:00
u3z(boc);
return ret;
}
2016-02-05 12:25:58 +03:00
2016-10-09 07:41:50 +03:00
case c3__use: u3x_cell(u3t(gen), &p_gen, &q_gen);
_mint_used();
{
u3_noun boc = u3qfu_busk(van, sut, p_gen);
u3_noun ret = _mint_in(van, boc, gol, q_gen);
u3z(boc);
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__make: u3x_cell(u3t(gen), &p_gen, &q_gen);
2016-01-16 04:42:50 +03:00
_mint_used();
{
return _mint_cnts(van, sut, gol, p_gen, q_gen);
}
2016-02-05 12:25:58 +03:00
case c3__core: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun ruf = u3nc(u3_nul, 1);
2013-09-29 00:21:18 +04:00
2014-08-21 01:18:34 +04:00
ret = _mint_grow(van, sut, gol, c3__gold, ruf, p_gen);
2014-09-06 00:13:24 +04:00
u3z(ruf);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
2016-02-09 05:17:17 +03:00
case c3__peep: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-12-05 02:30:09 +04:00
{
2014-11-06 22:13:57 +03:00
u3_noun typ = u3qfu_play(van, sut, p_gen);
u3_noun dug = u3qfu_duck(van, typ);
2013-12-05 02:30:09 +04:00
2014-11-06 03:20:01 +03:00
u3t_push(u3nc(c3__mean, dug));
2013-12-05 02:30:09 +04:00
{
2014-08-21 01:18:34 +04:00
ret = _mint_in(van, sut, gol, q_gen);
}
2014-11-06 03:20:01 +03:00
u3t_drop();
2013-12-05 02:30:09 +04:00
2014-09-06 00:13:24 +04:00
u3z(typ);
2013-12-05 02:30:09 +04:00
return ret;
2013-09-29 00:21:18 +04:00
}
2016-02-05 12:25:58 +03:00
case c3__hint: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun hum = _mint_in(van, sut, gol, q_gen);
u3_noun bez;
2014-11-05 04:18:47 +03:00
if ( c3y == u3ud(p_gen) ) {
2014-09-06 00:13:24 +04:00
bez = u3k(p_gen);
2013-09-29 00:21:18 +04:00
} else {
2014-09-06 00:13:24 +04:00
bez = u3nc(u3k(u3h(p_gen)),
2015-08-28 19:34:36 +03:00
_mint_corn(van, sut, u3t(p_gen)));
2013-09-29 00:21:18 +04:00
}
2015-08-28 19:34:36 +03:00
ret = u3nc(u3k(u3h(hum)),
u3nt(10, bez, u3k(u3t(hum))));
2014-09-06 00:13:24 +04:00
u3z(hum);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
2016-02-09 05:17:17 +03:00
case c3__code: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-11-06 22:13:57 +03:00
u3_noun von = u3i_molt(u3k(van), u3qfu_van_vet, c3n, 0);
2014-09-06 00:13:24 +04:00
u3_noun sev = _mint_corn(von, sut, p_gen);
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(von);
return u3nc(c3__noun, u3nc(1, sev));
2013-09-29 00:21:18 +04:00
}
2016-02-05 12:25:58 +03:00
case c3__twig: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2015-08-28 19:34:36 +03:00
return u3nc(_mint_nice(van,
gol,
u3qfu_play(van, sut, p_gen)),
u3nc(1, u3k(q_gen)));
2013-09-29 00:21:18 +04:00
}
2016-02-05 12:25:58 +03:00
2015-12-21 08:05:19 +03:00
case c3__dbug: u3x_cell(u3t(gen), &p_gen, &q_gen);
2013-09-29 00:21:18 +04:00
{
2014-11-06 03:20:01 +03:00
u3t_push(u3nc(c3__mean, _mint_loc(van, p_gen)));
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun hum = _mint_in(van, sut, gol, q_gen);
u3_noun bez = u3nt(c3__spot, 1, u3k(p_gen));
2013-09-29 00:21:18 +04:00
2014-10-06 21:17:33 +04:00
ret = u3nc(u3k(u3h(hum)), u3nt(10, bez, u3k(u3t(hum))));
2014-09-06 00:13:24 +04:00
u3z(hum);
2013-09-29 00:21:18 +04:00
}
2014-11-06 03:20:01 +03:00
u3t_drop();
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
case c3__spit: u3x_cell(u3t(gen), &p_gen, &q_gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun vos = _mint_in(van, sut, c3__noun, q_gen);
2014-11-06 22:13:57 +03:00
u3_noun zur = u3qfu_play(van, sut, p_gen);
2014-09-06 00:13:24 +04:00
u3_noun p_vos = u3h(vos);
u3_noun q_vos = u3t(vos);
u3_noun waz = u3nc(1, u3k(p_vos));
u3_noun sif = u3k(zur);
2014-11-06 22:13:57 +03:00
u3_noun cig = u3qf_cell(sif, p_vos);
2014-09-06 00:13:24 +04:00
u3_noun ret;
2013-09-29 00:21:18 +04:00
2015-08-28 19:34:36 +03:00
ret = u3nc(_mint_nice(van, gol, cig),
u3qf_cons(waz, q_vos));
2013-09-29 00:21:18 +04:00
2014-09-06 00:13:24 +04:00
u3z(waz);
u3z(zur);
u3z(sif);
u3z(vos);
2013-09-29 00:21:18 +04:00
return ret;
}
2016-02-05 12:25:58 +03:00
2015-12-21 08:05:19 +03:00
case c3__lost: p_gen = u3t(gen);
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-11-05 04:18:47 +03:00
if ( c3y == _mint_vet(van) ) {
2014-11-06 22:13:57 +03:00
u3_noun zur = u3qfu_play(van, sut, p_gen);
u3_noun dun = u3qfu_dunq(van, "lost", zur);
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
u3t_push(u3nc(c3__mean, dun));
return u3m_error("mint-lost");
2013-09-29 00:21:18 +04:00
}
else {
2014-09-06 00:13:24 +04:00
return u3nt(c3__void, 0, 0);
2013-09-29 00:21:18 +04:00
}
}
2016-02-05 12:25:58 +03:00
case c3__fail:
2014-08-21 01:18:34 +04:00
_mint_used();
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
return u3nt(c3__void, 0, 0);
2013-09-29 00:21:18 +04:00
}
}
}
2014-09-06 00:13:24 +04:00
u3_noun
2015-08-28 19:34:36 +03:00
_cqfu_mint(u3_noun van,
u3_noun sut,
u3_noun gol,
u3_noun gen)
2013-09-29 00:21:18 +04:00
{
2014-08-21 01:18:34 +04:00
return _mint_in(van, sut, gol, gen);
2013-09-29 00:21:18 +04:00
}
/* boilerplate
*/
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 22:13:57 +03:00
u3wfu_mint(u3_noun cor)
2013-09-29 00:21:18 +04:00
{
2014-09-06 00:13:24 +04:00
u3_noun sut, gol, gen, van;
2013-09-29 00:21:18 +04:00
2014-11-18 00:56:51 +03:00
if ( (c3n == u3r_mean(cor, u3x_sam_2, &gol,
2015-08-28 19:34:36 +03:00
u3x_sam_3, &gen,
u3x_con, &van,
0)) ||
2014-11-18 00:56:51 +03:00
(u3_none == (sut = u3r_at(u3x_sam, van))) )
2013-09-29 00:21:18 +04:00
{
2014-11-06 03:20:01 +03:00
return u3m_bail(c3__fail);
2013-09-29 00:21:18 +04:00
} else {
2014-09-03 09:46:55 +04:00
return _cqfu_mint(van, sut, gol, gen);
2013-09-29 00:21:18 +04:00
}
}
2014-09-06 00:13:24 +04:00
u3_noun
2014-11-06 22:13:57 +03:00
u3qfu_mint(u3_noun van,
2015-08-28 19:34:36 +03:00
u3_noun sut,
u3_noun gol,
u3_noun gen)
2013-09-29 00:21:18 +04:00
{
2014-08-28 23:40:40 +04:00
c3_m fun_m = c3__mint;
2014-11-06 22:13:57 +03:00
u3_noun vrf = u3r_at(u3qfu_van_vrf, van);
2014-11-06 03:20:01 +03:00
u3_noun pro = u3z_find_4(fun_m, vrf, sut, gol, gen);
2013-09-29 00:21:18 +04:00
2014-11-06 02:36:30 +03:00
if ( u3_none != pro ) {
2014-08-28 23:40:40 +04:00
return pro;
2013-09-29 00:21:18 +04:00
}
else {
2014-09-03 09:46:55 +04:00
pro = _cqfu_mint(van, sut, gol, gen);
2013-09-29 00:21:18 +04:00
2014-11-06 03:20:01 +03:00
return u3z_save_4(fun_m, vrf, sut, gol, gen, pro);
2013-09-29 00:21:18 +04:00
}
}