Subject: [Boost-commit] svn:boost r54192 - sandbox/committee/LWG/proposals
From: dave_at_[hidden]
Date: 2009-06-22 05:49:16
Author: dave
Date: 2009-06-22 05:49:16 EDT (Mon, 22 Jun 2009)
New Revision: 54192
URL: http://svn.boost.org/trac/boost/changeset/54192
Log:
Tweaked emphasis, flow, wording
Text files modified:
sandbox/committee/LWG/proposals/exported-concept-maps.rst | 17 ++++++++++-------
1 files changed, 10 insertions(+), 7 deletions(-)
Modified: sandbox/committee/LWG/proposals/exported-concept-maps.rst
==============================================================================
--- sandbox/committee/LWG/proposals/exported-concept-maps.rst (original)
+++ sandbox/committee/LWG/proposals/exported-concept-maps.rst 2009-06-22 05:49:16 EDT (Mon, 22 Jun 2009)
@@ -25,18 +25,21 @@
=======
Concepts and concept maps can provide default implementations of
-associated functions. For example, in the following code, ``Num``
-models the ``LessThanComparable`` concept even though it only supplies
-one of four required operators::
+associated functions:
+
+.. parsed-literal::
concept LessThanComparable<typename T>
{
bool operator<(T const& x, T const& y);
- bool operator>(T const& x, T const& y) { return y < x; }
- bool operator<=(T const& x, T const& y) { return !(y < x); }
- bool operator>=(T const& x, T const& y) { return !(x < y); }
+ bool operator>(T const& x, T const& y) **{ return y < x; }**
+ bool operator<=(T const& x, T const& y) **{ return !(y < x); }**
+ bool operator>=(T const& x, T const& y) **{ return !(x < y); }**
}
+In the following code, ``Num`` models the ``LessThanComparable``
+concept even though it only supplies one of four required operators::
+
class Num
{
friend bool operator<(Num const& x, Num const& y) { … }
@@ -179,7 +182,7 @@
namespace, then any such semantic change (e.g., introducing another concept
map into that namespace) would likely be intentional.
However, if one lumps everything together into the global namespace or starts
-writing ``concept_map``\s in namespaces they do not control, the
+writing ``concept_map``\ s in namespaces they do not control, the
potential for surprise is greater.
We considered automatically exporting all ``concept_map``\s, to