From: dgregor_at_[hidden]
Date: 2008-07-30 17:01:25
Author: dgregor
Date: 2008-07-30 17:01:24 EDT (Wed, 30 Jul 2008)
New Revision: 47898
URL: http://svn.boost.org/trac/boost/changeset/47898
Log:
Clarify [temp.req.impl]p3 slightly, for those half-asleep implementors
Text files modified:
sandbox/committee/concepts/wording/wording.tex | 14 +++++++++-----
1 files changed, 9 insertions(+), 5 deletions(-)
Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-07-30 17:01:24 EDT (Wed, 30 Jul 2008)
@@ -49,7 +49,7 @@
\huge
\begin{center}
Proposed Wording for Concepts\\
-(Revision 7)
+(Revision 8)
\end{center}
\normalsize
@@ -62,8 +62,8 @@
Jeremy Siek, University of Colorado at Boulder
\end{tabular}\vspace{-6pt}
-\par\noindent Document number: N2710=08-0220\vspace{-6pt}
-\par\noindent Revises document number: N2676=08-0186 \vspace{-6pt}
+\par\noindent Document number: DRAFT \vspace{-6pt}
+\par\noindent Revises document number: N2710=08-0220 \vspace{-6pt}
\par\noindent Date: \today\vspace{-6pt}
\par\noindent Project: Programming Language \Cpp{}, Core Working Group\vspace{-6pt}
\par\noindent Reply-to: Douglas Gregor $<$\href{mailto:doug.gregor_at_[hidden]}{doug.gregor_at_[hidden]}$>$
@@ -5377,8 +5377,12 @@
implied.}
\pnum
-\addedConcepts{The formation of types within the declaration of a
- constrained template implies the template requirements needed to
+\addedConcepts{The formation of types within}
+\addedCC{certain parts of}
+\addedConcepts{the declaration of a
+ constrained template}
+\addedCC{(described above)}
+\addedConcepts{implies the template requirements needed to
ensure that the types themselves are well-formed within any
instantiation. The following type constructions imply template
requirements:}