On Wed, Aug 12, 2015 at 10:17 AM, Jed Brown <[email protected]> wrote:
> Matthew Knepley <[email protected]> writes: > > What will we use to uniquely identify a block of options? I hate the idea > > of a random string. > > Its too easy to mess up. Should we use a class+type_name? > > Prefix is relevant. We could hash the contents to make the comparison > fixed-length. > So, SHA1(class, type_name, prefix)? I could live with that. Then we maintain a khash table of those we have seen while printing. Matt -- What most experimenters take for granted before they begin their experiments is infinitely more interesting than any results to which their experiments lead. -- Norbert Wiener
