From 0847c4973b750a1b0c3a663410ae59b19e94d109 Mon Sep 17 00:00:00 2001
From: Chris Bieneman <cbieneman@microsoft.com>
Date: Fri, 30 Aug 2024 22:09:54 -0500
Subject: [PATCH] Cleanup wording on ordering of conversion ranks

This wording went through a few iterations and it ended up in a silightly confused state. This just tries to simplify and clarify the ordering of the ranks.
---
 specs/language/overloading.tex | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

diff --git a/specs/language/overloading.tex b/specs/language/overloading.tex
index 57788ce0..26b7785a 100644
--- a/specs/language/overloading.tex
+++ b/specs/language/overloading.tex
@@ -297,10 +297,10 @@
           & Truncation & \ref{Conv.vtrunc} \\ \cline{1-4}
 
     Vector truncation promotion & Dimensionality Reduction Promotion
-          & Truncation Promotion  & \ref{Conv.vtrunc} \\ \cline{1-4}
+          & Promotion Truncation & \ref{Conv.vtrunc} \\ \cline{1-4}
 
     Vector truncation conversion & Dimensionality Reduction Conversion
-          & Truncation Conversion & \ref{Conv.vtrunc} \\ \cline{1-4}
+          & Conversion Truncation & \ref{Conv.vtrunc} \\ \cline{1-4}
     \hline
   \end{tabular}
 \end{center}
@@ -324,12 +324,18 @@
 \p Otherwise, the rank of a conversion sequence is determined by considering the
 rank of each conversion.
 
-\p Conversion sequence ranks are ordered such that \textbf{Exact
-Match} rank is better than \textbf{Exact Match Extension} rank, which is better
-than \textbf{Promotion} rank, which is better than \textbf{Extension} rank,
-which is better than \textbf{Conversion} rank, which is better than
-\textbf{Truncation} rank. The rank of a conversion sequence is the rank of the
-worst ranked conversion in the sequence.
+\p Conversion sequence ranks are ordered from better to worse as:
+\begin{itemize}
+  \item \textbf{Exact Match}
+  \item \textbf{Extension}
+  \item \textbf{Promotion}
+  \item \textbf{Promotion Extension}
+  \item \textbf{Conversion}
+  \item \textbf{Conversion Extension}
+  \item \textbf{Truncation}
+  \item \textbf{Promotion Truncation}
+  \item \textbf{Conversion Truncation}
+\end{itemize}
 
 % TODO: Define user-defined conversion sequences. DXC doesn't actually support
 % these because we don't resolve overloads for user-defined conversion