Boost logo

Boost-Commit :

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


Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk