From fc874ada5fecd8cceb4fcfe2bbd7fd47555c5440 Mon Sep 17 00:00:00 2001 From: Jason Zaugg Date: Wed, 1 Oct 2014 09:18:53 +1000 Subject: SI-8870 Fix markup errors in the Types section of the spec Bad: `T'_n` Good: `T_n'` --- spec/03-types.md | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'spec/03-types.md') diff --git a/spec/03-types.md b/spec/03-types.md index 80200cdf33..2cc5facc4e 100644 --- a/spec/03-types.md +++ b/spec/03-types.md @@ -864,15 +864,15 @@ transitive relation that satisfies the following conditions. if $T$ conforms to one of the [type instances](#existential-types) of `$U$ forSome {$\,Q\,$}`. - If - $T_i \equiv T'_i$ for $i \in \{ 1 , \ldots , n\}$ and $U$ conforms to $U'$ + $T_i \equiv T_i'$ for $i \in \{ 1 , \ldots , n\}$ and $U$ conforms to $U'$ then the method type $(p_1:T_1 , \ldots , p_n:T_n) U$ conforms to - $(p'_1:T'_1 , \ldots , p'_n:T'_n) U'$. + $(p_1':T_1' , \ldots , p_n':T_n') U'$. - The polymorphic type $[a_1 >: L_1 <: U_1 , \ldots , a_n >: L_n <: U_n] T$ conforms to the polymorphic type - $[a_1 >: L'_1 <: U'_1 , \ldots , a_n >: L'_n <: U'_n] T'$ if, assuming - $L'_1 <: a_1 <: U'_1 , \ldots , L'_n <: a_n <: U'_n$ - one has $T <: T'$ and $L_i <: L'_i$ and $U'_i <: U_i$ + $[a_1 >: L_1' <: U_1' , \ldots , a_n >: L_n' <: U_n'] T'$ if, assuming + $L_1' <: a_1 <: U_1' , \ldots , L_n' <: a_n <: U_n'$ + one has $T <: T'$ and $L_i <: L_i'$ and $U_i' <: U_i$ for $i \in \{ 1 , \ldots , n \}$. - Type constructors $T$ and $T'$ follow a similar discipline. We characterize $T$ and $T'$ by their type parameter clauses -- cgit v1.2.3