Correct the order of "bind formals to actuals", which has been rather mixed until now

Author: eernstg

specification/dartLangSpec.tex

@@ -293,17 +293,17 @@
 % - Specify that it is an error for a concrete class with no non-trivial
 %   \code{noSuchMethod} to not have a concrete declaration for some member
 %   in its interface, or to have one which is not a correct override.
-% - Use \ref{bindingActualsToFormals} in 3 locations, eliminating 2 extra
+% - Use \ref{bindingFormalsToActuals} in 3 locations, eliminating 2 extra
 %   copies of nearly the same text.
-% - Add figure in \ref{bindingActualsToFormals} for improved readability.
+% - Add figure in \ref{bindingFormalsToActuals} for improved readability.
 % - Introduce a notion of lookup which is needed for superinvocations.
 % - Use new lookup concept to simplify specification of getter, setter, method
 %   lookup.
 % - Introduce several `Case<SomeTopic>` markers in order to improve
 %   readability.
 % - Reorganize several sections to specify static analysis first and then
 %   dynamic semantics; clarify many details along the way. The sections are:
-%   \ref{variables}, \ref{new}, \ref{const}, \ref{bindingActualsToFormals},
+%   \ref{variables}, \ref{new}, \ref{const}, \ref{bindingFormalsToActuals},
 %   \ref{unqualifiedInvocation}, \ref{functionExpressionInvocation},
 %   \ref{superInvocations}, \ref{assignment}, \ref{compoundAssignment},
 %   \ref{localVariableDeclaration}, and \ref{return}.
@@ -1743,7 +1743,7 @@ \subsection{Implicitly Induced Getters and Setters}
   and in which environment
   (p.\,\pageref{executionOfGenerativeConstructors},
   \ref{localVariableDeclaration},
-  \ref{bindingActualsToFormals}).%
+  \ref{bindingFormalsToActuals}).%
 }
 
 \commentary{%
@@ -3482,7 +3482,7 @@ \subsubsection{The Method \code{noSuchMethod}}
   because the actual argument fails to satisfy a type check,
   but that situation will give rise to a dynamic type error
   rather than a repeated attempt to invoke \code{noSuchMethod}
-  (\ref{bindingActualsToFormals}).
+  (\ref{bindingFormalsToActuals}).
   Here is an example where a dynamic type error occurs because
   an attempt is made to pass an \code{Invocation},
   and the type of the parameter is \code{Never}:%
@@ -4477,7 +4477,7 @@ \subsubsection{Generative Constructors}
 It is a \Error{compile-time error} if class $S$ does not declare
 a generative constructor named $S$ (respectively \code{$S$.\id}).
 Otherwise, the static analysis of $s$ is performed
-as specified in Section~\ref{bindingActualsToFormals},
+as specified in Section~\ref{bindingFormalsToActuals},
 as if \code{\SUPER} respectively \code{\SUPER.\id}
 had had the function type of the denoted constructor,
 %% TODO(eernst): The following is very imprecise, it just serves to remember
@@ -6729,8 +6729,8 @@ \subsection{Explicit Invocation of an Instance Member of an Extension}
 Let $m$ be the member of $E$ that has the name $n$.
 Evaluation of $i$ proceeds by evaluating
 $e$ to an object $o$,
-evaluating and binding the actual arguments to the formal parameters
-(\ref{bindingActualsToFormals}),
+evaluating the actual arguments and binding the formal parameters to them
+(\ref{bindingFormalsToActuals}),
 and finally executing $m$
 in a binding environment where \List{X}{1}{k} are bound to \List{t}{1}{k},
 \THIS{} is bound to $o$,
@@ -13413,8 +13413,8 @@ \subsubsection{Actual Argument List Evaluation}
 }
 
 
-\subsubsection{Binding Actuals to Formals}
-\LMLabel{bindingActualsToFormals}
+\subsubsection{Binding Formals to Actuals}
+\LMLabel{bindingFormalsToActuals}
 
 \commentary{%
   In the following, the non-generic case is covered implicitly:
@@ -13633,7 +13633,7 @@ \subsubsection{Binding Actuals to Formals}
 and let $p_{h+1}, \ldots, p_{h+k}$ be the optional parameters declared by $f$.
 
 \LMHash{}%
-An evaluated actual argument part
+With a given evaluated actual argument part
 
 \noindent
 \code{<\List{t}{1}{r}>(\ArgumentList{o}{m}{q}{l})}
@@ -13645,7 +13645,7 @@ \subsubsection{Binding Actuals to Formals}
 \code{<\TypeArgumentListStd>(\ArgumentList{a}{m}{q}{l})}
 
 \noindent
-is bound to the formal type parameters and formal parameters of $f$ as follows:
+the formal type parameters and formal parameters of $f$ are bound as follows:
 
 \LMHash{}%
 % Passing a wrong number of actual type arguments.
@@ -13902,7 +13902,7 @@ \subsubsection{Function Expression Invocation}
 
 \LMHash{}%
 Otherwise, the static analysis of $i$ is performed as specified
-in Section~\ref{bindingActualsToFormals},
+in Section~\ref{bindingFormalsToActuals},
 using $F$ as the static type of the invoked function,
 and the static type of $i$ is as specified there.
 
@@ -13921,8 +13921,8 @@ \subsubsection{Function Expression Invocation}
 \code{$f$<\TypeArgumentListStd>(\ArgumentListStd)}
 
 \noindent
-is evaluated by binding actuals to formals
-as specified in Section~\ref{bindingActualsToFormals},
+is evaluated by binding formals to actuals
+as specified in Section~\ref{bindingFormalsToActuals},
 and executing the body of $f$ with those bindings;
 the returned result is then the result of evaluating $i$.
 
@@ -14025,9 +14025,9 @@ \subsection{Function Closurization}
 }
 
 \LMHash{}%
