<br> <div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;"><div><div class="h5">
</div></div>Would you lso want entries to be garbage-collected?  If there are no<br>
longer any references to a hash entry&#39;s key except as a key in the hash<br>
table, would you want the garbage colelctor to be able to remove it?<br></blockquote><div><br>You mean a weak hash? Possibly indeed, though I can remove them manually too. Would this change something?<br><br>Laurent</div>

</div><br>