summaryrefslogtreecommitdiff
path: root/07-classes-and-objects.md
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2014-03-10 17:57:42 -0700
committerAdriaan Moors <adriaan.moors@typesafe.com>2014-03-10 18:43:35 -0700
commit37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e (patch)
tree28cc181e6bda9524153604bd00e73525dc055ae2 /07-classes-and-objects.md
parentb44c5980ac2f1e330acd522badabb01f5eb50c06 (diff)
downloadscala-37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e.tar.gz
scala-37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e.tar.bz2
scala-37ef8a2763c0e2c10a9d30cf3bb1f3dcebc22d4e.zip
github markdown: numbered definition
Diffstat (limited to '07-classes-and-objects.md')
-rw-r--r--07-classes-and-objects.md10
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