diff options
author | Som Snytt <som.snytt@gmail.com> | 2014-03-28 17:19:16 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-28 17:40:58 -0700 |
commit | b3adae60f1834dca50ba002e89ac85efb7466896 (patch) | |
tree | b818114736de1b9e464226e4508ad3d08a1f65e3 /spec | |
parent | a89157f9a0170e98f64ba2927e50cfbf1ece697c (diff) | |
download | scala-b3adae60f1834dca50ba002e89ac85efb7466896.tar.gz scala-b3adae60f1834dca50ba002e89ac85efb7466896.tar.bz2 scala-b3adae60f1834dca50ba002e89ac85efb7466896.zip |
SI-6069 Preserve by-name during eta-expansion
This wording attempts to describe the behavior change in SI-5610
while remaining non-committal about the mechanism.
It refers to the section on function applications and attempts to
use similar language.
Diffstat (limited to 'spec')
-rw-r--r-- | spec/06-expressions.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/spec/06-expressions.md b/spec/06-expressions.md index 9a558420dd..89154d4441 100644 --- a/spec/06-expressions.md +++ b/spec/06-expressions.md @@ -1782,6 +1782,10 @@ n$). The result of eta-conversion is then: } ``` +The behavior of [call-by-name parameters](#function-applications) +is preserved under eta-expansion: the corresponding actual argument expression, +a sub-expression of parameterless method type, is not evaluated in the expanded block. + ### Dynamic Member Selection The standard Scala library defines a trait `scala.Dynamic` which defines a member |