diff options
Diffstat (limited to '07-classes-and-objects.md')
-rw-r--r-- | 07-classes-and-objects.md | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/07-classes-and-objects.md b/07-classes-and-objects.md index 12ad1f8d25..0db574b26a 100644 --- a/07-classes-and-objects.md +++ b/07-classes-and-objects.md @@ -272,16 +272,16 @@ member of a class $C$ overrides a member of a parent class, or whether the two co-exist as overloaded variants in $C$, Scala uses the following definition of _matching_ on members: -> **Definition** \ +> **Definition** > A member definition $M$ _matches_ a member definition $M'$, if $M$ > and $M'$ bind the same name, and one of following holds. > -> #. Neither $M$ nor $M'$ is a method definition. -> #. $M$ and $M'$ define both monomorphic methods with equivalent argument +> 1. Neither $M$ nor $M'$ is a method definition. +> 2. $M$ and $M'$ define both monomorphic methods with equivalent argument > types. -> #. $M$ defines a parameterless method and $M'$ defines a method +> 3. $M$ defines a parameterless method and $M'$ defines a method > with an empty parameter list `()` or _vice versa_. -> #. $M$ and $M'$ define both polymorphic methods with +> 4. $M$ and $M'$ define both polymorphic methods with > equal number of argument types $\overline T$, $\overline T'$ > and equal numbers of type parameters > $\overline t$, $\overline t'$, say, and |