<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Wed, Aug 12, 2015 at 10:17 AM, Jed Brown <span dir="ltr"><<a href="mailto:jed@jedbrown.org" target="_blank">jed@jedbrown.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Matthew Knepley <<a href="mailto:knepley@gmail.com">knepley@gmail.com</a>> writes:<br>
> What will we use to uniquely identify a block of options? I hate the idea<br>
> of a random string.<br>
> Its too easy to mess up. Should we use a class+type_name?<br>
<br>
Prefix is relevant.  We could hash the contents to make the comparison<br>
fixed-length.<br>
</blockquote></div><br>So, SHA1(class, type_name, prefix)? I could live with that. Then we maintain a</div><div class="gmail_extra">khash table of those we have seen while printing.</div><div class="gmail_extra"><br></div><div class="gmail_extra">   Matt<br clear="all"><div><br></div>-- <br><div class="gmail_signature">What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead.<br>-- Norbert Wiener</div>
</div></div>