From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: How to challenge a GCC patch?
Date: Thu, 30 Sep 2021 09:28:44 +0100 [thread overview]
Message-ID: <sj3si9$1fh8$2@gioia.aioe.org> (raw)
In-Reply-To: sj3rol$na1$2@dont-email.me
On 30/09/2021 09:16, 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:
>>
>>>> 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).
>
I wanted to know where they are. I once found the entire directory of
asis specs from the iso doc, I think I have them somewhere still.
Where are the updated ones for post 95? There should be archive or
directory with them with no restrictive licensing comments.
next prev parent reply other threads:[~2021-09-30 8:28 UTC|newest]
Thread overview: 52+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-09-27 10:06 How to challenge a GCC patch? J-P. Rosen
2021-09-27 11:23 ` Stéphane Rivière
2021-09-27 14:18 ` J-P. Rosen
2021-09-28 7:38 ` Arnaud Charlet
2021-09-29 16:26 ` Stéphane Rivière
2021-09-29 19:04 ` Emmanuel Briot
2021-09-29 23:29 ` Luke A. Guest
2021-09-30 6:23 ` J-P. Rosen
2021-09-30 7:53 ` Luke A. Guest
2021-09-30 8:13 ` J-P. Rosen
2021-09-30 8:26 ` Luke A. Guest
2021-09-30 10:54 ` J-P. Rosen
2021-09-30 12:27 ` Luke A. Guest
2021-09-30 15:25 ` J-P. Rosen
2021-10-01 0:37 ` Randy Brukardt
2021-10-01 0:33 ` Randy Brukardt
2021-10-01 0:30 ` Randy Brukardt
2021-10-01 9:41 ` J-P. Rosen
2021-10-02 9:14 ` Randy Brukardt
2021-10-04 12:30 ` J-P. Rosen
2021-10-14 1:48 ` Randy Brukardt
2021-10-14 6:09 ` J-P. Rosen
2021-09-30 7:53 ` Luke A. Guest
2021-09-30 8:16 ` J-P. Rosen
2021-09-30 8:28 ` Luke A. Guest [this message]
2021-09-30 10:56 ` J-P. Rosen
2021-09-30 12:27 ` Luke A. Guest
2021-09-30 15:28 ` J-P. Rosen
2021-09-30 6:19 ` J-P. Rosen
2021-10-01 0:18 ` Randy Brukardt
2021-10-01 9:24 ` J-P. Rosen
2021-10-02 9:34 ` Randy Brukardt
2021-10-04 12:26 ` J-P. Rosen
2021-10-14 1:40 ` Randy Brukardt
2021-10-14 6:04 ` J-P. Rosen
2021-09-30 5:57 ` J-P. Rosen
2021-09-30 7:29 ` Arnaud Charlet
2021-09-30 7:52 ` J-P. Rosen
2021-09-30 8:21 ` Arnaud Charlet
2021-10-01 9:56 ` J-P. Rosen
2021-10-01 12:29 ` J-P. Rosen
2021-09-30 8:28 ` Fabien Chouteau
2021-09-27 12:48 ` Simon Wright
2021-09-27 14:20 ` J-P. Rosen
2021-09-28 6:55 ` Emmanuel Briot
2021-09-30 6:44 ` J-P. Rosen
2021-09-29 8:58 ` nobody in particular
2021-09-29 9:34 ` Emmanuel Briot
2021-09-29 10:03 ` Simon Wright
2021-09-29 11:03 ` Luke A. Guest
2021-09-29 11:07 ` Simon Wright
2021-09-29 18:58 ` Andreas ZEURCHER
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox