@@ -207,13 +207,13 @@ substitution ´[ a_1 := T_1 , \ldots , a_n := T_n ]´.
207207Given the partial type definitions:
208208
209209``` scala
210- class TreeMap [A <: Comparable [A ], B ] { … }
211- class List [A ] { … }
212- class I extends Comparable [I ] { … }
210+ class TreeMap [A <: Comparable [A ], B ] { ... }
211+ class List [A ] { ... }
212+ class I extends Comparable [I ] { ... }
213213
214- class F [M [_], X ] { … }
215- class S [K <: String ] { … }
216- class G [M [ Z <: I ], I ] { … }
214+ class F [M [_], X ] { ... }
215+ class S [K <: String ] { ... }
216+ class G [M [ Z <: I ], I ] { ... }
217217```
218218
219219the following parameterized types are well-formed:
@@ -255,20 +255,20 @@ A _tuple type_ ´(T_1 , \ldots , T_n)´ is an alias for the
255255class ` scala.Tuple´n´[´T_1´, … , ´T_n´] ` , where ´n \geq 2´.
256256
257257Tuple classes are case classes whose fields can be accessed using
258- selectors ` _1 ` , … , ` _n ` . Their functionality is
258+ selectors ` _1 ` , ... , ` _n ` . Their functionality is
259259abstracted in a corresponding ` Product ` trait. The _ n_ -ary tuple
260260class and product trait are defined at least as follows in the
261261standard Scala library (they might also add other methods and
262262implement other traits).
263263
264264``` scala
265- case class Tuple ´_n´[+ ´T_1 ´, … , + ´T_n ´](_1 : ´T_1 ´, … , _n : ´T_n ´)
266- extends Product ´_n´[´T_1 ´, … , ´T_n ´]
265+ case class Tuple ´_n´[+ ´T_1 ´, ... , + ´T_n ´](_1 : ´T_1 ´, ... , _n : ´T_n ´)
266+ extends Product ´_n´[´T_1 ´, ... , ´T_n ´]
267267
268- trait Product ´_n´[+ ´T_1 ´, … , + ´T_n ´] {
268+ trait Product ´_n´[+ ´T_1 ´, ... , + ´T_n ´] {
269269 override def productArity = ´n´
270270 def _1 : ´T_1 ´
271- …
271+ ...
272272 def _n : ´T_n ´
273273}
274274```
@@ -302,7 +302,7 @@ RefineStat ::= Dcl
302302 |
303303```
304304
305- A _ compound type_ ´T_1´ ` with ` … ` with ` ´T_n \\ { R \\ }´
305+ A _ compound type_ ´T_1´ ` with ` ... ` with ` ´T_n \\ { R \\ }´
306306represents objects with members as given in the component types
307307´T_1 , \ldots , T_n´ and the refinement ´\\ { R \\ }´. A refinement
308308´\\ { R \\ }´ contains declarations and type definitions.
@@ -323,7 +323,7 @@ definition within the refinement. This restriction does not apply to
323323the method's result type.
324324
325325If no refinement is given, the empty refinement is implicitly added,
326- i.e. ´T_1´ ` with ` … ` with ` ´T_n´ is a shorthand for ´T_1´ ` with ` … ` with ` ´T_n \\ {\\ }´.
326+ i.e. ´T_1´ ` with ` ... ` with ` ´T_n´ is a shorthand for ´T_1´ ` with ` ... ` with ` ´T_n \\ {\\ }´.
327327
328328A compound type may also consist of just a refinement
329329´\\ { R \\ }´ with no preceding component types. Such a type is
@@ -336,12 +336,12 @@ a parameter type that contains a refinement with structural declarations.
336336
337337``` scala
338338case class Bird (val name : String ) extends Object {
339- def fly (height : Int ) = …
340- …
339+ def fly (height : Int ) = ...
340+ ...
341341}
342342case class Plane (val callsign : String ) extends Object {
343- def fly (height : Int ) = …
344- …
343+ def fly (height : Int ) = ...
344+ ...
345345}
346346def takeoff (
347347 runway : Int ,
@@ -415,8 +415,8 @@ types are defined in the Scala library for ´n´ between 0 and 22 as follows.
415415
416416``` scala
417417package scala
418- trait Function ´_n´[- ´T_1 ´ , … , - ´T_n ´, + ´U ´] {
419- def apply (´x_1´: ´T_1 ´ , … , ´x_n´: ´T_n ´): ´U ´
418+ trait Function ´_n´[- ´T_1 ´, ... , - ´T_n ´, + ´U ´] {
419+ def apply (´x_1´: ´T_1 ´, ... , ´x_n´: ´T_n ´): ´U ´
420420 override def toString = " <function>"
421421}
422422```
@@ -724,7 +724,7 @@ These notions are defined mutually recursively as follows.
724724 given as follows.
725725 - The base types of a class type ´C´ with parents ´T_1 , \ldots , T_n´ are
726726 ´C´ itself, as well as the base types of the compound type
727- ` ´T_1´ with … with ´T_n´ { ´R´ } ` .
727+ ` ´T_1´ with ... with ´T_n´ { ´R´ } ` .
728728 - The base types of an aliased type are the base types of its alias.
729729 - The base types of an abstract type are the base types of its upper bound.
730730 - The base types of a parameterized type
@@ -861,8 +861,8 @@ The conformance relation ´(<:)´ is the smallest transitive relation that satis
861861- A singleton type ` ´p´.type ` conforms to the type of the path ´p´.
862862- A singleton type ` ´p´.type ` conforms to the type ` scala.Singleton ` .
863863- A type projection ` ´T´#´t´ ` conforms to ` ´U´#´t´ ` if ´T´ conforms to ´U´.
864- - A parameterized type ` ´T´[´T_1´ , … , ´T_n´] ` conforms to
865- ` ´T´[´U_1´ , … , ´U_n´] ` if
864+ - A parameterized type ` ´T´[´T_1´, ... , ´T_n´] ` conforms to
865+ ` ´T´[´U_1´, ... , ´U_n´] ` if
866866 the following three conditions hold for ´i \in \{ 1 , \ldots , n \} ´:
867867 1 . If the ´i´'th type parameter of ´T´ is declared covariant, then
868868 ´T_i <: U_i´.
@@ -922,13 +922,13 @@ type ´C'´, if one of the following holds.
922922 subsumes a method declaration that defines ´x´ with type ´T'´, provided
923923 ´T <: T'´.
924924- A type alias
925- ` type ´t´[´T_1´ , … , ´T_n´] = ´T´ ` subsumes a type alias
926- ` type ´t´[´T_1´ , … , ´T_n´] = ´T'´ ` if ´T \equiv T'´.
927- - A type declaration ` type ´t´[´T_1´ , … , ´T_n´] >: ´L´ <: ´U´ ` subsumes
928- a type declaration ` type ´t´[´T_1´ , … , ´T_n´] >: ´L'´ <: ´U'´ ` if
925+ ` type ´t´[´T_1´, ... , ´T_n´] = ´T´ ` subsumes a type alias
926+ ` type ´t´[´T_1´, ... , ´T_n´] = ´T'´ ` if ´T \equiv T'´.
927+ - A type declaration ` type ´t´[´T_1´, ... , ´T_n´] >: ´L´ <: ´U´ ` subsumes
928+ a type declaration ` type ´t´[´T_1´, ... , ´T_n´] >: ´L'´ <: ´U'´ ` if
929929 ´L' <: L´ and ´U <: U'´.
930930- A type or class definition that binds a type name ´t´ subsumes an abstract
931- type declaration ` type t[´T_1´ , … , ´T_n´] >: L <: U ` if
931+ type declaration ` type t[´T_1´, ... , ´T_n´] >: L <: U ` if
932932 ´L <: t <: U´.
933933
934934
@@ -1024,7 +1024,7 @@ A value member of a volatile type cannot appear in a [path](#paths).
10241024
10251025A type is _ volatile_ if it falls into one of four categories:
10261026
1027- A compound type ` ´T_1´ with … with ´T_n´ {´R\,´} `
1027+ A compound type ` ´T_1´ with ... with ´T_n´ {´R\,´} `
10281028is volatile if one of the following three conditions hold.
10291029
103010301 . One of ´T_2 , \ldots , T_n´ is a type parameter or abstract type, or
0 commit comments