@@ -207,13 +207,13 @@ substitution ´[ a_1 := T_1 , \ldots , a_n := T_n ]´.
207
207
Given the partial type definitions:
208
208
209
209
``` 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 ] { ... }
213
213
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 ] { ... }
217
217
```
218
218
219
219
the following parameterized types are well-formed:
@@ -255,20 +255,20 @@ A _tuple type_ ´(T_1 , \ldots , T_n)´ is an alias for the
255
255
class ` scala.Tuple´n´[´T_1´, … , ´T_n´] ` , where ´n \geq 2´.
256
256
257
257
Tuple classes are case classes whose fields can be accessed using
258
- selectors ` _1 ` , … , ` _n ` . Their functionality is
258
+ selectors ` _1 ` , ... , ` _n ` . Their functionality is
259
259
abstracted in a corresponding ` Product ` trait. The _ n_ -ary tuple
260
260
class and product trait are defined at least as follows in the
261
261
standard Scala library (they might also add other methods and
262
262
implement other traits).
263
263
264
264
``` 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 ´]
267
267
268
- trait Product ´_n´[+ ´T_1 ´, … , + ´T_n ´] {
268
+ trait Product ´_n´[+ ´T_1 ´, ... , + ´T_n ´] {
269
269
override def productArity = ´n´
270
270
def _1 : ´T_1 ´
271
- …
271
+ ...
272
272
def _n : ´T_n ´
273
273
}
274
274
```
@@ -302,7 +302,7 @@ RefineStat ::= Dcl
302
302
|
303
303
```
304
304
305
- A _ compound type_ ´T_1´ ` with ` … ` with ` ´T_n \\ { R \\ }´
305
+ A _ compound type_ ´T_1´ ` with ` ... ` with ` ´T_n \\ { R \\ }´
306
306
represents objects with members as given in the component types
307
307
´T_1 , \ldots , T_n´ and the refinement ´\\ { R \\ }´. A refinement
308
308
´\\ { R \\ }´ contains declarations and type definitions.
@@ -323,7 +323,7 @@ definition within the refinement. This restriction does not apply to
323
323
the method's result type.
324
324
325
325
If 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 \\ {\\ }´.
327
327
328
328
A compound type may also consist of just a refinement
329
329
´\\ { R \\ }´ with no preceding component types. Such a type is
@@ -336,12 +336,12 @@ a parameter type that contains a refinement with structural declarations.
336
336
337
337
``` scala
338
338
case class Bird (val name : String ) extends Object {
339
- def fly (height : Int ) = …
340
- …
339
+ def fly (height : Int ) = ...
340
+ ...
341
341
}
342
342
case class Plane (val callsign : String ) extends Object {
343
- def fly (height : Int ) = …
344
- …
343
+ def fly (height : Int ) = ...
344
+ ...
345
345
}
346
346
def takeoff (
347
347
runway : Int ,
@@ -415,8 +415,8 @@ types are defined in the Scala library for ´n´ between 0 and 22 as follows.
415
415
416
416
``` scala
417
417
package 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 ´
420
420
override def toString = " <function>"
421
421
}
422
422
```
@@ -724,7 +724,7 @@ These notions are defined mutually recursively as follows.
724
724
given as follows.
725
725
- The base types of a class type ´C´ with parents ´T_1 , \ldots , T_n´ are
726
726
´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´ } ` .
728
728
- The base types of an aliased type are the base types of its alias.
729
729
- The base types of an abstract type are the base types of its upper bound.
730
730
- The base types of a parameterized type
@@ -861,8 +861,8 @@ The conformance relation ´(<:)´ is the smallest transitive relation that satis
861
861
- A singleton type ` ´p´.type ` conforms to the type of the path ´p´.
862
862
- A singleton type ` ´p´.type ` conforms to the type ` scala.Singleton ` .
863
863
- 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
866
866
the following three conditions hold for ´i \in \{ 1 , \ldots , n \} ´:
867
867
1 . If the ´i´'th type parameter of ´T´ is declared covariant, then
868
868
´T_i <: U_i´.
@@ -922,13 +922,13 @@ type ´C'´, if one of the following holds.
922
922
subsumes a method declaration that defines ´x´ with type ´T'´, provided
923
923
´T <: T'´.
924
924
- 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
929
929
´L' <: L´ and ´U <: U'´.
930
930
- 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
932
932
´L <: t <: U´.
933
933
934
934
@@ -1024,7 +1024,7 @@ A value member of a volatile type cannot appear in a [path](#paths).
1024
1024
1025
1025
A type is _ volatile_ if it falls into one of four categories:
1026
1026
1027
- A compound type ` ´T_1´ with … with ´T_n´ {´R\,´} `
1027
+ A compound type ` ´T_1´ with ... with ´T_n´ {´R\,´} `
1028
1028
is volatile if one of the following three conditions hold.
1029
1029
1030
1030
1 . One of ´T_2 , \ldots , T_n´ is a type parameter or abstract type, or
0 commit comments