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=-2.9 required=3.0 tests=BAYES_00,NICE_REPLY_A autolearn=ham autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail From: "J-P. Rosen" Newsgroups: comp.lang.ada Subject: Re: How to challenge a GCC patch? Date: Thu, 30 Sep 2021 10:13:58 +0200 Organization: Adalog Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 30 Sep 2021 08:13:57 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="60a03c73f1a7f39b08d86ee5b7db1c45"; logging-data="23873"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/hBaJWy9XpvcExrnY+7A2e" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 Cancel-Lock: sha1:74CWdKfmGqVE3rOPSxwuAr19Y0k= In-Reply-To: Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:62886 List-Id: 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: -- This specification is adapted from the Ada Semantic Interface -- -- Specification Standard (ISO/IEC 15291) for use with GNAT. In accordance -- -- with the copyright of that document, you can freely copy and modify this -- -- specification, provided that if you redistribute a modified version, any -- -- changes that you have made are clearly indicated. -- -- -- -- This specification also contains suggestions and discussion items -- -- related to revising the ASIS Standard according to the changes proposed -- -- for the new revision of the Ada standard. The copyright notice above, -- -- and the license provisions that follow apply solely to these suggestions -- -- and discussion items that are separated by the corresponding comment -- -- sentinels -- -- -- -- ASIS-for-GNAT is free software; you can redistribute it and/or modify it -- -- under terms of the GNU General Public License as published by the Free -- -- Software Foundation; either version 2, or (at your option) any later -- -- version. ASIS-for-GNAT is distributed in the hope that it will be use- -- -- ful, but WITHOUT ANY WARRANTY; without even the implied warranty of MER- -- -- CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General -- -- Public License for more details. You should have received a copy of the -- -- GNU General Public License distributed with ASIS-for-GNAT; see file -- -- COPYING. If not, write to the Free Software Foundation, 51 Franklin -- -- Street, Fifth Floor, Boston, MA 02110-1301, USA. -- -- J-P. Rosen Adalog 2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX Tel: +33 1 45 29 21 52 https://www.adalog.fr