On Wed, Sep 4, 2013 at 8:18 PM, Francois Berenger <berenger@riken.jp> wrote:

On 09/05/2013 11:11 AM, Anthony Tavener wrote:

Addendum: On a 32b arch, those names will wrap.

Why not write a to_int for your type
and then a specialized comparator using it?

A sane suggestion. :) Daniel might not want to write an explicit mapping to int if these

weight types grow in number?

And I need to correct my addendum. I now realize the multiplier of 223 would still fit a

4-character name in 30bits, given that the first char must be a capital letter. So I'm

guessing you're already aware of all this, Daniel, and just wanted to know if there is

likelihood of the calculation changing. That I know nothing about. Sorry for the noise!