From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <archer-return-1163-listarch-archer=sourceware.org@sourceware.org>
Received: (qmail 11302 invoked by alias); 17 Mar 2009 21:25:47 -0000
Mailing-List: contact archer-help@sourceware.org; run by ezmlm
Sender: <archer@sourceware.org>
Precedence: bulk
List-Post: <mailto:archer@sourceware.org>
List-Help: <mailto:archer-help@sourceware.org>
List-Subscribe: <mailto:archer-subscribe@sourceware.org>
List-Id: <archer.sourceware.org>
Received: (qmail 11292 invoked by uid 22791); 17 Mar 2009 21:25:47 -0000
X-SWARE-Spam-Status: No, hits=-2.3 required=5.0
	tests=AWL,BAYES_00,SPF_HELO_PASS,SPF_PASS
X-Spam-Check-By: sourceware.org
To: Sami Wagiaalla <swagiaal@redhat.com>
Cc: Project Archer <archer@sourceware.org>
Subject: Re: [RFC] Koenig lookup patch
References: <49BABABE.9080606@redhat.com> <m3d4clrs4z.fsf@fleche.redhat.com>
	<49BFEE44.7080901@redhat.com>
From: Tom Tromey <tromey@redhat.com>
Reply-To: Tom Tromey <tromey@redhat.com>
Date: Tue, 17 Mar 2009 21:25:00 -0000
In-Reply-To: <49BFEE44.7080901@redhat.com> (Sami Wagiaalla's message of "Tue\, 17 Mar 2009 14\:39\:00 -0400")
Message-ID: <m363i7lu4m.fsf@fleche.redhat.com>
User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-SW-Source: 2009-q1/txt/msg00389.txt.bz2

>>>>> "Sami" == Sami Wagiaalla <swagiaal@redhat.com> writes:

Tom> Rewriting the expression in-place seems a bit weird.

Sami> It makes sense to me. You see the parameters of this expression
Sami> actually depend on the result of the evaluation of the parameters
Sami> particularly of the parameters are expressed in complex expressions
Sami> and not plain variable names.

Oh, that reminds me... using the types of the actual arguments can
yield incorrect results.  Instead the formal types must be used.
The difference matters because a subclass might be in a different
namespace from its superclass.

Tom