-An invocation of $o$ with a given argument list will bind actuals to formals
+An invocation of $o$ with a given argument list will bind formals to actuals
 in the same way as an invocation of $f$
-(\ref{bindingActualsToFormals}),
+(\ref{bindingFormalsToActuals}),
 and then execute the body of $f$
 in the captured scope amended with the bound parameter scope,
 yielding the same completion
@@ -14122,7 +14122,7 @@ \subsection{Generic Function Instantiation}
 \ref{initializerLists},
 \ref{new},
 \ref{const},
-\ref{bindingActualsToFormals},
+\ref{bindingFormalsToActuals},
 \ref{assignment},
 \ref{localVariableDeclaration},
 \ref{switch},
@@ -14744,7 +14744,7 @@ \subsubsection{Ordinary Invocation}
 
 \LMHash{}%
 The static analysis of $i$ is then performed
-as specified in Section~\ref{bindingActualsToFormals},
+as specified in Section~\ref{bindingFormalsToActuals},
 considering $F$ to be the static type of the function to call.
 The static type of $i$ is as specified there.
 
@@ -14762,8 +14762,8 @@ \subsubsection{Ordinary Invocation}
 \LMHash{}%
 If the denoted member of $i$ is a static method,
 let $f$ be the function declared by that member.
-The binding of actual arguments to formal parameters is performed
-as specified in Section~\ref{bindingActualsToFormals}.
+The binding of formal parameters to actual arguments is performed
+as specified in Section~\ref{bindingFormalsToActuals}.
 The body of $f$ is then executed with respect to the bindings
 that resulted from the evaluation of the argument part.
 The value of $i$ is the object returned by the execution of $f$'s body.
@@ -14895,7 +14895,7 @@ \subsubsection{Ordinary Invocation}
 
 \LMHash{}%
 Otherwise, the static analysis of $i$ is performed
-as specified in Section~\ref{bindingActualsToFormals},
+as specified in Section~\ref{bindingFormalsToActuals},
 considering $F$ to be the static type of the function to call,
 and the static type of $i$ is as specified there,
 except that invocations of methods named \code{remainder}
@@ -15018,8 +15018,8 @@ \subsubsection{Ordinary Invocation}
 
 \LMHash{}%
 If the method lookup succeeded,
-the binding of actual arguments to formal parameters is performed
-as specified in Section~\ref{bindingActualsToFormals}.
+the binding of formal parameters to actual arguments is performed
+as specified in Section~\ref{bindingFormalsToActuals}.
 The body of $f$ is then executed with respect to the bindings
 that resulted from the evaluation of the argument list,
 and with \THIS{} bound to $o$.
@@ -15258,7 +15258,7 @@ \subsubsection{Superinvocations}
 Otherwise
 \commentary{(when one of the lookups succeeded)},
 the static analysis of $i$ is performed
-as specified in Section~\ref{bindingActualsToFormals},
+as specified in Section~\ref{bindingFormalsToActuals},
 considering the function to have static type $F$,
 and the static type of $i$ is as specified there.
 
@@ -15316,9 +15316,9 @@ \subsubsection{Superinvocations}
 }
 
 \LMHash{}%
-Otherwise perform the binding of actual arguments to formal parameters for
+Otherwise perform the binding of formal parameters to actual arguments for
 \code{$f$<\TypeArgumentListStd>(\ArgumentListStd)}
-as specified in Section~\ref{bindingActualsToFormals},
+as specified in Section~\ref{bindingFormalsToActuals},
 and execute the body of $f$ with said bindings
 plus a binding of \THIS{} to $o$.
 The result returned by $f$ is then the result of evaluating $i$.
@@ -16055,7 +16055,7 @@ \subsubsection{Generic Method Instantiation}
 \ref{initializerLists},
 \ref{new},
 \ref{const},
-\ref{bindingActualsToFormals},
+\ref{bindingFormalsToActuals},
 \ref{assignment},
 \ref{localVariableDeclaration},
 \ref{switch},
@@ -22462,7 +22462,7 @@ \subsection{Dynamic Type System}
   \ref{redirectingFactoryConstructors},
   \ref{lists},
   \ref{new},
-  \ref{bindingActualsToFormals},
+  \ref{bindingFormalsToActuals},
   \ref{ordinaryInvocation},
   \ref{assignment},
   \ref{typeCast},