[Boost-commit] svn:boost r48324 - sandbox/committee/concepts/stdlib

From: dgregor_at_[hidden]
Date: 2008-08-23 16:35:43

Author: dgregor
Date: 2008-08-23 16:35:43 EDT (Sat, 23 Aug 2008)
New Revision: 48324
URL: http://svn.boost.org/trac/boost/changeset/48324

Log:
Deal with NAD issue 532
Text files modified: 
   sandbox/committee/concepts/stdlib/clib-concepts.tex |    14 ++++++++++++++                          
   1 files changed, 14 insertions(+), 0 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-concepts.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-concepts.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-concepts.tex	2008-08-23 16:35:43 EDT (Sat, 23 Aug 2008)
@@ -135,6 +135,12 @@
 
 \item Added the \tcode{IdentityOf} concept, which acts like a simple
   identity metafunction. It is used by \tcode{std::forward}.
+
+\item In~\ref{concept.operator}, require that the concept maps in
+  namespace \tcode{std} for pointer types for \tcode{HasLess},
+  \tcode{HasGreater}, \tcode{HasLessEqual}, and
+  \tcode{HasGreaterEqual} ensure a total order. This is how concepts
+  resolve issue 532 (already closed as NAD NAD).
 \end{itemize}
 
 \end{titlepage}
@@ -881,6 +887,14 @@
   \mbox{\tcode{operator>=}}.}
 \end{itemdescr}
 
+\pnum
+\addedConcepts{For the concepts \mbox{\tcode{HasLess}},
+  \mbox{\tcode{HasGreater}}, \mbox{\tcode{HasLessEqual}}, and
+  \mbox{\tcode{HasGreaterEqual}}, the concept maps in namespace
+  \mbox{\tcode{std}} for any pointer type yield a total order, even if
+  the built-in operators \mbox{\tcode{<}}, \mbox{\tcode{>}},
+  \mbox{\tcode{<=}}, \mbox{\tcode{>=}} do not.}
+
 \begin{itemdecl}
 auto concept HasEqualTo<typename T, typename U> {
   bool operator==(const T& a, const U& b);