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 |