urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-30 07:35:19 +03:00
Code Issues Packages Projects Releases Wiki Activity

vere: remove mink jet

Browse Source
This commit is contained in:
Paul Driver 2019-12-05 15:34:00 -08:00 committed by Jared Tobin
parent e5841d821d
commit 66f8580127
No known key found for this signature in database
GPG Key ID: 0E4647D58F8A69E4
2 changed files with 0 additions and 38 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
pkg/urbit/jets/e/mink.c
View File

@ -3,38 +3,6 @@
*/
#include "all.h"
u3_noun
u3we_mink(u3_noun cor)
{
u3_noun bus, fol, gul;
if ( c3n == u3r_mean(cor, u3x_sam_4, &bus,
u3x_sam_5, &fol,
u3x_sam_3, &gul,
0) )
{
return u3m_bail(c3__exit);
}
else {
u3_noun som;
som = u3n_nock_et(u3k(gul), u3k(bus), u3k(fol));
c3_assert( c3y == u3du(som) );
if ( 1 == u3h(som) ) {
// legacy support: the interpreter now leaves the 0 off the end
// to match +tono. convert to +tone.
u3_noun mos = u3nt(1, u3k(u3t(som)), 0);
u3z(som);
return mos;
}
else {
return som;
}
}
}
u3_noun
u3we_mino(u3_noun cor)
{

6
pkg/urbit/jets/tree.c
View File

@ -844,11 +844,6 @@ static c3_c* _141_qua_sfix_ha[] = {
0
};
static u3j_harm _141_qua_mink_a[] = {{".2", u3we_mink}, {}};
static c3_c* _141_qua_mink_ha[] = {
"fd66c7ed46e5440ea759e6ace2341e6170aec48c79de27ffff3d179d1b5e491e",
0
};
static u3j_harm _141_qua_mino_a[] = {{".2", u3we_mino}, {}};
static c3_c* _141_qua_mino_ha[] = {
0
@ -885,7 +880,6 @@ static u3j_core _141_qua_d[] =
{ "pose", 7, _141_qua_pose_a, 0, _141_qua_pose_ha },
{ "sfix", 7, _141_qua_sfix_a, 0, _141_qua_sfix_ha },
{ "mink", 7, _141_qua_mink_a, 0, _141_qua_mink_ha },
{ "mino", 7, _141_qua_mino_a, 0, _141_qua_mino_ha },
{ "mule", 7, _141_qua_mule_a, 0, _141_qua_mule_ha },
{}