urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-22 18:31:44 +03:00
Code Issues Packages Projects Releases Wiki Activity

Integrate duplicate detection fix.

Browse Source
This commit is contained in:
C. Guy Yarvin 2017-06-09 17:29:55 -07:00
parent 73f3be1e91
commit 14890c4bd1
1 changed files with 21 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
noun/retrieve.c
View File

@ -611,48 +611,54 @@ _sung_one(u3_noun* a, u3_noun* b)
if ( _(asr_o) && _(bsr_o) ) {
//
// we can't unify on a higher road, because we can't
// track junior nouns that point into that road. this
// is just an implementation issue -- we could set use
// counts to 0 without actually freeing. but the system
// when unifying on a higher road, we can't free nouns,
// because we can't track junior nouns that point into
// that road.
//
// this is just an implementation issue -- we could set use
// counts to 0 without actually freeing. but the allocator
// would have to be actually designed for this.
//
// the commented-out code was installed for quite some
// time in a released system...
// not freeing may generate spurious leaks, so we disable
// senior unification when debugging memory. this will
// cause a very slow boot process as the compiler compiles
// itself, constantly running into duplicates.
//
// u3R = u3to(u3_road, u3R->par_p);
// continue;
//
#ifdef U3_MEMORY_DEBUG
return;
#else
u3R = u3to(u3_road, u3R->par_p);
continue;
#endif
}
if ( _(asr_o) && !_(bsr_o) ){
u3z(*b);
if ( u3R == rod_u ) { u3z(*b); }
*b = *a;
}
if ( _(bsr_o) && !_(asr_o) ) {
u3z(*a);
if ( u3R == rod_u ) { u3z(*a); }
*a = *b;
}
if ( u3a_is_north(u3R) ) {
if ( *a <= *b ) {
u3k(*a);
u3z(*b);
if ( u3R == rod_u ) { u3z(*b); }
*b = *a;
} else {
u3k(*b);
u3z(*a);
if ( u3R == rod_u ) { u3z(*a); }
*a = *b;
}
}
else {
if ( *a >= *b ) {
u3k(*a);
u3z(*b);
if ( u3R == rod_u ) { u3z(*b); }
*b = *a;
} else {
u3k(*b);
u3z(*a);
if ( u3R == rod_u ) { u3z(*a); }
*a = *b;
}
}