[Boost-commit] svn:boost r45904 - in sandbox/committee/concepts: issues/issues wording

From: dgregor_at_[hidden]
Date: 2008-05-29 09:50:53

Author: dgregor
Date: 2008-05-29 09:50:52 EDT (Thu, 29 May 2008)
New Revision: 45904
URL: http://svn.boost.org/trac/boost/changeset/45904

Log:
Apply resolution to concepts issue 31
Text files modified: 
   sandbox/committee/concepts/issues/issues/issue31.xml |     4 ++--                                    
   sandbox/committee/concepts/wording/wording.tex       |    38 +++++---------------------------------  
   2 files changed, 7 insertions(+), 35 deletions(-)

Modified: sandbox/committee/concepts/issues/issues/issue31.xml
==============================================================================
--- sandbox/committee/concepts/issues/issues/issue31.xml	(original)
+++ sandbox/committee/concepts/issues/issues/issue31.xml	2008-05-29 09:50:52 EDT (Thu, 29 May 2008)
@@ -3,7 +3,7 @@
   <!ENTITY nbsp "&#160;">
 ] >
 
-<issue num="31" status="Open">
+<issue num="31" status="WP">
 <title>Which specifiers are legal for associated functions?</title>
 <section><sref ref="[concept.fct]"/></section>
 <submitter>Daniel Kruegler</submitter>
@@ -31,7 +31,7 @@
     a template parameter of the enclosing concept; the declaration
     declares a member function or member function template. An
     associated function shall not
-    be <code>extern</code>([dcl.stc]), <code>inline</code> <ins> or <code>virtual</code></ins>
+    be <code>extern</code>([dcl.stc]), <code>inline</code> <ins>or <code>virtual</code></ins>
     ([dcl.fct.spec]), explicitly-defaulted or deleted ([dcl.fct.def]),
     or a friend function ([class.friend]). An associated function
     shall not contain an <i>exception-specification</i>

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex	(original)
+++ sandbox/committee/concepts/wording/wording.tex	2008-05-29 09:50:52 EDT (Thu, 29 May 2008)
@@ -103,39 +103,9 @@
 \item N2641=08-0151: Allocator Concepts
 \end{itemize}
 
-\section*{Changes from N2501}
+\section*{Changes from N2617}
 \begin{itemize}
-\item Incorporate wording for ``option \#2'', corresponding
-  to the ``Eliminate Forwarding Functions'' option described in
-  N2576~\cite{gregor08:soundness}.
-\item Clarified that member templates of constrained templates are
-  constrained templates (\ref{temp.mem}) but that the
-  templates are an unconstrained context (\ref{temp.constrained});
-  their bodies are constrained contexts.
-\item Clarified and simplified how requirements are satisfied by concept maps,
-  including a major cleanup of the specification of concept map lookup
-  (\ref{temp.req.sat}).
-\item Add text to cope with inheriting constructors
-  (\ref{class.inhctor}).
-\item Update handling of deleted special member functions to cope with
-  unrestricted unions (clause~\ref{special}).
-\item Clarify that a class template partial specialization of a
-  constrained class template is not necessarily a constrained template
-  (\ref{temp.req.impl}).
-\item Clarify that a \techterm{qualified-id} can refer to a type
-  within a concept instance without the use of \tcode{typename}.
-\item Expanded the checking required to determine whether the concept
-  maps used to satisfy the requirements of a template are consistent,
-  to now include consistency with the results of concept map
-  lookup. As part of this change, this text has moved to the template
-  argument deduction section (\ref{temp.deduct}).
-\item Large cleanup to the wording for satisfying associated functions
-  (\ref{concept.map.fct}).
-\item Cope with template aliases as archetypes.
-\item Introduced the terms "requirement members" and "satisfier members"
-(\ref{concept.map}) of concept maps.  The definitions are meant to help
-explicitly spell out some existing notions about what goes into the scope
-of a concept map.
+\item Apply the proposed resolution of concepts issue 31.
 \end{itemize}
 
 \section*{Typographical conventions}
@@ -3511,7 +3481,9 @@
 %
 \addedConcepts{An associated function shall not be
   \mbox{\tcode{extern}}}\removedCCC{ or \mbox{\tcode{static}}
-(\mbox{\ref{dcl.stc}})}\addedConcepts{, inline (\mbox{\ref{dcl.fct.spec}}), explicitly-defaulted or deleted
+(\mbox{\ref{dcl.stc}})}\addedConcepts{, inline}
+\addedZ{or \mbox{\tcode{virtual}}}
+\addedConcepts{(\mbox{\ref{dcl.fct.spec}}), explicitly-defaulted or deleted
 (\mbox{\ref{dcl.fct.def}}), or a friend function (\mbox{\ref{class.friend}}). An 
 associated function shall not contain an
 \mbox{\techterm{exception-specification}} (\mbox{\ref{except.spec}}).}