[Patch] First bits of the algo merge

[Paolo Carlini]

Howard Hinnant wrote:

> Now you don't have to pull your hair out in <algorithm>. ;-)

Right you are! Thanks!

I'm finishing testing (already past 25_algorithms) the below in
v7-branch (mainline compiler is currently broken, anyway).

The only non-obvious thing is that I'm also fixing some concept checks,
in partial_sort_copy, lower_bound, upper_bound, equal_range and
binary_search.

In the case of partial_sort_copy we were enforcing
_LessThanComparableConcept<_InputValueType> and for the latter 
_LessThanComparableConcept<_Tp> and _SameTypeConcept<_Tp, _ValueType>
(with a puzzling SGI comment about "slightly too strict checks").

The adjusted concepts are minimal, consistent with those present in the
predicated versions for the algos, that is, essentially, just
_LessThanOpConcept<_ValueType, _Tp> (+ the swapped
_LessThanOpConcept<_Tp, _ValueType> for the last two algos).

Howard, can you confirm that we are actually improving on those concept
checks? ;)

Paolo.

////////////////////////
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: patch_algo_v7
URL: <http://gcc.gnu.org/pipermail/libstdc++/attachments/20051214/68d0a8c4/attachment.ksh>