Boost logo

Boost-Commit :

From: dgregor_at_[hidden]
Date: 2008-04-17 11:08:15


Author: dgregor
Date: 2008-04-17 11:08:14 EDT (Thu, 17 Apr 2008)
New Revision: 44501
URL: http://svn.boost.org/trac/boost/changeset/44501

Log:
Deal with qualified-ids that name types in a concept instance
Text files modified:
   sandbox/committee/concepts/wording/wording.tex | 16 ++++++++++++++++
   1 files changed, 16 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 11:08:14 EDT (Thu, 17 Apr 2008)
@@ -2793,6 +2793,22 @@
 \color{black}
 
 \rSec1[temp.res]{Name resolution}
+
+\setcounter{Paras}{2}
+\pnum
+When a \techterm{qualified-id} is intended to refer to a type that is not a member of the current instantiation (14.6.2.1) and its
+\techterm{nested-name-specifier}
+\addedCC{is not a concept instance (\mbox{\ref{concept}}) and}
+depends on a \techterm{template-parameter} (14.6.2), it shall be prefixed by the keyword \tcode{typename}, forming a
+\techterm{typename-specifier}. If the \techterm{qualified-id} in a
+\techterm{typename-specifier} does not denote a type, the program is
+ill-formed.
+\addedCC{When the \mbox{\techterm{nested-name-specifier}} refers to a
+ concept instance, name lookup into the corresponding concept
+ determines whether the \mbox{\techterm{qualified-id}} refers to a
+ type or a value.}
+
+
 \setcounter{subsection}{2}
 \rSec2[temp.nondep]{Non-dependent names}
 \noindent\editorial{Add the following new paragraph to Non-dependent


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