From b75bb42d6b5fa36e8fbc10668371ea8adce8eafd Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Wed, 19 Feb 2014 20:01:45 -0800 Subject: [PATCH] SI-8197 overloading excludes methods with defaults --- documentation/src/reference/ReferencePart.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/documentation/src/reference/ReferencePart.tex b/documentation/src/reference/ReferencePart.tex index 60b3e80c9..4df2a4d48 100644 --- a/documentation/src/reference/ReferencePart.tex +++ b/documentation/src/reference/ReferencePart.tex @@ -5471,8 +5471,8 @@ \subsection{Overloading Resolution} \commadots S_m$. It is an error if none of the members in $\BB$ is applicable. If there is one single applicable alternative, that alternative is chosen. Otherwise, let $\CC$ -be the set of applicable alternatives which don't employ any default argument -in the application to $e_1 \commadots e_m$. It is again an error if $\CC$ is empty. +be the set of applicable alternatives which don't define any default arguments. +It is again an error if $\CC$ is empty. Otherwise, one chooses the {\em most specific} alternative among the alternatives in $\CC$, according to the following definition of being ``as specific as'', and ``more specific than'':