summaryrefslogtreecommitdiff
path: root/09-implicit-parameters-and-views.md
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2014-03-26 00:42:54 -0700
committerAdriaan Moors <adriaan.moors@typesafe.com>2014-03-26 00:42:54 -0700
commit3df5773e3a7dd5fac1d6d641b30a84c6470dab19 (patch)
tree9b07f2b6e94e943ce55b44b24e4ccd6bdc9c3b27 /09-implicit-parameters-and-views.md
parent7307a03e5456b0c260435f61354917e8b769a5bb (diff)
downloadscala-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.md10
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$)`