[Boost-commit] svn:boost r44036 - sandbox/committee/concepts/wording

From: widman_at_[hidden]
Date: 2008-04-04 12:11:08

Author: james.widman
Date: 2008-04-04 12:11:08 EDT (Fri, 04 Apr 2008)
New Revision: 44036
URL: http://svn.boost.org/trac/boost/changeset/44036

Log:
Changed concept map lookup ambiguities from errors to SFINAE cases.

Text files modified: 
   sandbox/committee/concepts/wording/wording.tex |     7 ++++---                                 
   1 files changed, 4 insertions(+), 3 deletions(-)

Modified: sandbox/committee/concepts/wording/wording.tex
==============================================================================
--- sandbox/committee/concepts/wording/wording.tex	(original)
+++ sandbox/committee/concepts/wording/wording.tex	2008-04-04 12:11:08 EDT (Fri, 04 Apr 2008)
@@ -4760,8 +4760,8 @@
 \addedCC{A negative requirement is satisfied if concept map
   lookup fails to find a concept map that would satisfy the
   corresponding concept requirement. \mbox{\enternote} If concept map
-  lookup results in an ambiguity, the program is
-  ill-formed. \mbox{\exitnote}}
+  lookup results in an ambiguity, concept map lookup halts and the
+  negative requirement is not satisfied. \mbox{\exitnote}}
 \addedConcepts{\mbox{\enterexample}}
 \begin{codeblock}
 concept A<typename T> { }
@@ -4812,7 +4812,8 @@
 \addedCC{If no matching concept map is found within a set
   \mbox{\tcode{S}} in \mbox{\tcode{Q}}, concept map lookup proceeds to
   the next set in \mbox{\tcode{Q}}. If partial ordering of concept
-    map templates results in an ambiguity, the program is ill-formed.}
+    map templates results in an ambiguity, concept map lookup halts and
+    the requirement is not satisfied.}
 
 \pnum
 \addedCC{When concept map lookup is performed during the