diff options
author | Lukas Rytz <lukas.rytz@gmail.com> | 2015-09-18 10:33:28 +0200 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@gmail.com> | 2015-09-18 10:33:28 +0200 |
commit | 133e7d053cc62ce0703d611e34fa750175cc3b48 (patch) | |
tree | 918e2dd3d8523f41ad8b1da4cf09b5580a13bd25 /spec/06-expressions.md | |
parent | 91cd6d1a3db422c576f15eceb0715c572ec44081 (diff) | |
parent | 76269ca7a63848aee1f141da75be8ca436bf9e6c (diff) | |
download | scala-133e7d053cc62ce0703d611e34fa750175cc3b48.tar.gz scala-133e7d053cc62ce0703d611e34fa750175cc3b48.tar.bz2 scala-133e7d053cc62ce0703d611e34fa750175cc3b48.zip |
Merge remote-tracking branch 'upstream/2.12.x' into opt/heuristics
Diffstat (limited to 'spec/06-expressions.md')
-rw-r--r-- | spec/06-expressions.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/06-expressions.md b/spec/06-expressions.md index 85e288bf5f..9cd58ea346 100644 --- a/spec/06-expressions.md +++ b/spec/06-expressions.md @@ -1736,7 +1736,7 @@ so `scala.Any` is the type inferred for `a`. _Eta-expansion_ converts an expression of method type to an equivalent expression of function type. It proceeds in two steps. -First, one identifes the maximal sub-expressions of $e$; let's +First, one identifies the maximal sub-expressions of $e$; let's say these are $e_1 , \ldots , e_m$. For each of these, one creates a fresh name $x_i$. Let $e'$ be the expression resulting from replacing every maximal subexpression $e_i$ in $e$ by the |