Permalink
Browse files

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.
  • Loading branch information...
1 parent a89157f commit b3adae60f1834dca50ba002e89ac85efb7466896 @som-snytt som-snytt committed with adriaanm Mar 29, 2014
Showing with 4 additions and 0 deletions.
  1. +4 −0 spec/06-expressions.md
View
@@ -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

0 comments on commit b3adae6

Please sign in to comment.