[Boost-commit] svn:boost r42149 - sandbox/committee/LWG

From: hinnant_at_[hidden]
Date: 2007-12-18 16:07:35

Author: hinnant
Date: 2007-12-18 16:07:34 EST (Tue, 18 Dec 2007)
New Revision: 42149
URL: http://svn.boost.org/trac/boost/changeset/42149

Log:
V1 issue 39.

Text files modified: 
   sandbox/committee/LWG/issues.html         |     2 +-                                      
   sandbox/committee/LWG/thread_library.html |    16 +++++++++-------                        
   2 files changed, 10 insertions(+), 8 deletions(-)

Modified: sandbox/committee/LWG/issues.html
==============================================================================
--- sandbox/committee/LWG/issues.html	(original)
+++ sandbox/committee/LWG/issues.html	2007-12-18 16:07:34 EST (Tue, 18 Dec 2007)
@@ -262,7 +262,7 @@
 sentence of the effects clause: "Otherwise, returns a 0-based index
 value that
 indicates the argument for which try_lock() returned false.&quot; </p>
-<p>39. [thread.threads.callonce] (30.3.5.2), requires clause: last
+<p>&#9998; 39. [thread.threads.callonce] (30.3.5.2), requires clause: last
 sentence seems
 excessive. Is it necessary? </p>
 <p>40. [thread.threads.callonce] (30.3.5.2), effects clause: I'd move the

Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html	(original)
+++ sandbox/committee/LWG/thread_library.html	2007-12-18 16:07:34 EST (Tue, 18 Dec 2007)
@@ -2745,14 +2745,16 @@
 <dl>
 <dt>Requires:</dt>
 <dd>
-If <code>func</code> is an lvalue, Callable
-is
-<code>CopyConstructible</code>.
-If <code>func</code> is an rvalue, Callable is
-<code>MoveConstructible</code>.
-Copying or moving (as appropriate) shall have no side effects,
+<code>Callable</code> and each <code>Ti</code> in <code>Args</code> shall be
+<code>CopyConstructible</code>
+if an lvalue and otherwise <code>MoveConstructible</code>.
+<code><var>INVOKE</var>(func, w1, w2, ..., wN)</code> ([func.require])
+shall be a valid expression
+for some values <code><var>w1</var>, <var>w2</var>, ..., <var>wN</var></code>,
+where <code>N == sizeof...(Args)</code>.
+<del>Copying or moving (as appropriate) shall have no side effects,
 and the effect of calling the
-copy shall be equivalent to calling the original.
+copy shall be equivalent to calling the original.</del>
 </dd>
 
 <dt>Effects:</dt>