ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-01 20:04:09 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix alignments in jets/d

Browse Source
This commit is contained in:
Alex Higgins 2015-08-28 08:26:00 -05:00
parent 51c696cc33
commit 150833ac5b
17 changed files with 216 additions and 301 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
jets/d/by_bif.c
View File

@ -5,7 +5,8 @@
/* internal functions
*/
u3_noun _b_bif_putroot(u3_noun a, u3_noun b)
u3_noun _b_bif_putroot(u3_noun a,
u3_noun b)
{
if ( u3_nul == a) {
return u3nt(u3k(b), u3_nul, u3_nul);
@ -62,7 +63,8 @@
}
}
u3_noun u3qdb_bif(u3_noun a, u3_noun b)
u3_noun u3qdb_bif(u3_noun a,
u3_noun b)
{
u3_noun c, n_c, l_c, r_c;
u3_noun d;

6
jets/d/by_dif.c
View File

@ -5,7 +5,8 @@
/* internal functions
*/
u3_noun _b_dif_join(u3_noun d, u3_noun e)
u3_noun _b_dif_join(u3_noun d
u3_noun e)
{
if ( u3_nul == d ) {
return u3k(e);
@ -48,7 +49,8 @@
}
}
u3_noun u3qdb_dif(u3_noun a, u3_noun b)
u3_noun u3qdb_dif(u3_noun a,
u3_noun b)
{
if ( u3_nul == b ) {
return u3k(a);

9
jets/d/by_gas.c
View File

@ -7,8 +7,7 @@
/* functions
*/
u3_noun
u3qdb_gas(
u3_noun a,
u3qdb_gas(u3_noun a,
u3_noun b)
{
if ( u3_nul == b ) {
@ -41,8 +40,7 @@
}
}
u3_noun
u3wdb_gas(
u3_noun cor)
u3wdb_gas(u3_noun cor)
{
u3_noun a, b;
@ -53,7 +51,8 @@
}
}
u3_noun
u3kdb_gas(u3_noun a, u3_noun b)
u3kdb_gas(u3_noun a,
u3_noun b)
{
u3_weak c = u3qdb_gas(a, b);

9
jets/d/by_get.c
View File

@ -7,7 +7,8 @@
/* functions
*/
u3_noun
u3qdb_get(u3_noun a, u3_noun b)
u3qdb_get(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
return u3_nul;
@ -46,7 +47,8 @@
}
}
u3_weak
u3kdb_get(u3_noun a, u3_noun b)
u3kdb_get(u3_noun a,
u3_noun b)
{
u3_noun c = u3qdb_get(a, b);
@ -62,7 +64,8 @@
}
}
u3_noun
u3kdb_got(u3_noun a, u3_noun b)
u3kdb_got(u3_noun a,
u3_noun b)
{
u3_weak c = u3kdb_get(a, b);

9
jets/d/by_has.c
View File

@ -7,8 +7,7 @@
/* functions
*/
u3_noun
u3qdb_has(
u3_noun a,
u3qdb_has(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
@ -37,8 +36,7 @@
}
}
u3_noun
u3wdb_has(
u3_noun cor)
u3wdb_has(u3_noun cor)
{
u3_noun a, b;
@ -49,7 +47,8 @@
}
}
u3_noun
u3kdb_has(u3_noun a, u3_noun b)
u3kdb_has(u3_noun a,
u3_noun b)
{
u3_weak c = u3qdb_has(a, b);

48
jets/d/by_int.c
View File

@ -9,8 +9,7 @@
/* functions
*/
u3_noun
u3qdb_int(
u3_noun a,
u3qdb_int(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
@ -44,76 +43,57 @@
else if ( c3y == u3qc_vor(p_n_a, p_n_b) ) {
if ( c3y == u3r_sing(p_n_a, p_n_b) ) {
return u3nt(
u3k(n_b),
u3qdb_int(u3k(l_a), u3k(l_b)),
u3qdb_int(u3k(r_a), u3k(r_b)));
}
else if ( c3y == u3qc_gor(p_n_b, p_n_a) ) {
return u3qdb_uni(
u3qdb_int(
u3k(l_a),
u3nt(
u3k(n_b),
u3qdb_int(u3k(l_a),
u3nt(u3k(n_b),
u3k(l_b),
u3k(u3_nul))),
u3qdb_int(
u3k(a),
u3qdb_int(u3k(a),
u3k(r_b)));
}
else {
return u3qdb_uni(
u3qdb_int(
u3k(r_a),
u3nt(
u3k(n_b),
u3qdb_int(u3k(r_a),
u3nt(u3k(n_b),
u3k(u3_nul),
u3k(r_b))),
u3qdb_int(
u3k(a),
u3qdb_int(u3k(a),
u3k(l_b)));
}
}
else if ( c3y == u3r_sing(p_n_b, p_n_a) ) {
return u3nt(
u3k(n_b),
u3qdb_int(u3k(l_b), u3k(l_a)),
u3qdb_int(u3k(r_b), u3k(r_a)));
}
else if ( c3y == u3qc_gor(p_n_a, p_n_b) ) {
return u3qdb_uni(
u3qdb_int(
u3k(l_b),
u3nt(
u3k(n_a),
u3qdb_int(u3k(l_b),
u3nt(u3k(n_a),
u3k(l_a),
u3k(u3_nul))),
u3qdb_int(
u3k(a),
u3qdb_int(u3k(a),
u3k(r_a)));
}
else {
return u3qdb_uni(
u3qdb_int(
u3k(r_b),
u3nt(
u3k(n_a),
u3qdb_int(u3k(r_b),
u3nt(u3k(n_a),
u3k(u3_nul),
u3k(r_a))),
u3qdb_int(
u3k(a),
u3qdb_int(u3k(a),
u3k(l_a)));
}
}
}
u3_noun
u3wdb_int(
u3_noun cor)
u3wdb_int(u3_noun cor)
{
u3_noun a, b;

16
jets/d/by_put.c
View File

@ -7,8 +7,7 @@
/* functions
*/
u3_noun
u3qdb_put(
u3_noun a,
u3qdb_put(u3_noun a,
u3_noun b,
u3_noun c)
{
@ -53,8 +52,7 @@
u3_noun e = u3nt
(u3k(n_d),
u3k(l_d),
u3nt(
u3k(n_a),
u3nt(u3k(n_a),
u3k(r_d),
u3k(r_a)));
@ -76,8 +74,7 @@
{
u3_noun e = u3nt
(u3k(n_d),
u3nt(
u3k(n_a),
u3nt(u3k(n_a),
u3k(l_a),
u3k(l_d)),
u3k(r_d));
@ -91,8 +88,7 @@
}
}
u3_noun
u3wdb_put(
u3_noun cor)
u3wdb_put(u3_noun cor)
{
u3_noun a, b, c;
@ -105,7 +101,9 @@
}
}
u3_weak
u3kdb_put(u3_noun a, u3_noun b, u3_noun c)
u3kdb_put(u3_noun a,
u3_noun b,
u3_noun c)
{
// Bizarre asymmetry in old jets.
//

56
jets/d/by_uni.c
View File

@ -9,8 +9,7 @@
/* functions
*/
u3_noun
u3qdb_uni(
u3_noun a,
u3qdb_uni(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
@ -44,20 +43,16 @@
else if ( c3y == u3qc_vor(p_n_a, p_n_b) ) {
if ( c3y == u3r_sing(p_n_a, p_n_b) ) {
return u3nt(u3k(n_b),
u3qdb_uni(
u3k(l_a), u3k(l_b)),
u3qdb_uni(
u3k(r_a), u3k(r_b)));
u3qdb_uni(u3k(l_a),
u3k(l_b)),
u3qdb_uni(u3k(r_a),
u3k(r_b)));
}
else if ( c3y == u3qc_gor(p_n_b, p_n_a) ) {
return u3qdb_uni(
u3nt(
u3k(n_a),
u3qdb_uni(
u3k(l_a),
u3nt(
u3k(n_b),
u3nt(u3k(n_a),
u3qdb_uni(u3k(l_a),
u3nt(u3k(n_b),
u3k(l_b),
u3k(u3_nul))),
u3k(r_a)),
@ -65,35 +60,25 @@
}
else {
return u3qdb_uni(
u3nt(
u3k(n_a),
u3nt(u3k(n_a),
u3k(l_a),
u3qdb_uni(
u3k(r_a),
u3nt(
u3k(n_b),
u3qdb_uni(u3k(r_a),
u3nt(u3k(n_b),
u3k(u3_nul),
u3k(r_b)))),
u3k(l_b));
}
}
else if ( c3y == u3r_sing(p_n_b, p_n_a) ) {
return u3nt(
u3k(n_b),
return u3nt(u3k(n_b),
u3qdb_uni(u3k(r_b), u3k(r_a)),
u3qdb_uni(u3k(l_b), u3k(l_a)));
}
else if ( c3y == u3qc_gor(p_n_a, p_n_b) ) {
return u3qdb_uni(
u3k(r_a),
u3nt(
u3k(n_b),
u3qdb_uni(
u3nt(
u3k(n_a),
u3nt(u3k(n_b),
u3qdb_uni(u3nt(u3k(n_a),
u3k(l_a),
u3k(u3_nul)),
u3k(l_b)),
@ -101,23 +86,18 @@
}
else {
return u3qdb_uni(
u3k(l_a),
u3nt(
u3k(n_b),
u3nt(u3k(n_b),
u3k(l_b),
u3qdb_uni(
u3k(r_b),
u3nt(
u3k(n_a),
u3qdb_uni(u3k(r_b),
u3nt(u3k(n_a),
u3k(u3_nul),
u3k(r_a)))));
}
}
}
u3_noun
u3wdb_uni(
u3_noun cor)
u3wdb_uni(u3_noun cor)
{
u3_noun a, b;

12
jets/d/in_bif.c
View File

@ -5,7 +5,8 @@
/* internal functions
*/
u3_noun _i_bif_putroot(u3_noun a, u3_noun b)
u3_noun _i_bif_putroot(u3_noun a,
u3_noun b)
{
if ( u3_nul == a) {
return u3nt(u3k(b), u3_nul, u3_nul);
@ -28,8 +29,7 @@
u3r_trel(c, &n_c, &l_c, &r_c);
d = u3nt(u3k(n_c),
u3k(l_c),
u3nt(u3k(n_a), u3k(r_c), u3k(r_a))
);
u3nt(u3k(n_a), u3k(r_c), u3k(r_a)));
u3z(c);
return d;
} else {
@ -37,8 +37,7 @@
u3r_trel(c, &n_c, &l_c, &r_c);
d = u3nt(u3k(n_c),
u3nt(u3k(n_a), u3k(l_a), u3k(l_c)),
u3k(r_c)
);
u3k(r_c));
u3z(c);
return d;
}
@ -58,7 +57,8 @@
}
}
u3_noun u3qdi_bif(u3_noun a, u3_noun b)
u3_noun u3qdi_bif(u3_noun a,
u3_noun b)
{
u3_noun c, n_c, l_c, r_c;
u3_noun d;

6
jets/d/in_dif.c
View File

@ -5,7 +5,8 @@
/* internal functions
*/
u3_noun _i_dif_join(u3_noun d, u3_noun e)
u3_noun _i_dif_join(u3_noun d,
u3_noun e)
{
if ( u3_nul == d ) {
return u3k(e);
@ -44,7 +45,8 @@
}
}
u3_noun u3qdi_dif(u3_noun a, u3_noun b)
u3_noun u3qdi_dif(u3_noun a,
u3_noun b)
{
if ( u3_nul == b ) {
return u3k(a);

9
jets/d/in_gas.c
View File

@ -7,8 +7,7 @@
/* functions
*/
u3_noun
u3qdi_gas(
u3_noun a,
u3qdi_gas(u3_noun a,
u3_noun b)
{
if ( u3_nul == b ) {
@ -34,8 +33,7 @@
}
}
u3_noun
u3wdi_gas(
u3_noun cor)
u3wdi_gas(u3_noun cor)
{
u3_noun a, b;
@ -46,7 +44,8 @@
}
}
u3_noun
u3kdi_gas(u3_noun a, u3_noun b)
u3kdi_gas(u3_noun a,
u3_noun b)
{
u3_weak c = u3qdi_gas(a, b);

6
jets/d/in_has.c
View File

@ -7,7 +7,8 @@
/* functions
*/
u3_noun
u3qdi_has(u3_noun a, u3_noun b)
u3qdi_has(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
return c3n;
@ -43,7 +44,8 @@
}
}
u3_noun
u3kdi_has(u3_noun a, u3_noun b)
u3kdi_has(u3_noun a,
u3_noun b)
{
u3_weak c = u3qdi_has(a, b);

26
jets/d/in_int.c
View File

@ -7,8 +7,7 @@
/* functions
*/
u3_noun
u3qdi_int(
u3_noun a,
u3qdi_int(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
@ -46,35 +45,26 @@
u3qdi_int(r_a, r_b));
}
else if ( c3y == u3qc_hor(n_b, n_a) ) {
return u3qdi_uni(
u3qdi_int(
l_a,
u3nt(
n_b,
return u3qdi_uni(u3qdi_int(l_a,
u3nt(n_b,
l_b,
u3_nul)),
u3qdi_int(
a,
u3qdi_int(a,
r_b));
}
else {
return u3qdi_uni(
u3qdi_int(
r_a,
u3nt(
n_b,
return u3qdi_uni(u3qdi_int(r_a,
u3nt(n_b,
u3_nul,
r_b)),
u3qdi_int(
a,
u3qdi_int(a,
l_b));
}
}
}
}
u3_noun
u3wdi_int(
u3_noun cor)
u3wdi_int(u3_noun cor)
{
u3_noun a, b;

23
jets/d/in_mer.c
View File

@ -7,7 +7,8 @@
/* functions
*/
u3_noun
u3qdi_mer(u3_noun a, u3_noun b)
u3qdi_mer(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
return u3k(b);
@ -44,27 +45,19 @@
u3qdi_mer(r_a, r_b));
}
else if ( c3y == u3qc_hor(n_b, n_a) ) {
return u3qdi_mer(
u3nt(
n_a,
u3qdi_mer(
l_a,
u3nt(
n_b,
return u3qdi_mer(u3nt(n_a,
u3qdi_mer(l_a,
u3nt(n_b,
l_b,
u3_nul)),
r_a),
r_b);
}
else {
return u3qdi_mer(
u3nt(
n_a,
return u3qdi_mer(u3nt(n_a,
l_a,
u3qdi_mer(
r_a,
u3nt(
n_b,
u3qdi_mer(r_a,
u3nt(n_b,
u3_nul,
r_b))),
l_b);

21
jets/d/in_put.c
View File

@ -7,8 +7,7 @@
/* functions
*/
u3_noun
u3qdi_put(
u3_noun a,
u3qdi_put(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
@ -39,11 +38,9 @@
else {
u3r_trel(c, &n_c, &l_c, &r_c);
{
u3_noun d = u3nt
(u3k(n_c),
u3_noun d = u3nt(u3k(n_c),
u3k(l_c),
u3nt(
u3k(n_a),
u3nt(u3k(n_a),
u3k(r_c),
u3k(r_a)));
@ -63,10 +60,8 @@
else {
u3r_trel(c, &n_c, &l_c, &r_c);
{
u3_noun d = u3nt
(u3k(n_c),
u3nt(
u3k(n_a),
u3_noun d = u3nt(u3k(n_c),
u3nt(u3k(n_a),
u3k(l_a),
u3k(l_c)),
u3k(r_c));
@ -80,8 +75,7 @@
}
}
u3_noun
u3wdi_put(
u3_noun cor)
u3wdi_put(u3_noun cor)
{
u3_noun a, b;
@ -92,7 +86,8 @@
}
}
u3_weak
u3kdi_put(u3_noun a, u3_noun b)
u3kdi_put(u3_noun a,
u3_noun b)
{
// Bizarre asymmetry in old jets.
//

15
jets/d/in_tap.c
View File

@ -7,8 +7,7 @@
/* functions
*/
static u3_noun
_tap_in(
u3_noun a,
_tap_in(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
@ -20,8 +19,7 @@
u3z(b);
return u3m_bail(c3__exit);
} else {
return _tap_in
(r_a,
return _tap_in(r_a,
u3nc(u3k(n_a),
_tap_in(l_a, b)));
}
@ -29,15 +27,13 @@
}
u3_noun
u3qdi_tap(
u3_noun a,
u3qdi_tap(u3_noun a,
u3_noun b)
{
return _tap_in(a, u3k(b));
}
u3_noun
u3wdi_tap(
u3_noun cor)
u3wdi_tap(u3_noun cor)
{
u3_noun a, b;
@ -48,7 +44,8 @@
}
}
u3_noun
u3kdi_tap(u3_noun a, u3_noun b)
u3kdi_tap(u3_noun a,
u3_noun b)
{
u3_weak c = u3qdi_tap(a, b);

58
jets/d/in_uni.c
View File

@ -7,8 +7,7 @@
/* functions
*/
u3_noun
u3qdi_uni(
u3_noun a,
u3qdi_uni(u3_noun a,
u3_noun b)
{
if ( u3_nul == a ) {
@ -36,36 +35,24 @@
return u3m_bail(c3__exit);
}
else if ( c3y == u3r_sing(n_a, n_b) ) {
return u3nt(
u3k(n_b),
return u3nt(u3k(n_b),
u3qdi_uni(u3k(l_a), u3k(l_b)),
u3qdi_uni(u3k(r_a), u3k(r_b)));
}
else if ( c3y == u3qc_hor(n_b, n_a) ) {
return u3qdi_uni(
u3nt(
u3k(n_a),
u3qdi_uni(
u3k(l_a),
u3nt(
u3k(n_b),
return u3qdi_uni(u3nt(u3k(n_a),
u3qdi_uni(u3k(l_a),
u3nt(u3k(n_b),
u3k(l_b),
u3k(u3_nul))),
u3k(r_a)),
u3k(r_b));
}
else {
return u3qdi_uni(
u3nt(
u3k(n_a),
return u3qdi_uni(u3nt(u3k(n_a),
u3k(l_a),
u3qdi_uni(
u3k(r_a),
u3nt(
u3k(n_b),
u3qdi_uni(u3k(r_a),
u3nt(u3k(n_b),
u3k(u3_nul),
u3k(r_b)))),
u3k(l_b));
@ -78,36 +65,24 @@
return u3m_bail(c3__exit);
}
else if ( c3y == u3r_sing(n_b, n_a) ) {
return u3nt(
u3k(n_b),
return u3nt(u3k(n_b),
u3qdi_uni(u3k(r_b), u3k(r_a)),
u3qdi_uni(u3k(l_b), u3k(l_a)));
}
else if ( c3y == u3qc_hor(n_a, n_b) ) {
return u3qdi_uni(
u3k(r_a),
u3nt(
u3k(n_b),
u3qdi_uni(
u3nt(
u3k(n_a),
return u3qdi_uni(u3k(r_a),
u3nt(u3k(n_b),
u3qdi_uni(u3nt(u3k(n_a),
u3k(l_a),
u3_nul),
u3k(l_b)),
u3k(r_b)));
}
else {
return u3qdi_uni(
u3k(l_a),
u3nt(
u3k(n_b),
return u3qdi_uni(u3k(l_a),
u3nt(u3k(n_b),
u3k(l_b),
u3qdi_uni(
u3nt(
u3k(n_a),
u3qdi_uni(u3nt(u3k(n_a),
u3k(u3_nul),
u3k(r_a)),
u3k(r_b))));
@ -116,8 +91,7 @@
}
}
u3_noun
u3wdi_uni(
u3_noun cor)
u3wdi_uni(u3_noun cor)
{
u3_noun a, b;