Boost logo

Boost-Commit :

From: dgregor_at_[hidden]
Date: 2008-04-17 16:46:28


Author: dgregor
Date: 2008-04-17 16:46:28 EDT (Thu, 17 Apr 2008)
New Revision: 44518
URL: http://svn.boost.org/trac/boost/changeset/44518

Log:
Quick fix banning references to unconstrained templates within a constrained context.
Text files modified:
   sandbox/committee/concepts/wording/wording.tex | 4 ++++
   1 files changed, 4 insertions(+), 0 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-04-17 16:46:28 EDT (Thu, 17 Apr 2008)
@@ -4633,6 +4633,10 @@
     and its body will be a constrained context. \mbox{\exitnote}}
 \end{itemize}
 
+\pnum
+\addedCC{Within a constrained context, a program shall not refer to an
+ unconstrained template.}
+
 \rSec2[temp.req]{Template requirements}
 \pnum
 \addedConcepts{A template has \mbox{\techterm{template requirements}} if it contains a


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