diff options
| author | Jonathan Wakely <jwakely.gcc@gmail.com> | 2011-01-20 20:18:29 +0000 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2011-01-20 20:18:29 +0000 |
| commit | f22ee6896d6ceb0af8b3c1eabca90430b37f3680 (patch) | |
| tree | 70a2a63e044dff536887c4dc97bccf4f9e9acd51 | |
| parent | 9b690d8cc39a3dc6d78dde98ac2e339182bb798d (diff) | |
| download | gcc-f22ee6896d6ceb0af8b3c1eabca90430b37f3680.zip gcc-f22ee6896d6ceb0af8b3c1eabca90430b37f3680.tar.gz gcc-f22ee6896d6ceb0af8b3c1eabca90430b37f3680.tar.bz2 | |
re PR libstdc++/47380 (concept checking and incomplete types)
2011-01-20 Jonathan Wakely <jwakely.gcc@gmail.com>
PR libstdc++/47380
* doc/xml/manual/diagnostics.xml: Replace note about C++0x concepts.
From-SVN: r169064
| -rw-r--r-- | libstdc++-v3/ChangeLog | 4 | ||||
| -rw-r--r-- | libstdc++-v3/doc/xml/manual/diagnostics.xml | 12 |
2 files changed, 11 insertions, 5 deletions
diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index 5de3330..d1ce8ed 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,3 +1,7 @@ +2011-01-20 Jonathan Wakely <jwakely.gcc@gmail.com> + + * doc/xml/manual/diagnostics.xml: Replace note about C++0x concepts. + 2011-01-20 Benjamin Kosnik <bkoz@redhat.com> PR libstdc++/36104 part three diff --git a/libstdc++-v3/doc/xml/manual/diagnostics.xml b/libstdc++-v3/doc/xml/manual/diagnostics.xml index b9a7048..1a6a3f1 100644 --- a/libstdc++-v3/doc/xml/manual/diagnostics.xml +++ b/libstdc++-v3/doc/xml/manual/diagnostics.xml @@ -95,7 +95,7 @@ </para> <para> 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 @@ </para> <para> - 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. </para> </section> |