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 08:23:17 +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 06:23:18 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="7d29f4097bec0e630d98e9ca211f2b2a"; logging-data="16371"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+lxt7qhOpuESFo1anE4Yh0" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 Cancel-Lock: sha1:/6qPVDLnM+VauvFzohG3xs6zM7Q= In-Reply-To: Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:62877 List-Id: 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. -- 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