[v3] update concept-check docs

Message ID AANLkTimfarYt6GbhfbUkDGPtSXRSVkv+itqmurzHjgdx@mail.gmail.com
State New
Headers show

Commit Message

Jonathan Wakely Jan. 20, 2011, 8:21 p.m.
fix the anachronism pointed out in PR 47380

2011-01-20  Jonathan Wakely  <jwakely.gcc@gmail.com>

        * doc/xml/manual/diagnostics.xml: Replace note about C++0x concepts.

committed to trunk


Index: doc/xml/manual/diagnostics.xml
--- doc/xml/manual/diagnostics.xml	(revision 169063)
+++ doc/xml/manual/diagnostics.xml	(working copy)
@@ -95,7 +95,7 @@ 
      The primary author of the checking code, Jeremy Siek, had already
-     started work on a replacement implementation.  The new code has been
+     started work on a replacement implementation.  The new code was
      formally reviewed and accepted into
    <link xmlns:xlink="http://www.w3.org/1999/xlink" xlink:href="http://www.boost.org/libs/concept_check/concept_check.htm">the
    Boost libraries</link>, and we are pleased to incorporate it into the
@@ -116,10 +116,12 @@ 
-   Please note that the upcoming C++ standard has first-class
-   support for template parameter constraints based on concepts in the core
-   language. This will obviate the need for the library-simulated concept
-   checking described above.
+   Please note that the checks are based on the requirements in the original
+   C++ standard, some of which have changed in the upcoming C++0x revision.
+   Additionally, some correct code might be rejected by the concept checks,
+   for example template argument types may need to be complete when used in
+   a template definition, rather than at the point of instantiation.
+   There are no plans to address these shortcomings.