From b3adae60f1834dca50ba002e89ac85efb7466896 Mon Sep 17 00:00:00 2001 From: Som Snytt Date: Fri, 28 Mar 2014 17:19:16 -0700 Subject: [PATCH] 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. --- spec/06-expressions.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/spec/06-expressions.md b/spec/06-expressions.md index 9a558420dd24..89154d444191 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