diff options
author | Frank S. Thomas <frank@timepit.eu> | 2015-11-23 18:16:43 +0100 |
---|---|---|
committer | Frank S. Thomas <frank@timepit.eu> | 2015-11-23 22:32:45 +0100 |
commit | 57ad0b421ac507c1f4417dc12181113f44e093cf (patch) | |
tree | b7940b4af1ed15be48e2b16e1ca517e8607469d2 | |
parent | 9ed51f21fa73011c8f60e224e8228035330dcfa0 (diff) | |
download | scala-57ad0b421ac507c1f4417dc12181113f44e093cf.tar.gz scala-57ad0b421ac507c1f4417dc12181113f44e093cf.tar.bz2 scala-57ad0b421ac507c1f4417dc12181113f44e093cf.zip |
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}$. |