Re: [12/12] Simplify uses of hash_map

2015-06-26 Thread Richard Sandiford
Richard Sandiford writes: > Richard Sandiford writes: >> Rainer Orth writes: >>> Richard Sandiford writes: >>> Rainer Orth writes: > Jeff Law writes: > >> On 06/23/2015 08:57 AM, Richard Sandiford wrote: >>> At this point all hash_map traits know what kind of key they're

Re: [12/12] Simplify uses of hash_map

2015-06-26 Thread Richard Sandiford
Richard Sandiford writes: > Rainer Orth writes: >> Richard Sandiford writes: >> >>> Rainer Orth writes: Jeff Law writes: > On 06/23/2015 08:57 AM, Richard Sandiford wrote: >> At this point all hash_map traits know what kind of key they're >> dealing with, so we can make t

Re: [12/12] Simplify uses of hash_map

2015-06-26 Thread Richard Sandiford
Rainer Orth writes: > Richard Sandiford writes: > >> Rainer Orth writes: >>> Jeff Law writes: >>> On 06/23/2015 08:57 AM, Richard Sandiford wrote: > At this point all hash_map traits know what kind of key they're > dealing with, so we can make that a traits typedef, like it is for

Re: [12/12] Simplify uses of hash_map

2015-06-26 Thread Mikhail Maltsev
On 06/26/2015 04:37 PM, Rainer Orth wrote: > /vol/gcc/src/hg/trunk/local/gcc/hash-map.h:173:8: note: template bool (* f)(tree_node*&, tree_node* const&, Arg)> void hash_map::traverse(Arg) > const [with Arg = Arg; bool (* f)(typename Traits::key_type&, const Value&, > Arg) = f; KeyId = tree_node*;

Re: [12/12] Simplify uses of hash_map

2015-06-26 Thread Rainer Orth
Richard Sandiford writes: > Rainer Orth writes: >> Jeff Law writes: >> >>> On 06/23/2015 08:57 AM, Richard Sandiford wrote: At this point all hash_map traits know what kind of key they're dealing with, so we can make that a traits typedef, like it is for hash_table traits. Then,

Re: [12/12] Simplify uses of hash_map

2015-06-26 Thread Richard Sandiford
Rainer Orth writes: > Jeff Law writes: > >> On 06/23/2015 08:57 AM, Richard Sandiford wrote: >>> At this point all hash_map traits know what kind of key they're >>> dealing with, so we can make that a traits typedef, like it is for >>> hash_table traits. Then, if we make the default hash traits

Re: [12/12] Simplify uses of hash_map

2015-06-26 Thread Rainer Orth
Jeff Law writes: > On 06/23/2015 08:57 AM, Richard Sandiford wrote: >> At this point all hash_map traits know what kind of key they're >> dealing with, so we can make that a traits typedef, like it is for >> hash_table traits. Then, if we make the default hash traits for >> T be T, we can use ha

Re: [12/12] Simplify uses of hash_map

2015-06-25 Thread Jeff Law
On 06/23/2015 08:57 AM, Richard Sandiford wrote: At this point all hash_map traits know what kind of key they're dealing with, so we can make that a traits typedef, like it is for hash_table traits. Then, if we make the default hash traits for T be T, we can use hash_table-style traits as the fi

[12/12] Simplify uses of hash_map

2015-06-23 Thread Richard Sandiford
At this point all hash_map traits know what kind of key they're dealing with, so we can make that a traits typedef, like it is for hash_table traits. Then, if we make the default hash traits for T be T, we can use hash_table-style traits as the first template parameter to hash_map, without the nee