[Patch] First bits of the algo merge

[Peter Dimov]

Howard Hinnant wrote:
> On Dec 14, 2005, at 10:32 AM, Paolo Carlini wrote:
>
>> Actually, this issue is nasty, very nasty, and affects much more
>> seriously equal_range, binary_search and other functions which pass
>> around the predicate.
>>
>> Honestly, I'm about to give up, at least as far as mainline is
>> concerned.
>
> I just now looked at partial_sort_copy and came to the same
> conclusion you did (<_OutputValueType, _OutputValueType>).  I'll go
> look at equal_range and binary_search...

Are you sure that the original predicate doesn't work with proxy references? 
Why would it fail?