From: dgregor_at_[hidden]
Date: 2008-08-23 22:39:54
Author: dgregor
Date: 2008-08-23 22:39:53 EDT (Sat, 23 Aug 2008)
New Revision: 48341
URL: http://svn.boost.org/trac/boost/changeset/48341
Log:
Clarify that concept map lookup does not require the definition of a concept map archetype it finds, and ban implementations from defining concept map archetypes when the definition isn't required
Text files modified:
sandbox/committee/concepts/wording/wording.tex | 14 +++++++++++---
1 files changed, 11 insertions(+), 3 deletions(-)
Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex (original)
+++ sandbox/committee/concepts/wording/wording.tex 2008-08-23 22:39:53 EDT (Sat, 23 Aug 2008)
@@ -5345,11 +5345,14 @@
\mbox{\tcode{I}}. Otherwise, \mbox{\tcode{S}} is empty.}
\end{enumerate}
+\pnum
\addedConcepts{\mbox{\enternote} When concept map lookup is performed
within a constrained context (\mbox{\ref{temp.constrained}}),
concept map archetypes, whose names are placed at the same scope as
- template parameters, can be found by unqualified lookup.
- \mbox{\exitnote}}
+ template parameters, can be found by unqualified lookup.}
+\addedCC{Concept map lookup does not require the definition of a concept
+ map archetype that it finds.}
+ \addedConcepts{\mbox{\exitnote}}
\pnum
\addedConcepts{If concept map lookup finds a matching concept map in a set
@@ -5943,10 +5946,15 @@
substituting the archetype of \mbox{\tcode{T}} for each occurrence of
\mbox{\tcode{T}} within the template arguments of the requirement. The
concept map archetype acts as a concept
-map, and is used to resolve name
+map, and its definition is used to resolve name
lookup into
requirements scope (\mbox{\ref{basic.scope.req}}) and satisfy the
requirements of templates used inside the constrained context.}
+\addedCC{When the definition of a concept map archetype is required,
+ it will be synthesized from the definition of its corresponding
+ concept (\mbox{\ref{concept.map}}). An implementation shall not
+ define a concept map archetype
+ unless the definition of that concept map archetype is required.}
%
\addedConcepts{\mbox{\enterexample}}
\begin{codeblock}