This commit is contained in:
Paul Driver 2018-04-27 10:30:36 -07:00
parent d139b76ece
commit f42fef9e71

View File

@ -3,12 +3,8 @@
*/ */
#include "all.h" #include "all.h"
static u3_noun
/* functions _skid_in(u3j_site* sit_u, u3_noun a)
*/
u3_noun
u3qb_skid(u3_noun a,
u3_noun b)
{ {
if ( 0 == a ) { if ( 0 == a ) {
return u3nc(u3_nul, u3_nul); return u3nc(u3_nul, u3_nul);
@ -16,8 +12,8 @@
else if ( c3n == u3du(a) ) { else if ( c3n == u3du(a) ) {
return u3m_bail(c3__exit); return u3m_bail(c3__exit);
} else { } else {
u3_noun acc = u3qb_skid(u3t(a), b); u3_noun acc = _skid_in(sit_u, u3t(a));
u3_noun hoz = u3n_slam_on(u3k(b), u3k(u3h(a))); u3_noun hoz = u3j_gate_slam(sit_u, u3k(u3h(a)));
u3_noun nex; u3_noun nex;
if ( c3y == hoz ) { if ( c3y == hoz ) {
@ -32,6 +28,20 @@
return nex; return nex;
} }
} }
/* functions
*/
u3_noun
u3qb_skid(u3_noun a,
u3_noun b)
{
u3_noun pro;
u3j_site sit_u;
u3j_gate_prep(&sit_u, b);
pro = _skid_in(&sit_u, a);
u3j_gate_lose(&sit_u);
return pro;
}
u3_noun u3_noun
u3wb_skid(u3_noun cor) u3wb_skid(u3_noun cor)
{ {