| OLD | NEW |
| 1 \documentclass{article} | 1 \documentclass{article} |
| 2 \usepackage{epsfig} | 2 \usepackage{epsfig} |
| 3 \usepackage{color} | 3 \usepackage{color} |
| 4 \usepackage{dart} | 4 \usepackage{dart} |
| 5 \usepackage{bnf} | 5 \usepackage{bnf} |
| 6 \usepackage{hyperref} | 6 \usepackage{hyperref} |
| 7 \usepackage{lmodern} | 7 \usepackage{lmodern} |
| 8 \newcommand{\code}[1]{{\sf #1}} | 8 \newcommand{\code}[1]{{\sf #1}} |
| 9 \title{Dart Programming Language Specification \\ | 9 \title{Dart Programming Language Specification \\ |
| 10 {4th edition draft}\\ | 10 {4th edition draft}\\ |
| (...skipping 4145 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4156 \} | 4156 \} |
| 4157 \end{dartCode} | 4157 \end{dartCode} |
| 4158 if $f$ is named $m$ and has required parameters $r_1, \ldots, r_n$, and named pa
rameters $p_1, \ldots, p_k$ with defaults $d_1, \ldots, d_k$. | 4158 if $f$ is named $m$ and has required parameters $r_1, \ldots, r_n$, and named pa
rameters $p_1, \ldots, p_k$ with defaults $d_1, \ldots, d_k$. |
| 4159 \item | 4159 \item |
| 4160 \begin{dartCode} | 4160 \begin{dartCode} |
| 4161 $(r_1, \ldots, r_n, [p_1 = d_1, \ldots , p_k = d_k])$\{ | 4161 $(r_1, \ldots, r_n, [p_1 = d_1, \ldots , p_k = d_k])$\{ |
| 4162 \RETURN{} $u.m(r_1, \ldots, r_n, p_1, \ldots, p_k)$; | 4162 \RETURN{} $u.m(r_1, \ldots, r_n, p_1, \ldots, p_k)$; |
| 4163 \} | 4163 \} |
| 4164 \end{dartCode} | 4164 \end{dartCode} |
| 4165 if $f$ is named $m$ and has required parameters $r_1, \ldots, r_n$, and optional
positional parameters $p_1, \ldots, p_k$ with defaults $d_1, \ldots, d_k$. | 4165 if $f$ is named $m$ and has required parameters $r_1, \ldots, r_n$, and optional
positional parameters $p_1, \ldots, p_k$ with defaults $d_1, \ldots, d_k$. |
| 4166 %\end{itemize} | 4166 \end{itemize} |
| 4167 | 4167 |
| 4168 \LMHash{} | 4168 \LMHash{} |
| 4169 Except that iff \code{identical($o_1, o_2$)} then \cd{$o_1.m$ == $o_2.m$}. | 4169 Except that iff \code{identical($o_1, o_2$)} then \cd{$o_1.m$ == $o_2.m$}. |
| 4170 %\item The static type of the property extraction is the static type of function
$T.m$, where $T$ is the static type of $e$, if $T.m$ is defined. Otherwise the
static type of $e.m$ is \DYNAMIC{}. | 4170 %\item The static type of the property extraction is the static type of function
$T.m$, where $T$ is the static type of $e$, if $T.m$ is defined. Otherwise the
static type of $e.m$ is \DYNAMIC{}. |
| 4171 | 4171 |
| 4172 \commentary{ | 4172 \commentary{ |
| 4173 There is no guarantee that \cd{identical($o_1.m, o_2.m$)}. Dart implementations
are not required to canonicalize these or any other closures. | 4173 There is no guarantee that \cd{identical($o_1.m, o_2.m$)}. Dart implementations
are not required to canonicalize these or any other closures. |
| 4174 } | 4174 } |
| 4175 % local functions that have a closure extracted are always different | 4175 % local functions that have a closure extracted are always different |
| 4176 | 4176 |
| (...skipping 3522 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 7699 | 7699 |
| 7700 The invariant that each normative paragraph is associated with a line | 7700 The invariant that each normative paragraph is associated with a line |
| 7701 containing the text \LMHash{} should be maintained. Extra occurrences | 7701 containing the text \LMHash{} should be maintained. Extra occurrences |
| 7702 of \LMHash{} can be added if needed, e.g., in order to make | 7702 of \LMHash{} can be added if needed, e.g., in order to make |
| 7703 individual \item{}s in itemized lists addressable. Each \LM.. command | 7703 individual \item{}s in itemized lists addressable. Each \LM.. command |
| 7704 must occur on a separate line. \LMHash{} must occur immediately | 7704 must occur on a separate line. \LMHash{} must occur immediately |
| 7705 before the associated paragraph, and \LMLabel must occur immediately | 7705 before the associated paragraph, and \LMLabel must occur immediately |
| 7706 after the associated \section{}, \subsection{} etc. | 7706 after the associated \section{}, \subsection{} etc. |
| 7707 | 7707 |
| 7708 ---------------------------------------------------------------------- | 7708 ---------------------------------------------------------------------- |
| OLD | NEW |