From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.8 required=3.0 tests=BAYES_00,PLING_QUERY
	autolearn=no autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org.POSTED!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: 2dsa | !2dsa ?
Date: Tue, 29 Dec 2020 15:14:07 +0000
Organization: Aioe.org NNTP Server
Message-ID: <rsfh4h$1t6o$1@gioia.aioe.org>
References: <d3f3b7fb-e051-428b-a947-32310a64933en@googlegroups.com>
 <rru6nm$76t$1@franka.jacob-sparre.dk> <rrv01a$ioe$1@gioia.aioe.org>
 <2fa5a097-a0a6-4614-b990-ee70b89ab470n@googlegroups.com>
 <rs256e$1bc2$1@gioia.aioe.org>
 <578126cd-507b-4e6b-8c08-31a115773bd2n@googlegroups.com>
 <30f2c0d8-58c2-4ca9-bfd6-2aa38309d27cn@googlegroups.com>
 <rsdqfk$v7n$1@franka.jacob-sparre.dk> <rsfg32$1etf$1@gioia.aioe.org>
NNTP-Posting-Host: JUN8/iIzeA71QWaIWFKODA.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.6.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: en-GB
Xref: reader02.eternal-september.org comp.lang.ada:60974
List-Id: <comp.lang.ada>

On 29/12/2020 14:56, Dmitry A. Kazakov wrote:

>> for increasing support for that annex. So the ARG could change the 
>> annex but
>> it seems unlikely that any changes would make it into implementations.
>> (We've been told not to expect even the implementation of bugs fixes
>> included in Ada 202x, even from the vendor that originally requested 
>> the bug
>> fixes.)
> 
> Why there should be any vendor support in the first place? Why not to 
> redefine it as a set of abstract tagged types allowing custom user 
> implementations like storage pools and streams do?

Would the compiler still need any support for this or would it just be a 
set of interfaces at library level?