SI-6069 Preserve by-name during eta-expansion

som-snytt · adriaanm · commit b3adae60f183 · 2014-03-28T17:40:58.000-07:00
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.
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -1782,6 +1782,10 @@ n$). The result of eta-conversion is then:`
`1782`	`1782`	`}`
`1783`	`1783`	```
`1784`	`1784`
	`1785`	`+The behavior of [call-by-name parameters](#function-applications)`
	`1786`	`+is preserved under eta-expansion: the corresponding actual argument expression,`
	`1787`	`+a sub-expression of parameterless method type, is not evaluated in the expanded block.`
	`1788`	`+`
`1785`	`1789`	`### Dynamic Member Selection`
`1786`	`1790`
`1787`	`1791`	The standard Scala library defines a trait `scala.Dynamic` which defines a member