Merge 2018-03 LWG Motion 9

Author: zygoloid

source/compatibility.tex

@@ -1929,9 +1929,9 @@
 \rationale New functionality.
 \effect
 The following \Cpp{} headers are new:
-\tcode{<compare>}
-and
-\tcode{<syncstream>}.
+\tcode{<compare>},
+\tcode{<syncstream>}, and
+\tcode{<version>}.
 Valid \CppXVII{} code that \tcode{\#include}{s} headers with these names may be
 invalid in this International Standard.
 

source/lib-intro.tex

@@ -1013,84 +1013,89 @@
 {llll}
 \topline
 \tcode{<algorithm>} &
-\tcode{<fstream>} &
-\tcode{<mutex>} &
-\tcode{<string>} \\
+\tcode{<functional>} &
+\tcode{<numeric>} &
+\tcode{<syncstream>} \\
 
 \tcode{<any>} &
-\tcode{<functional>} &
-\tcode{<new>} &
-\tcode{<string_view>} \\
+\tcode{<future>} &
+\tcode{<optional>} &
+\tcode{<system_error>} \\
 
 \tcode{<array>} &
-\tcode{<future>} &
-\tcode{<numeric>} &
-\tcode{<strstream>} \\
+\tcode{<initializer_list>} &
+\tcode{<ostream>} &
+\tcode{<thread>} \\
 
 \tcode{<atomic>} &
-\tcode{<initializer_list>} &
-\tcode{<optional>} &
-\tcode{<syncstream>} \\
+\tcode{<iomanip>} &
+\tcode{<queue>} &
+\tcode{<tuple>} \\
 
 \tcode{<bitset>} &
-\tcode{<iomanip>} &
-\tcode{<ostream>} &
-\tcode{<system_error>} \\
+\tcode{<ios>} &
+\tcode{<random>} &
+\tcode{<type_traits>} \\
 
 \tcode{<charconv>} &
-\tcode{<ios>} &
-\tcode{<queue>} &
-\tcode{<thread>} \\
+\tcode{<iosfwd>} &
+\tcode{<ratio>} &
+\tcode{<typeindex>} \\
 
 \tcode{<chrono>} &
-\tcode{<iosfwd>} &
-\tcode{<random>} &
-\tcode{<tuple>} \\
+\tcode{<iostream>} &
+\tcode{<regex>} &
+\tcode{<typeinfo>} \\
 
 \tcode{<codecvt>} &
-\tcode{<iostream>} &
-\tcode{<ratio>} &
-\tcode{<type_traits>} \\
+\tcode{<istream>} &
+\tcode{<scoped_allocator>} &
+\tcode{<unordered_map>} \\
 
 \tcode{<compare>} &
-\tcode{<istream>} &
-\tcode{<regex>} &
-\tcode{<typeindex>} \\
+\tcode{<iterator>} &
+\tcode{<set>} &
+\tcode{<unordered_set>} \\
 
 \tcode{<complex>} &
-\tcode{<iterator>} &
-\tcode{<scoped_allocator>} &
-\tcode{<typeinfo>} \\
+\tcode{<limits>} &
+\tcode{<shared_mutex>} &
+\tcode{<utility>} \\
 
 \tcode{<condition_variable>} &
-\tcode{<limits>} &
-\tcode{<set>} &
-\tcode{<unordered_map>} \\
+\tcode{<list>} &
+\tcode{<sstream>} &
+\tcode{<valarray>} \\
 
 \tcode{<deque>} &
-\tcode{<list>} &
-\tcode{<shared_mutex>} &
-\tcode{<unordered_set>} \\
+\tcode{<locale>} &
+\tcode{<stack>} &
+\tcode{<variant>} \\
 
 \tcode{<exception>} &
-\tcode{<locale>} &
-\tcode{<sstream>} &
-\tcode{<utility>} \\
+\tcode{<map>} &
+\tcode{<stdexcept>} &
+\tcode{<vector>} \\
 
 \tcode{<execution>} &
-\tcode{<map>} &
-\tcode{<stack>} &
-\tcode{<valarray>} \\
+\tcode{<memory>} &
+\tcode{<streambuf>} &
+\tcode{<version>} \\
 
 \tcode{<filesystem>} &
-\tcode{<memory>} &
-\tcode{<stdexcept>} &
-\tcode{<variant>} \\
+\tcode{<memory_resource>} &
+\tcode{<strstream>} &
+\\
 
 \tcode{<forward_list>} &
-\tcode{<memory_resource>} &
-\tcode{<streambuf>} &
-\tcode{<vector>} \\
+\tcode{<mutex>} &
+\tcode{<string>} &
+\\
+
+\tcode{<fstream>} &
+\tcode{<new>} &
+\tcode{<string_view>} &
+\\
 \end{floattable}
 
 
@@ -1321,7 +1326,7 @@
 \begin{libsumtab}{\Cpp{} headers for freestanding implementations}{tab:cpp.headers.freestanding}
                          &                           & \tcode{<ciso646>}          \\ \rowsep
 \ref{support.types}      & Types                     & \tcode{<cstddef>}          \\ \rowsep
-\ref{support.limits}     & Implementation properties & \tcode{<cfloat>} \tcode{<limits>} \tcode{<climits>} \\ \rowsep
+\ref{support.limits}     & Implementation properties & \tcode{<cfloat>} \tcode{<limits>} \tcode{<climits>} \tcode{<version>} \\ \rowsep
 \ref{cstdint}            & Integer types             & \tcode{<cstdint>}          \\ \rowsep
 \ref{support.start.term} & Start and termination     & \tcode{<cstdlib>}          \\ \rowsep
 \ref{support.dynamic}    & Dynamic memory management & \tcode{<new>}              \\ \rowsep

source/support.tex

@@ -26,7 +26,8 @@
                           &                           &   \tcode{<cstdlib>}   \\ \rowsep
 \ref{support.limits}      & Implementation properties &   \tcode{<limits>}    \\
                           &                           &   \tcode{<climits>}   \\
-                          &                           &   \tcode{<cfloat>}    \\ \rowsep
+                          &                           &   \tcode{<cfloat>}    \\
+                          &                           &   \tcode{<version>}   \\ \rowsep
 \ref{cstdint}             & Integer types             &   \tcode{<cstdint>}   \\ \rowsep
 \ref{support.start.term}  & Start and termination     &   \tcode{<cstdlib>}   \\ \rowsep
 \ref{support.dynamic}     & Dynamic memory management &   \tcode{<new>}       \\ \rowsep
@@ -505,6 +506,12 @@
 supply characteristics of imple\-mentation-dependent
 arithmetic types\iref{basic.fundamental}.
 
+\pnum
+The header \tcode{<version>}
+supplies implementation-dependent information
+about the C++ standard library
+(e.g., version number and release date).
+
 \rSec2[limits.syn]{Header \tcode{<limits>} synopsis}
 \indexhdr{limits}%
 \indextext{\idxcode{numeric_limits}}%