From c3e28c92f639126436db713381309200eaba3ba2 Mon Sep 17 00:00:00 2001 From: Mark Wooding Date: Tue, 23 Jun 2020 10:30:13 +0100 Subject: [PATCH] doc/concepts.tex: Make use of the concept of `inconsistent lists'. Also eliminate a pointless item. --- doc/concepts.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.11.0