fixups: minor grammar and spelling corrections

Author: joshuaberne

source/basic.tex

@@ -150,7 +150,7 @@
 A declaration of an entity or \grammarterm{typedef-name} $X$ is
 a redeclaration of $X$
 if another declaration of $X$ is reachable from it\iref{module.reach};
-otherwise it is a \defnadj{first}{declaration}.
+otherwise, it is a \defnadj{first}{declaration}.
 A declaration may also have effects including:
 \begin{itemize}
 \item a static assertion\iref{dcl.pre},
@@ -895,7 +895,7 @@
 \grammarterm{handler}, or
 contract assertion
 (as described in the following subclauses of \ref{basic.scope})
-appearing in another scope which thereby contains $S$.
+appearing in another scope, which thereby contains $S$.
 An \defnadj{enclosing}{scope} at a program point is any scope that contains it;
 the smallest such scope is said to be the \defnadj{immediate}{scope}
 at that point.
@@ -4521,7 +4521,7 @@
 if \tcode{X} is
 \begin{itemize}
 \item
-a scalar type, or
+a scalar type or
 \item
 a class type that
 has at least one eligible copy or move constructor\iref{special},
@@ -7404,7 +7404,7 @@
 for any given evaluation of a contract assertion.
 \begin{note}
 The range and flexibility of available choices of
-evaluation semantics depends on the implementation,
+evaluation semantics depends on the implementation
 and need not allow all four evaluation semantics as possibilities.
 The evaluation semantics can differ
 for different evaluations of the same contract assertion,
@@ -7440,8 +7440,8 @@
 To determine whether a predicate would evaluate
 to \keyword{true} or \keyword{false},
 an alternative evaluation
-that produces the same value as the predicate,
-but has no side effects,
+that produces the same value as the predicate
+but has no side effects
 can occur.
 \begin{example}
 \begin{codeblock}
@@ -7452,7 +7452,7 @@
   pre(( s.g++, false ));    // \#1
 void g()
 {
-  f();  // Increment of \tcode{s.g} might not occur, even if \#1 uses a checking semantic
+  f();  // Increment of \tcode{s.g} might not occur, even if \#1 uses a checking semantic.
 }
 \end{codeblock}
 \end{example}
@@ -7553,7 +7553,7 @@
 \tcode{std::terminate} or \tcode{std::abort}
 without actually making a library call
 is a conforming implementation of
-contract-terminating\iref{intro.abstract}.
+contract-termination\iref{intro.abstract}.
 \end{note}
 
 \pnum
@@ -7572,7 +7572,7 @@
 If a contract violation occurs
 in a context that is not manifestly constant-evaluated
 and the evaluation semantic is enforce or observe,
-the contract-violation handle\iref{basic.contract.handler}
+the contract-violation handler\iref{basic.contract.handler}
 is invoked with an lvalue referring to
 an object \tcode{v}
 of type \tcode{const std::contracts::contract_violation}\iref{support.contract.violation}
@@ -7638,7 +7638,7 @@
 the enforce semantic provides the opportunity to
 log information about the contract violation
 before terminating the program
-or throw an exception to avoid termination,
+or to throw an exception to avoid termination,
 and the quick-enforce semantic is intended
 to terminate the program as soon as possible
 as well as

source/classes.tex

@@ -475,7 +475,7 @@
 
 \begin{bnf}
 \nontermdef{member-declarator}\br
-    declarator \opt{virt-specifier-seq} \opt{function-contract-spceifier-seq} \opt{pure-specifier}\br
+    declarator \opt{virt-specifier-seq} \opt{function-contract-specifier-seq} \opt{pure-specifier}\br
     declarator requires-clause \opt{function-contract-specifier-seq}\br
     declarator brace-or-equal-initializer\br
     \opt{identifier} \opt{attribute-specifier-seq} \terminal{:} constant-expression \opt{brace-or-equal-initializer}

source/declarations.tex

@@ -4612,7 +4612,7 @@
 
 void f() pre (b1) pre ([]{ return b2; }());
 void f();                       // OK, \grammarterm{function-contract-specifier}s omitted
-void f() pre (b1) pre ([]{ return b2; }()); // error: closures have different types
+void f() pre (b1) pre ([]{ return b2; }()); // error: closures have different types.
 void f() pre (b1);              // error: \grammarterm{function-contract-specifier}s only partially repeated
 
 int g() post(r : b1);
@@ -4622,7 +4622,7 @@
   void h() pre (b1);
   bool b1;
   void h() pre (b1);    // error: \grammarterm{function-contract-specifier}s differ according to
-                        // the one-definition rule\iref{basic.def.odr}
+                        // the one-definition rule\iref{basic.def.odr}.
 }
 \end{codeblock}
 \end{example}
@@ -4757,7 +4757,7 @@
 
 int main() {
   A a = f(&a);  // The postcondition check can fail if the implementation introduces
-                // a temporary for the return value\iref{class.temporary}
+                // a temporary for the return value\iref{class.temporary}.
   B b = f(&b);  // The postcondition check succeeds, no temporary is introduced.
 }
 \end{codeblock}

source/expressions.tex

@@ -1630,7 +1630,7 @@
 whose corresponding variable
 is declared outside of $C$,
 \end{itemize}
-then the type of the expression is \tcode{const T}.
+then the type of the expression is \tcode{const}~\tcode{T}.
 
 \pnum
 \begin{example}
@@ -1917,7 +1917,7 @@
 whose corresponding variable
 is declared outside of $C$,
 \end{itemize}
-then the type of the expression is \tcode{const} \tcode{T}.
+then the type of the expression is \tcode{const}~\tcode{T}.
 
 
 \pnum