From 3df5773e3a7dd5fac1d6d641b30a84c6470dab19 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 26 Mar 2014 00:42:54 -0700 Subject: formatting --- 09-implicit-parameters-and-views.md | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to '09-implicit-parameters-and-views.md') 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$)` -- cgit v1.2.3