diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-10 17:57:42 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2014-03-10 18:43:35 -0700 |
commit | 37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e (patch) | |
tree | 28cc181e6bda9524153604bd00e73525dc055ae2 | |
parent | b44c5980ac2f1e330acd522badabb01f5eb50c06 (diff) | |
download | scala-37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e.tar.gz scala-37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e.tar.bz2 scala-37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e.zip |
github markdown: numbered definition
-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 |