<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">On 5 Jan 2015, at 06:05, Glenn Iba <<a href="mailto:giba@alum.mit.edu">giba@alum.mit.edu</a>> wrote:<br><div><br class="Apple-interchange-newline"><blockquote type="cite"><div style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; font-size: 13px;">Meanwhile, for my search purposes:</div><div style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; font-size: 13px;">Is there any way in CCL to specify a Minimum size for a hash-table??</div><div style="font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; font-size: 13px;">It seems pretty annoying (to put it mildly) that rehashing might reduce the size of the table.<span class="Apple-converted-space"> </span></div></blockquote></div><br><div>I hate to ask this but: is this a problem? In particular is there an observed performance or functionality problem caused by this? My experience with things like this is that the performance characteristics are usually hairy and hard to understand, and that, usually, the people doing the implementation have understood these a lot better than I do, particularly with regard to GC. So unless I've profiled and found that there is actually a performance problem, or the application has exploding memory use or something, I never worry.</div></body></html>