dart-lang/sdk
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Clarified use of const in for-in loop is illegal.

Browse Source 
R=srdjan@google.com

Review URL: https://codereview.chromium.org//140743006

git-svn-id: https://dart.googlecode.com/svn/branches/bleeding_edge/dart@31904 260f80e4-7a28-3924-810f-c04153c831b5
This commit is contained in:
gbracha@google.com
2014-01-17 00:13:26 +00:00
parent d4bfaaafd6
commit 39b5ace1f8
1 changed files with 8 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/language/dartLangSpec.tex
+8 -4
View File
@@ -5,7 +5,7 @@
\usepackage{hyperref}
\newcommand{\code}[1]{{\sf #1}}
\title{Dart Programming Language Specification \\
{\large Version 1.1}}
{\large Version 1.11}}
\author{The Dart Team}
\begin{document}
\maketitle
@@ -3114,7 +3114,7 @@ Otherwise:
A function expression invocation $e_f(a_1, \ldots , a_n, x_{n+1}: a_{n+1}, \ldots , x_{n+k}: a_{n+k})$ is equivalent to $e_f.call(a_1, \ldots , a_n, x_{n+1}: a_{n+1}, \ldots , x_{n+k}: a_{n+k})$.
\commentary{
The implication of this definition, and the other definitions involving the method \code{call()}, is that user defined types can be used as function values provided they define a \code{call()} method. The method \code{call()} is special in this regard. The signature of the \code{call()} method determines the signature used when using the object via the built-in invocation syntax.
The implication of this definition, and the other definitions involving the method \code{call()}, is that user defined types can be used as function values provided they define a \CALL{} method. The method \CALL{} is special in this regard. The signature of the \CALL{} method determines the signature used when using the object via the built-in invocation syntax.
}
It is a static warning if the static type $F$ of $e_f$ may not be assigned to a function type. If $F$ is not a function type, the static type of $i$ is \DYNAMIC{}. Otherwise
@@ -4312,16 +4312,20 @@ Instead, each iteration has its own distinct variable. The first iteration uses
\subsubsection{For-in}
\label{for-in}
A for statement of the form \code{ \FOR{} ($varOrType?$ id \IN{} $e$) $s$} is equivalent to the following code:
A for statement of the form \code{ \FOR{} ($finalConstVarOrType?$ id \IN{} $e$) $s$} is equivalent to the following code:
\begin{dartCode}
var n0 = $e$.iterator;
\WHILE{} (n0.moveNext()) \{
$varOrType?$ id = n0.current;
$finalConstVarOrType?$ id = n0.current;
$s$
\}
\end{dartCode}
where \code{n0} is an identifier that does not occur anywhere in the program.
\commentary{
Note that in fact, using a \CONST{} variable would give rise to a compile time error since \cd{n0.current} is not a constant expression.
}
\subsection{While}
\label{while}