[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: no constants please
> From: Richard Kelsey <kelsey@xxxxxxx>
> Constant objects aren't the issue.
They are if you consider implementations that use read barriers to
update object references.
x = #t;
y = scheme_call (....);
if (x == y)
x may have a pointer to the #t object that needs updating, while y
has it's current address. They are EQ? but not ==.
Once again, either pika or jni/minor style interfaces evade this
> Kawa [boolean? is a test for instance of Boolean class] Kawa
> uses Java's == for EQ?, so it isn't what I am looking for
> (there can be only one instance of #T, #F, and ()).
Are you sure? Does JNI use C's == to implement Java's ==? It
didn't sound like it would from jimb's description.