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!Lx7EM+81f32E0bqku+QpCA.user.46.165.242.75.POSTED!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: How to challenge a GCC patch?
Date: Thu, 30 Sep 2021 09:26:12 +0100
Organization: Aioe.org NNTP Server
Message-ID: <sj3sdh$1fh8$1@gioia.aioe.org>
References: <sis53t$du1$1@dont-email.me> <sis9jq$esi$1@dont-email.me>
 <d8844cde-babd-42ad-ba03-d4b30883f66en@googlegroups.com>
 <sj242s$ptk$1@dont-email.me>
 <d1be0d32-e153-42ad-8b78-eec6b6fda07en@googlegroups.com>
 <sj2suk$veb$1@gioia.aioe.org> <sj3l4m$fvj$1@dont-email.me>
 <sj3qff$gcj$1@gioia.aioe.org> <sj3rk5$na1$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="48680"; posting-host="Lx7EM+81f32E0bqku+QpCA.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101
 Thunderbird/78.13.0
Content-Language: en-GB
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader02.eternal-september.org comp.lang.ada:62889
List-Id: <comp.lang.ada>

On 30/09/2021 09:13, J-P. Rosen wrote:
> Le 30/09/2021 à 09:53, Luke A. Guest a écrit :
>> On 30/09/2021 07:23, J-P. Rosen wrote:
>>> Le 30/09/2021 à 01:29, Luke A. Guest a écrit :
>>>>
>>>> On 29/09/2021 20:04, Emmanuel Briot wrote:
>>>>
>>>>> I suggested in an early message that perhaps the community could 
>>>>> build an ASIS API on top of libadalang, if there is a need for that.
>>>>> I also suggested that libadalang documentation should be improved, 
>>>>> I definitely agree with that one !
>>>>>
>>>>
>>>> Freely available iso asis spec would help here.
>>> Actually, it is. Apart from ISO verbiage, all the interesting parts 
>>> of the ASIS standard is put as comments in the corresponding ASIS 
>>> packages.
>>>
>>> Moreover, AdaCore kept this good habit for all the newly introduced 
>>> features that support up to Ada 2012, which would make retrofitting 
>>> them into an updated ASIS standard quite easy.
>>>
>>
>> Are they gpl'd?
> Yes. Here is a copy of the copyright notice of every ASIS module:

And that's an issue, why not release them PD or BSD? I've seen the asis 
specs before and I'm certain they are not GPL'd, just like the packages 
in the Ada RM.