[Boost-commit] svn:boost r48267 - sandbox/committee/concepts/wording

From: dgregor_at_[hidden]
Date: 2008-08-20 16:14:05

Author: dgregor
Date: 2008-08-20 16:14:05 EDT (Wed, 20 Aug 2008)
New Revision: 48267
URL: http://svn.boost.org/trac/boost/changeset/48267

Log:
Minor fixes
Text files modified: 
   sandbox/committee/concepts/wording/wording.tex |     8 +++++---                                
   1 files changed, 5 insertions(+), 3 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex	(original)
+++ sandbox/committee/concepts/wording/wording.tex	2008-08-20 16:14:05 EDT (Wed, 20 Aug 2008)
@@ -2488,7 +2488,9 @@
 declared only in class template specializations in which its
 template requirements (\mbox{\ref{temp.req}}) are satisfied. If there exist multiple
 overloads of the constrained member with identical signatures, ignoring
-  the template requirements, only the most specialized
+  the template requirements,} 
+\addedCC{and identical return types,} 
+\addedConcepts{only the most specialized
   overload, as determined by partial ordering of the template requirements
   (\mbox{\ref{temp.func.order}}), will be declared in the instantiation. If
   partial ordering results in an ambiguity, a deleted function with
@@ -2500,10 +2502,10 @@
   bool operator<(T, T);
 }
 
-concept Radix<T> : LessThanComparable<T> { /* ... */ }
+concept Radix<typename T> : LessThanComparable<T> { /* ... */ }
 
 template<typename T>
-class list {
+struct list {
   requires LessThanComparable<T> void sort(); // \#1
   requires Radix<T> void sort(); // \#2
 };