[std] Remove 'shall' from notes.

Also update the automatic check script to prevent
future regressions.

Author: jensmaurer

source/classes.tex

@@ -2855,8 +2855,8 @@
 
 \pnum
 \begin{note}
-There shall be exactly one definition of a static data member
-that is odr-used\iref{basic.def.odr} in a program; no diagnostic is required.
+There is exactly one definition of a static data member
+that is odr-used\iref{basic.def.odr} in a valid program.
 \end{note}
 Unnamed classes and classes contained directly
 or indirectly within unnamed classes shall not contain static

source/declarations.tex

@@ -5743,7 +5743,7 @@
 corresponding element of the initializer list, and the
 \tcode{std::initializer_list<E>} object is constructed to refer to that array.
 \begin{note}
-A constructor or conversion function selected for the copy shall be
+A constructor or conversion function selected for the copy is required to be
 accessible\iref{class.access} in the context of the initializer list.
 \end{note}
 If a narrowing conversion is required to initialize any of the elements, the program is ill-formed.

source/exceptions.tex

@@ -796,7 +796,7 @@
 non-throwing exception specification,
 the function \tcode{std::terminate} is called\iref{except.terminate}.
 \begin{note}
-An implementation shall not reject an expression merely because, when
+An implementation is not permitted to reject an expression merely because, when
 executed, it throws or might
 throw an exception from a function with a non-throwing exception specification.
 \end{note}

source/expressions.tex

@@ -1846,7 +1846,7 @@
 if the function call operator template specialization is an immediate function.
 \begin{note}
 This will result in the implicit instantiation of the generic lambda's body.
-The instantiated generic lambda's return type and parameter types shall match
+The instantiated generic lambda's return type and parameter types are required to match
 the return type and parameter types of the pointer to function.
 \end{note}
 \begin{example}
@@ -3347,7 +3347,7 @@
 \tcode{++} is
 a single evaluation.
 \begin{note}
-Therefore, a function call shall not intervene between the
+Therefore, a function call cannot intervene between the
 lvalue-to-rvalue conversion and the side effect associated with any
 single postfix ++ operator.
 \end{note}
@@ -4888,7 +4888,7 @@
 and the deallocation function's name is
 \tcode{operator delete[]}.
 \begin{note}
-An implementation shall provide default definitions for the global
+An implementation is required to provide default definitions for the global
 allocation
 functions~(\ref{basic.stc.dynamic}, \ref{new.delete.single}, \ref{new.delete.array}).
 A \Cpp{} program can provide alternative definitions of
@@ -6668,7 +6668,7 @@
 respect to an indeterminately-sequenced function call, the operation of
 a compound assignment is a single evaluation.
 \begin{note}
-Therefore, a function call shall not intervene between the
+Therefore, a function call cannot intervene between the
 lvalue-to-rvalue conversion and the side effect associated with any
 single compound assignment operator.
 \end{note}

source/iostreams.tex

@@ -867,9 +867,9 @@
 as a synonym for a class with equivalent functionality
 to class \tcode{ios_base::failure} shown in this subclause.
 \begin{note}
-When \tcode{ios_base::failure} is a synonym for another type
-it shall provide a nested type \tcode{failure},
-to emulate the injected class name.
+When \tcode{ios_base::failure} is a synonym for another type,
+that type is required to provide a nested type \tcode{failure}
+to emulate the injected-class-name.
 \end{note}
 The class
 \tcode{failure}

source/templates.tex

@@ -3154,7 +3154,7 @@
 \tcode{I>}.
 \end{example}
 \begin{note}
-The template argument list shall not be specified in the primary template
+The template argument list cannot be specified in the primary template
 declaration.
 For example,
 
@@ -6491,8 +6491,8 @@
 
 \pnum
 \begin{note}
-An explicit instantiation of a constrained template
-shall satisfy that template's associated constraints\iref{temp.constr.decl}.
+An explicit instantiation of a constrained template is required
+to satisfy that template's associated constraints\iref{temp.constr.decl}.
 The satisfaction of constraints is determined
 % FIXME: What is a "template name"? Does this mean "simple-template-id"?
 when forming the template name of an explicit instantiation
@@ -6862,8 +6862,8 @@
 
 \pnum
 \begin{note}
-An explicit specialization of a constrained template
-shall satisfy that template's associated constraints\iref{temp.constr.decl}.
+An explicit specialization of a constrained template is required
+to satisfy that template's associated constraints\iref{temp.constr.decl}.
 The satisfaction of constraints is determined
 when forming the template name of an explicit specialization
 in which all template arguments are specified\iref{temp.names},

tools/check.sh

@@ -70,6 +70,14 @@ grep -n "&[ 0-9a-z_]\+) = delete" $texfiles && exit 1
 # Bad characters in label. "-" is allowed due to a single remaining offender.
 grep -n '^\\rSec.\[[^]]*[^-a-z.0-9][^]]*\]{' $texfiles | sed 's/$/ <--- bad character in label/' | grep . && exit 1
 
+# "shall" inside a note
+for f in $texfiles; do
+    sed -n '/begin{note}/,/end{note}/{/shall[^a-zA-Z]/{=;p}}' $f |
+    # prefix output with filename and line
+    sed '/^[0-9]\+$/{N;s/\n/:/}' | sed "s/.*/$f:&/" |
+    sed 's/$/ <--- "shall" inside a note/'
+done | grep . && exit 1
+
 # \placeholder before (
 #egrep 'placeholder{[-A-Za-z]*}@?\(' *.tex
 # to fix: sed -i 's/placeholder\({[-A-Za-z]*}@\?(\)/placeholdernc\1/g' *.tex