Index: docs/language/dartLangSpec.tex |
diff --git a/docs/language/dartLangSpec.tex b/docs/language/dartLangSpec.tex |
index 3850f200dfcfc00dea26f2a7b80fdf71a2c7f3a8..fb935f5c590c79bd8918b3040a8a2890b87cc267 100644 |
--- a/docs/language/dartLangSpec.tex |
+++ b/docs/language/dartLangSpec.tex |
@@ -1547,7 +1547,7 @@ The superinitializer that appears, explicitly or implicitly, in the initializer |
Any expression that appears within the initializer list of a constant constructor must be a potentially constant expression, or a compile-time error occurs. |
\LMHash{} |
-A {\em potentially constant expression} is an expression $e$ that would be a valid constant expression if all formal parameters of $e$'s immediately enclosing constant constructor were treated as compile-time constants that were guaranteed to evaluate to an integer, boolean or string value as required by their immediately enclosing superexpression. |
+A {\em potentially constant expression} is an expression $e$ that would be a valid constant expression if all formal parameters of $e$'s immediately enclosing constant constructor were treated as compile-time constants that were guaranteed to evaluate to an integer, boolean or string value as required by their immediately enclosing superexpression, <em>and</em> where $e$ is also a valid expression if all the formal parameters are treated as non-constant variables. |
eernst
2015/11/20 10:03:18
So, basically, you're saying that (1) is more impo
Lasse Reichstein Nielsen
2015/11/20 10:37:55
I'm saying that (1) is what we have been implement
|
\commentary{ |
Note that a parameter that is not used in a superexpression that is restricted to certain types can be a constant of any type. For example} |