<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Thu, Jan 9, 2014 at 6:06 AM, Colin Putney <span dir="ltr"><<a href="mailto:colin@wiresong.com" target="_blank">colin@wiresong.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">On Thu, Jan 9, 2014 at 2:01 AM, Levente Uzonyi <span dir="ltr"><<a href="mailto:leves@elte.hu" target="_blank">leves@elte.hu</a>></span> wrote:<br>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Btw, this won't work, because this expression is evaluated as<br>
<br>
((lastObject == object) | object) == 0<br>
<br>
which should raise an error, because most objects don't understand #|.<br>
Also, I prefer the lazy #or: over #|, because it's faster.</blockquote><div><br></div></div><div>You're right, it's a bug, but it does work, accidentally. It ends up going like this:</div><div><br></div><div>
1. lastObject == object -> aBoolean</div>
<div>2. aBoolean | object -> true or object</div><div>3a. true == 0 -> false</div><div>3b. object == 0 -> true or false</div><div><br></div><div>For all objects except the sentinel object, we end up at 3b, and since #nextObject answers 0 when the receiver is the last object in the heap, we end up with the correct semantics. </div>
<div><br></div><div>However, it defeats the purpose of the sentinel object, which is to avoid an infinite loop caused by new block contexts being allocated when the block is executed. The reason I needed this change in the first place is that I was getting an error because SmallInteger shouldn't implement #nextObject. So somehow we were getting to the end of the heap without encountering the sentinel. </div>
<div><br></div><div>So I have two questions:</div><div><br></div><div>1) Why isn't the sentinel object enumerated in a shrunken image?</div></div></div></div></blockquote><div><br></div><div>send me an image poised at the right point and I'll take a look...</div>
<div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div>2) Why don't we get an infinite loop when we don't check for the sentinel?</div>
<span class="HOEnZb"><font color="#888888">
<div><br></div><div>Colin</div></font></span></div></div></div>
<br><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>best,<div>Eliot</div>
</div></div>