Boost logo

Boost-Commit :

From: dgregor_at_[hidden]
Date: 2008-06-11 08:35:22


Author: dgregor
Date: 2008-06-11 08:35:22 EDT (Wed, 11 Jun 2008)
New Revision: 46324
URL: http://svn.boost.org/trac/boost/changeset/46324

Log:
Note change to the simple form of requirements
Text files modified:
   sandbox/committee/concepts/wording/wording.tex | 8 ++++++++
   1 files changed, 8 insertions(+), 0 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-06-11 08:35:22 EDT (Wed, 11 Jun 2008)
@@ -161,6 +161,14 @@
 X<Y> x;
 x.foo(Y(), Y()); // foo's z will use + at \#1, foo's z2 will use + at \#2.
 \end{codeblock}
+
+\item The simple form of requirements has been extended to template
+ template and template non-type parameters (\ref{temp.param}). For
+ example, the following is now well-formed:
+\begin{codeblock}
+concept Prime<int N> { }
+template<Prime N> void foo();
+\end{codeblock}
 \end{itemize}
 
 \section*{Typographical conventions}


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