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, 14 Oct 2021 08:04:26 +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, 14 Oct 2021 06:04:24 -0000 (UTC) Injection-Info: reader02.eternal-september.org; posting-host="1ae8a5f41f5c99d658ed46c6120f5491"; logging-data="22308"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18yI+M1XTSbkKNqN70Tq/gR" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.14.0 Cancel-Lock: sha1:J13uRFE1TczfjAY9DQyH2/fcWec= In-Reply-To: Content-Language: fr Xref: reader02.eternal-september.org comp.lang.ada:62995 List-Id: Le 14/10/2021 à 03:40, Randy Brukardt a écrit : > The semantics, of course. You have a list of entities in a scope. The only > interesting thing from the source code is the line/position of the > declaration and/or use. The details of the source are irrelevant (such as > whether optional keywords are given). > [...] > You have to keep nonsense such as whether someone specified > "in" or a matching id after "end". If you want to write a program that checks coding standards, you need that information, since these are often requires > On the rest, we're going to agree to disagree. Don't expect any support from > me for doing anything with ASIS in the ARG. I understand that the structure of Janus makes it inappropriate to support ASIS, which is quite understandable given the initial constraints of the project. But the ARG is in charge of supporting Ada, not the interests of a particular compiler (and this is also directed to Gnat, of course). -- 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