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

From: mmarcus_at_[hidden]
Date: 2008-06-24 20:14:09

Author: mmarcus
Date: 2008-06-24 20:14:08 EDT (Tue, 24 Jun 2008)
New Revision: 46665
URL: http://svn.boost.org/trac/boost/changeset/46665

Log:
Update issues list with explanation of annotations, fixed a few minor issues in algorithm.

Text files modified: 
   sandbox/committee/concepts/stdlib/clib-algorithms.tex |     4 ++--                                    
   sandbox/committee/concepts/stdlib/lib-issues.txt      |    25 ++++++++++++++++++++++---               
   2 files changed, 24 insertions(+), 5 deletions(-)

Modified: sandbox/committee/concepts/stdlib/clib-algorithms.tex
==============================================================================
--- sandbox/committee/concepts/stdlib/clib-algorithms.tex	(original)
+++ sandbox/committee/concepts/stdlib/clib-algorithms.tex	2008-06-24 20:14:08 EDT (Tue, 24 Jun 2008)
@@ -389,7 +389,7 @@
   template<BidirectionalIterator Iter, Predicate<auto, Iter::@\changedCCC{reference}{value_type}@> Pred>
     @\color{addclr}@requires @\changedCCC{SwappableIterator<Iter>}{Swappable<Iter::reference>}@
     Iter partition(Iter @\farg{first}@, Iter @\farg{last}@, Pred @\farg{pred}@);
-  template<BidirectionalIterator Iter, Predicate<auto Iter::@\changedCCC{reference}{value_type}@> Pred>
+  template<BidirectionalIterator Iter, Predicate<auto@\addedCC{,}@ Iter::@\changedCCC{reference}{value_type}@> Pred>
     requires @\changedCCC{SwappableIterator<Iter>}{Swappable<Iter::reference>}@
     Iter stable_partition(Iter @\farg{first}@, Iter @\farg{last}@, Pred @\farg{pred}@);
 
@@ -2346,7 +2346,7 @@
 
 \index{stable_partition@\tcode{stable_partition}}%
 \color{addclr}\begin{itemdecl}
-template<BidirectionalIterator Iter, Predicate<auto Iter::@\changedCCC{reference}{value_type}@> Pred>
+template<BidirectionalIterator Iter, Predicate<auto@\addedCC{,}@ Iter::@\changedCCC{reference}{value_type}@> Pred>
   requires @\changedCCC{SwappableIterator<Iter>}{Swappable<Iter::reference>}@
   Iter stable_partition(Iter @\farg{first}@, Iter @\farg{last}@, Pred @\farg{pred}@);
 \end{itemdecl}\color{black}

Modified: sandbox/committee/concepts/stdlib/lib-issues.txt
==============================================================================
--- sandbox/committee/concepts/stdlib/lib-issues.txt	(original)
+++ sandbox/committee/concepts/stdlib/lib-issues.txt	2008-06-24 20:14:08 EDT (Tue, 24 Jun 2008)
@@ -1,3 +1,22 @@
+Explanation:
+
+This was the third (and final) version of Thomas's list from SA.
+
+I believe the legend is:
+ unmarked lines have status "open"
+ lines beginning with a "Y" have been applied to the tex sources
+ lines marked with an "N" are determined to be non-defects
+
+Maybe we could mark changes that need to be applied but have not yet
+with a lower case 'y'.
+
+I will annotate lines as they are applied to the tex sources, and
+commit this file together with associated changes as single
+transactions.
+
+Doug
+
+
 
 N2625 Issues cont.
 ============
@@ -6,7 +25,7 @@
   - Is only requiring Swappable<Iter::reference> and not MoveConstructible, MoveAssignable precluding
 useful/efficient algorithm implementations?
 
-- Add new concept StrictWeakOrdering (refines binary Predicate) and use it where Compare needs to provide
+Y - Add new concept StrictWeakOrdering (refines binary Predicate) and use it where Compare needs to provide
   strict weak ordering. E.g. sort. (Key of LessThanComparable)
 
 - stable_partition, stable_sort, partial_sort requirements not sufficient for efficient implementation. See reference to extra memory.
@@ -16,7 +35,7 @@
 
 
 25.2.10/3 
-  - s/InIter::value_type/InIter::reference/
+Y  - s/InIter::value_type/InIter::reference/
 
 25.2.11 
   - Do rotate requirements provide enough latitude to allow todays optimizations based on iterator categories.
@@ -32,7 +51,7 @@
   - Why was the specification for rand's semantics removed. I.e. returns random number in the range (0,n]
 
 25.2.13
-  - Typo stable_partion declaration  s/Predicate<auto Iter::reference>/Predicate<auto, Iter::reference>/
+Y  - Typo stable_partion declaration  s/Predicate<auto Iter::reference>/Predicate<auto, Iter::reference>/
 
 25.3.1.1
  - s/Iter::value_type/Iter::reference/g