From: Mark Wooding <mdw@distorted.org.uk>
Date: Tue, 23 Jun 2020 09:30:13 +0000 (+0100)
Subject: doc/concepts.tex: Make use of the concept of `inconsistent lists'.
X-Git-Url: https://git.distorted.org.uk/~mdw/sod/commitdiff_plain/c3e28c92f639126436db713381309200eaba3ba2

doc/concepts.tex: Make use of the concept of `inconsistent lists'.

Also eliminate a pointless item.
---

diff --git a/doc/concepts.tex b/doc/concepts.tex
index fc83714..397920f 100644
--- a/doc/concepts.tex
+++ b/doc/concepts.tex
@@ -169,8 +169,8 @@ in~\cite{barrett-1996:monot-super-linear-dylan}.  It works as follows.
   have no merge then they are said to be \emph{inconsistent}.
 \item The class precedence list of a class $C$ is a merge of the local
   precedence list of $C$ together with the class precedence lists of each of
-  $C$'s direct superclasses.
-\item If there are no such merges, then the definition of $C$ is invalid.
+  $C$'s direct superclasses.  If these lists are inconsistent, then the
+  definition of $C$ is invalid.
 \item Suppose that there are multiple candidate merges.  Consider the
   earliest position in these candidate merges at which they disagree.  The
   \emph{candidate classes} at this position are the classes appearing at this