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:16:22 +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:16:21 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="60a03c73f1a7f39b08d86ee5b7db1c45"; logging-data="23873"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19cU5R32SETMUUqwHp4CBoR" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 Cancel-Lock: sha1:jMIPRHnRdI29Hse7DMdsSgNTOA4= In-Reply-To: Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:62887 List-Id: Le 30/09/2021 à 09:53, Luke A. Guest a écrit : > > On 30/09/2021 07:23, J-P. Rosen wrote: > >>> 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 and where are they? You can find them in the specifications of the various packages, with sentinels (as indicated in my previous message). Another excerpt: -- Suggestions related to changing this specification to accept new Ada -- features as defined in incoming revision of the Ada Standard (ISO 8652) -- are marked by following comment sentinels: -- -- --|A2005 start -- ... the suggestion goes here ... -- --|A2005 end -- -- and the discussion items are marked by the comment sentinels of teh form: -- -- --|D2005 start -- ... the discussion item goes here ... -- --|D2005 end (and the same goes for 2012). -- 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