From 0847c4973b750a1b0c3a663410ae59b19e94d109 Mon Sep 17 00:00:00 2001 From: Chris Bieneman Date: Fri, 30 Aug 2024 22:09:54 -0500 Subject: [PATCH 1/2] 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 From dabc19313ddd0fd752cde149267cec7d8a65548c Mon Sep 17 00:00:00 2001 From: Chris Bieneman Date: Mon, 16 Sep 2024 11:26:44 -0500 Subject: [PATCH 2/2] Use numbered list --- specs/language/overloading.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/specs/language/overloading.tex b/specs/language/overloading.tex index 26b7785a..d6ae7423 100644 --- a/specs/language/overloading.tex +++ b/specs/language/overloading.tex @@ -325,7 +325,7 @@ rank of each conversion. \p Conversion sequence ranks are ordered from better to worse as: -\begin{itemize} +\begin{enumerate} \item \textbf{Exact Match} \item \textbf{Extension} \item \textbf{Promotion} @@ -335,7 +335,7 @@ \item \textbf{Truncation} \item \textbf{Promotion Truncation} \item \textbf{Conversion Truncation} -\end{itemize} +\end{enumerate} % TODO: Define user-defined conversion sequences. DXC doesn't actually support % these because we don't resolve overloads for user-defined conversion