From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 4210 invoked by alias); 10 Jun 2010 19:17:01 -0000 Mailing-List: contact archer-help@sourceware.org; run by ezmlm Sender: Precedence: bulk List-Post: List-Help: List-Subscribe: List-Id: Received: (qmail 4185 invoked by uid 22791); 10 Jun 2010 19:17:00 -0000 X-SWARE-Spam-Status: No, hits=-5.8 required=5.0 tests=AWL,BAYES_00,RCVD_IN_DNSWL_HI,SPF_HELO_PASS,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Message-ID: <4C1136E8.4000307@redhat.com> Date: Thu, 10 Jun 2010 19:17:00 -0000 From: sami wagiaalla User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.9) Gecko/20100330 Fedora/3.0.4-1.fc12 Thunderbird/3.0.4 MIME-Version: 1.0 To: Keith Seitz CC: Project Archer Subject: Re: Template function support References: <4C11323B.9030302@redhat.com> <4C113635.1040500@redhat.com> In-Reply-To: <4C113635.1040500@redhat.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2010-q2/txt/msg00038.txt.bz2 On 06/10/2010 03:00 PM, Keith Seitz wrote: > On 06/10/2010 11:43 AM, sami wagiaalla wrote: >> My idea was to remove from foo() and store it just as plain >> foo. This would allow for normal overload resolution to take place. The >> patch attached to this message demonstrates that approach. > > Just one quick question: Did you consider the opposite approach, i.e., > adding "" (since we can deduce that from the argument type)? > No, it did not even occur to me. The problem is that we don't know if the sought symbol is a template instance, and in the case of overload resolution the candidates can be both template instances and regular functions.