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

From: dgregor_at_[hidden]
Date: 2008-07-27 15:34:43

Author: dgregor
Date: 2008-07-27 15:34:42 EDT (Sun, 27 Jul 2008)
New Revision: 47845
URL: http://svn.boost.org/trac/boost/changeset/47845

Log:
Add document number and some minor tweaks to the concepts wording
Text files modified: 
   sandbox/committee/concepts/wording/wording.tex |    34 +++++++++++++++-------------------      
   1 files changed, 15 insertions(+), 19 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex	(original)
+++ sandbox/committee/concepts/wording/wording.tex	2008-07-27 15:34:42 EDT (Sun, 27 Jul 2008)
@@ -62,7 +62,7 @@
 Jeremy Siek, University of Colorado at Boulder
 \end{tabular}\vspace{-6pt}
 
-\par\noindent Document number:  DRAFT\vspace{-6pt}
+\par\noindent Document number:  D2710=08-0220\vspace{-6pt}
 \par\noindent Revises document number: N2676=08-0186 \vspace{-6pt}
 \par\noindent Date: \today\vspace{-6pt}
 \par\noindent Project: Programming Language \Cpp{}, Core Working Group\vspace{-6pt}
@@ -104,6 +104,12 @@
 \end{itemize}
 
 \section*{Changes from N2676}
+\begin{itemize}
+\item Deprecate the \tcode{late_check} feature, which is meant only as
+  an evolutionary tool.
+\item Clarify where concept semantics occur only within a constrained
+  context, rather than within a complete constrained template.
+\end{itemize}
 
 \section*{Typographical conventions}
 Within the proposed wording, text that has been added
@@ -888,12 +894,12 @@
 }
 \end{codeblock}
 \exitexample\
-\addedCC{
-\mbox{\enternote}
-this demonstrates the kind of template whose instantiations may
-    suffer from the dreaded ``dropped concept maps'' pitfall.
-\mbox{\exitnote} 
-}
+% \addedCC{
+% \mbox{\enternote}
+% this demonstrates the kind of template whose instantiations may
+%     suffer from the dreaded ``dropped concept maps'' pitfall.
+% \mbox{\exitnote} 
+% }
 
 
 \pnum
@@ -4934,22 +4940,12 @@
 \end{itemize}
 
 \pnum
-\addedConcepts{If a type or expression within the signature of a constrained
+\removedCCC{If a type or expression within the signature of a constrained
 template, the \mbox{\techterm{template-parameter-list}} of a
 constrained template, or the \mbox{\techterm{requires-clause}} of a
 constrained template (if any) would be ill-formed if the associated
 context were a constrained context, the program is
-ill-formed. \mbox{\enterexample}}
-\begin{codeblock}
-concept C<typename T> {
-  typename type;
-}
-
-template<typename T> requires C<T>
-typename C<T>::type::inner_type f(T const&); // error: typename C<T>::type::inner_type would be ill-formed 
-                                             // in a constrained context
-\end{codeblock}
-\addedConcepts{\mbox{\exitexample}}
+ill-formed. \mbox{\enterexample} [removed example] \mbox{\exitexample}}
 
 \pnum
 \addedConcepts{Within a constrained context, a program shall not refer to an