summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--spec/06-expressions.md4
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