From 54cf3a30e8463656e31629b50c655dad18ae5f9b Mon Sep 17 00:00:00 2001 Message-Id: <54cf3a30e8463656e31629b50c655dad18ae5f9b.1719258671.git.mdw@distorted.org.uk> From: Mark Wooding Date: Sat, 27 Jul 2019 12:39:26 +0100 Subject: [PATCH] doc/concepts.tex: Fix superclass/subclass confusion. Organization: Straylight/Edgeware From: Mark Wooding --- doc/concepts.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/concepts.tex b/doc/concepts.tex index 528a551..73ce9ed 100644 --- a/doc/concepts.tex +++ b/doc/concepts.tex @@ -237,15 +237,15 @@ It works as follows. $\langle C, @|SodObject| \rangle$. The class precedence list begins $\langle G, E, \ldots \rangle$, but the individual lists don't order $A$ and $C$. Comparing these to $G$'s direct superclasses, we see that $A$ - is a subclass of $E$, while $C$ is a subclass of -- indeed equal to -- - $C$; so $A$ must precede $C$, as must $B$, and the final list is $\langle - G, E, A, B, C, @|SodObject| \rangle$. + is a superclass of $E$, while $C$ is a superclass of -- indeed equal to + -- $C$; so $A$ must precede $C$, as must $B$, and the final list is + $\langle G, E, A, B, C, @|SodObject| \rangle$. \item Finally, we determine $I$'s class precedence list by merging $\langle I, G, H \rangle$, $\langle G, E, A, B, C, @|SodObject| \rangle$, and $\langle H, F, A, D, @|SodObject| \rangle$. The list begins $\langle I, G, \ldots \rangle$, and then we must break a tie between $E$ and $H$; but - $E$ is a subclass of $G$, so $E$ wins. Next, $H$ and $F$ must precede + $E$ is a superclass of $G$, so $E$ wins. Next, $H$ and $F$ must precede $A$, since these are ordered by $H$'s class precedence list. Then $B$ and $C$ precede $D$, since the former are superclasses of $G$, and the final list is $\langle I, G, E, H, F, A, B, C, D, @|SodObject| \rangle$. -- [mdw]