From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.6
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!Hx95GBhnJb0Xc8StPhH8AA.user.46.165.242.91.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Custom Storage Pool questions
Date: Fri, 15 Oct 2021 10:18:30 +0200
Organization: Aioe.org NNTP Server
Message-ID: <skbdgp$u50$2@gioia.aioe.org>
References: <e3c5c553-4a7f-408a-aaa7-60ec0b70202dn@googlegroups.com>
 <sibvcr$1ico$1@gioia.aioe.org> <siu5r7$st6$1@franka.jacob-sparre.dk>
 <siueba$efk$1@gioia.aioe.org> <lymtnxb0hs.fsf@pushface.org>
 <siuigp$bqs$1@gioia.aioe.org> <sj03gm$7j9$1@franka.jacob-sparre.dk>
 <sj169c$1vkg$1@gioia.aioe.org>
 <bb237054-1f0c-4d31-bb61-4259ee3f21c8n@googlegroups.com>
 <sj2008$1cmo$1@gioia.aioe.org> <sj2vk4$sj$1@franka.jacob-sparre.dk>
 <sj3r92$pla$3@gioia.aioe.org> <sj5ja5$os1$1@franka.jacob-sparre.dk>
 <sj6gmg$1n1n$1@gioia.aioe.org> <sj97ei$sru$1@franka.jacob-sparre.dk>
 <sj9blb$1srp$1@gioia.aioe.org> <sjbbqa$2uk$1@franka.jacob-sparre.dk>
 <sjbq96$3cl$1@gioia.aioe.org> <sk80n7$t0f$1@franka.jacob-sparre.dk>
 <sk8mbv$15ca$1@gioia.aioe.org> <skaier$6ka$1@franka.jacob-sparre.dk>
 <86v91ylnft.fsf@stephe-leake.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="30880"; posting-host="Hx95GBhnJb0Xc8StPhH8AA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.2.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:63006
List-Id: <comp.lang.ada>

On 2021-10-15 10:08, Stephen Leake wrote:
> "Randy Brukardt" <randy@rrsoftware.com> writes:
> 
>>> That is OK, but you still have to expand dispatching tables upon loading
>>> the library and shrink them upon unloading (though the latter is not
>>> supported, I guess).
>>
>> ??? The dispatching tables are defined statically by the compiler, and never
>> change.
> 
> It would be nice if different variants of a dynamically loaded library
> could introduce different derived types; that would support a "plugin"
> model nicely.
> 
> For example, suppose an editor defines a library interface for computing
> indent for various languages. Then one variant could provide Ada,
> another Pascal, etc. Each could be a derived type.
> 
> I think you are saying this is simply not possible with Ada tagged types.

This is exactly what we do. At least with GNAT it works just fine.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de