diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 00:42:54 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-26 00:42:54 -0700 |
commit | 3df5773e3a7dd5fac1d6d641b30a84c6470dab19 (patch) | |
tree | 9b07f2b6e94e943ce55b44b24e4ccd6bdc9c3b27 /09-implicit-parameters-and-views.md | |
parent | 7307a03e5456b0c260435f61354917e8b769a5bb (diff) | |
download | scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.tar.gz scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.tar.bz2 scala-3df5773e3a7dd5fac1d6d641b30a84c6470dab19.zip |
formatting
Diffstat (limited to '09-implicit-parameters-and-views.md')
-rw-r--r-- | 09-implicit-parameters-and-views.md | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/09-implicit-parameters-and-views.md b/09-implicit-parameters-and-views.md index 6e662bf5f1..b55109636a 100644 --- a/09-implicit-parameters-and-views.md +++ b/09-implicit-parameters-and-views.md @@ -409,13 +409,11 @@ Then the following rules apply. 1. If $T$ is an instance of `Array[$S$]`, a manifest is generated with the invocation `$\mathit{Mobj}$.arrayType[S](m)`, where $m$ is the manifest determined for $M[S]$. -1. If $T$ is some other class type $S\#C[U_1 , \ldots , U_n]$ where the prefix - type $S$ - cannot be statically determined from the class $C$, - a manifest is generated - with the invocation `$\mathit{Mobj}$.classType[T]($m_0$, classOf[T], $ms$)` +1. If $T$ is some other class type $S$#$C[U_1, \ldots, U_n]$ where the prefix + type $S$ cannot be statically determined from the class $C$, + a manifest is generated with the invocation `$\mathit{Mobj}$.classType[T]($m_0$, classOf[T], $ms$)` where $m_0$ is the manifest determined for $M'[S]$ and $ms$ are the - manifests determined for $M'[U_1] , \ldots , M'[U_n]$. + manifests determined for $M'[U_1], \ldots, M'[U_n]$. 1. If $T$ is some other class type with type arguments $U_1 , \ldots , U_n$, a manifest is generated with the invocation `$\mathit{Mobj}$.classType[T](classOf[T], $ms$)` |