diff options
| author | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-11-24 08:41:41 +0100 |
|---|---|---|
| committer | Lukas Rytz <lukas.rytz@typesafe.com> | 2015-11-24 08:41:41 +0100 |
| commit | 8eb1d4c29d85aef7828eeb35169e80c085cea93e (patch) | |
| tree | a2f75b81f12a159b5aeb9cb9ab34a40df23e9404 | |
| parent | d49484d1eff71bdfbb6581d17f737c0b5ff4278f (diff) | |
| parent | 57ad0b421ac507c1f4417dc12181113f44e093cf (diff) | |
| download | scala-8eb1d4c29d85aef7828eeb35169e80c085cea93e.tar.gz scala-8eb1d4c29d85aef7828eeb35169e80c085cea93e.tar.bz2 scala-8eb1d4c29d85aef7828eeb35169e80c085cea93e.zip | |
Merge pull request #4859 from fthomas/topic/spec-value-conversions
Update number of subsections in Value Conversions
| -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 9cd58ea346..c24ca01c3b 100644 --- a/spec/06-expressions.md +++ b/spec/06-expressions.md @@ -1341,7 +1341,7 @@ to $U$ after applying [eta-expansion](#eta-expansion) and ### Value Conversions -The following five implicit conversions can be applied to an +The following seven implicit conversions can be applied to an expression $e$ which has some value type $T$ and which is type-checked with some expected type $\mathit{pt}$. |