From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Finalization of library level tasks
Date: Tue, 1 May 2018 18:54:00 +0300
Organization: Tidorum Ltd
Message-ID: <fkrgsoFblsmU1@mid.individual.net>
References: <pavkou$1go7$1@gioia.aioe.org> <pavm21$ko5$1@dont-email.me>
 <pavmla$1k1o$1@gioia.aioe.org> <pavp2a$81n$1@dont-email.me>
 <pavqa6$1qdj$1@gioia.aioe.org> <pbr405$lg5$1@franka.jacob-sparre.dk>
 <pbs4km$doq$1@gioia.aioe.org> <pbtjlf$k6q$1@franka.jacob-sparre.dk>
 <pbuk07$9mf$1@gioia.aioe.org> <pc03h3$e9d$1@franka.jacob-sparre.dk>
 <pc1bok$iqf$1@gioia.aioe.org>
 <a4afa3d7-5057-4b01-9ac0-87fde248f5aa@googlegroups.com>
 <pc56s0$o1i$1@gioia.aioe.org>
 <3b736ddf-0807-4781-a973-6164280faae7@googlegroups.com>
 <pc7hk3$tpt$1@dont-email.me>
 <f675667c-51cf-4a29-8cee-6f526da04cca@googlegroups.com>
 <pc9iea$p7s$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net IhUTlyGWraZ8e21M3qbLSQ/KyPoijaHsvURqHcA/cMx3kNpXYF
Cancel-Lock: sha1:ndGzT0cICbpUE09716XFtmuMPDk=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <pc9iea$p7s$1@dont-email.me>
Xref: reader02.eternal-september.org comp.lang.ada:51886
Date: 2018-05-01T18:54:00+03:00
List-Id: <comp.lang.ada>

On 18-05-01 14:18 , Jeffrey R. Carter wrote:
> On 05/01/2018 11:17 AM, AdaMagica wrote:
>>
>> But he is correct on this example you gave: With redispatch, OP(X) and
>> OP(Parent'Class(X)) are not the same.
>
> If you use redispatching then you get what you deserve.

Which can be exactly what you want to achieve!

(Obligatory dissenting voice in favour of occasional redispatching, to 
avoid the appearance that redispatching is universally abhorred.)

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .