diff options
author | Eric Fiselier <eric@efcs.ca> | 2017-07-05 03:37:05 +0000 |
---|---|---|
committer | Eric Fiselier <eric@efcs.ca> | 2017-07-05 03:37:05 +0000 |
commit | 3288eac67369acd35e37ee70d140af2836957f0b (patch) | |
tree | 666d66ff09464789776a90e40797a33bedc011ac /www | |
parent | c5247b417b993968ee625d9181b5ab7eb332ad41 (diff) |
Implement LWG 2937 - equivalent("dne", "exists") is not an error
This patch speculatively implements the PR for LWG 2937, which fixes
two issues with equivalent.
(1) It makes equivalent("dne", "exists") an error. Previously only
equivalent("dne", "dne") was an error and the former case was not (it returned false).
Now equivalent reports an error when either input doesn't exist.
(2) It makes equivalent(p1, p2) well-formed when `is_other(p1) && is_other(p2)`.
Previously this was an error, but there is seemingly no reason why it should be on POSIX system.
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@307117 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www')
-rw-r--r-- | www/upcoming_meeting.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/www/upcoming_meeting.html b/www/upcoming_meeting.html index c7bd83fb3..f1a99fdef 100644 --- a/www/upcoming_meeting.html +++ b/www/upcoming_meeting.html @@ -64,7 +64,7 @@ <tr><td><a href="http://wg21.link/LWG2597">2597</a></td><td>std::log misspecified for complex numbers</td><td>Toronto</td><td></td></tr> <tr><td><a href="http://wg21.link/LWG2783">2783</a></td><td>stack::emplace() and queue::emplace() should return decltype(auto)</td><td>Toronto</td><td></td></tr> <tr><td><a href="http://wg21.link/LWG2932">2932</a></td><td>Constraints on parallel algorithm implementations are underspecified</td><td>Toronto</td><td></td></tr> - <tr><td><a href="http://wg21.link/LWG2937">2937</a></td><td>Is equivalent("existing_thing", "not_existing_thing") an error?</td><td>Toronto</td><td></td></tr> + <tr><td><a href="http://wg21.link/LWG2937">2937</a></td><td>Is equivalent("existing_thing", "not_existing_thing") an error?</td><td>Toronto</td><td>Complete</td></tr> <tr><td><a href="http://wg21.link/LWG2940">2940</a></td><td>result_of specification also needs a little cleanup</td><td>Toronto</td><td></td></tr> <tr><td><a href="http://wg21.link/LWG2942">2942</a></td><td>LWG 2873's resolution missed weak_ptr::owner_before</td><td>Toronto</td><td></td></tr> <tr><td><a href="http://wg21.link/LWG2954">2954</a></td><td>Specialization of the convenience variable templates should be prohibited</td><td>Toronto</td><td></td></tr> @@ -84,7 +84,7 @@ <li>2597 - I think we do this already; probably needs tests</li> <li>2783 - should be easy to change; needs tests</li> <li>2932 - We're not doing the parallel algorithms yet.</li> -<li>2937 - file system; Eric?</li> +<li>2937 - Implemented with tests. The PR LGTM (Eric)</li> <li>2940 - We haven't implemented result_of yet, but I don't think that this will require any changes.</li> <li>2942 - all of our owner_before overloads are already noexcept; just need to update the tests.</li> <li>2954 - I don't think there's anything to do here.</li> |