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 \usepackage[T1]{fontenc} | 8 \usepackage[T1]{fontenc} |
9 \newcommand{\code}[1]{{\sf #1}} | 9 \newcommand{\code}[1]{{\sf #1}} |
10 \title{Dart Programming Language Specification \\ | 10 \title{Dart Programming Language Specification \\ |
(...skipping 7204 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
7215 | 7215 |
7216 \commentary{ | 7216 \commentary{ |
7217 Note that if \code{main} requires more than two positional arguments, | 7217 Note that if \code{main} requires more than two positional arguments, |
7218 the library is not considered a script. | 7218 the library is not considered a script. |
7219 } | 7219 } |
7220 | 7220 |
7221 \commentary{ | 7221 \commentary{ |
7222 A Dart program will typically be executed by executing a script. | 7222 A Dart program will typically be executed by executing a script. |
7223 } | 7223 } |
7224 | 7224 |
7225 \LMHASH{} | 7225 \LMHash{} |
7226 If a non-script library is provided where a script is expected, | 7226 If a non-script library is provided where a script is expected, |
7227 it precludes execution. | 7227 it precludes execution. |
7228 As such, it should be reported as a compile-time error, | 7228 As such, it should be reported as a compile-time error, |
7229 even if that library compiles successfully as a non-script library. | 7229 even if that library compiles successfully as a non-script library. |
7230 | 7230 |
7231 \subsection{URIs} | 7231 \subsection{URIs} |
7232 \LMLabel{uris} | 7232 \LMLabel{uris} |
7233 | 7233 |
7234 \LMHash{} | 7234 \LMHash{} |
7235 URIs are specified by means of string literals: | 7235 URIs are specified by means of string literals: |
(...skipping 952 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
8188 | 8188 |
8189 The invariant that each normative paragraph is associated with a line | 8189 The invariant that each normative paragraph is associated with a line |
8190 containing the text \LMHash{} should be maintained. Extra occurrences | 8190 containing the text \LMHash{} should be maintained. Extra occurrences |
8191 of \LMHash{} can be added if needed, e.g., in order to make | 8191 of \LMHash{} can be added if needed, e.g., in order to make |
8192 individual \item{}s in itemized lists addressable. Each \LM.. command | 8192 individual \item{}s in itemized lists addressable. Each \LM.. command |
8193 must occur on a separate line. \LMHash{} must occur immediately | 8193 must occur on a separate line. \LMHash{} must occur immediately |
8194 before the associated paragraph, and \LMLabel must occur immediately | 8194 before the associated paragraph, and \LMLabel must occur immediately |
8195 after the associated \section{}, \subsection{} etc. | 8195 after the associated \section{}, \subsection{} etc. |
8196 | 8196 |
8197 ---------------------------------------------------------------------- | 8197 ---------------------------------------------------------------------- |
OLD | NEW |