Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

<moshez> ok, I will not marry Jo-Con-El's cow.


devel / comp.lang.ada / Re: How to challenge a GCC patch?

SubjectAuthor
* How to challenge a GCC patch?J-P. Rosen
+* Re: How to challenge a GCC patch?Stéphane Rivière
|+- Re: How to challenge a GCC patch?J-P. Rosen
|`* Re: How to challenge a GCC patch?Arnaud Charlet
| +* Re: How to challenge a GCC patch?Stéphane Rivière
| |`* Re: How to challenge a GCC patch?Emmanuel Briot
| | +* Re: How to challenge a GCC patch?Luke A. Guest
| | |`* Re: How to challenge a GCC patch?J-P. Rosen
| | | +* Re: How to challenge a GCC patch?Luke A. Guest
| | | |`* Re: How to challenge a GCC patch?J-P. Rosen
| | | | +* Re: How to challenge a GCC patch?Luke A. Guest
| | | | |`* Re: How to challenge a GCC patch?J-P. Rosen
| | | | | +* Re: How to challenge a GCC patch?Luke A. Guest
| | | | | |+- Re: How to challenge a GCC patch?J-P. Rosen
| | | | | |`- Re: How to challenge a GCC patch?Randy Brukardt
| | | | | `- Re: How to challenge a GCC patch?Randy Brukardt
| | | | `* Re: How to challenge a GCC patch?Randy Brukardt
| | | |  `* Re: How to challenge a GCC patch?J-P. Rosen
| | | |   `* Re: How to challenge a GCC patch?Randy Brukardt
| | | |    `* Re: How to challenge a GCC patch?J-P. Rosen
| | | |     `* Re: How to challenge a GCC patch?Randy Brukardt
| | | |      `- Re: How to challenge a GCC patch?J-P. Rosen
| | | `* Re: How to challenge a GCC patch?Luke A. Guest
| | |  `* Re: How to challenge a GCC patch?J-P. Rosen
| | |   `* Re: How to challenge a GCC patch?Luke A. Guest
| | |    `* Re: How to challenge a GCC patch?J-P. Rosen
| | |     `* Re: How to challenge a GCC patch?Luke A. Guest
| | |      `- Re: How to challenge a GCC patch?J-P. Rosen
| | `* Re: How to challenge a GCC patch?J-P. Rosen
| |  `* Re: How to challenge a GCC patch?Randy Brukardt
| |   `* Re: How to challenge a GCC patch?J-P. Rosen
| |    `* Re: How to challenge a GCC patch?Randy Brukardt
| |     `* Re: How to challenge a GCC patch?J-P. Rosen
| |      `* Re: How to challenge a GCC patch?Randy Brukardt
| |       `- Re: How to challenge a GCC patch?J-P. Rosen
| `* Re: How to challenge a GCC patch?J-P. Rosen
|  `* Re: How to challenge a GCC patch?Arnaud Charlet
|   `* Re: How to challenge a GCC patch?J-P. Rosen
|    +* Re: How to challenge a GCC patch?Arnaud Charlet
|    |+- Re: How to challenge a GCC patch?J-P. Rosen
|    |`- Re: How to challenge a GCC patch?J-P. Rosen
|    `- Re: How to challenge a GCC patch?Fabien Chouteau
`* Re: How to challenge a GCC patch?Simon Wright
 `* Re: How to challenge a GCC patch?J-P. Rosen
  +* Re: How to challenge a GCC patch?Emmanuel Briot
  |`- Re: How to challenge a GCC patch?J-P. Rosen
  +* Re: How to challenge a GCC patch?nobody in particular
  |+- Re: How to challenge a GCC patch?Emmanuel Briot
  |`* Re: How to challenge a GCC patch?Simon Wright
  | `* Re: How to challenge a GCC patch?Luke A. Guest
  |  `- Re: How to challenge a GCC patch?Simon Wright
  `- Re: How to challenge a GCC patch?Andreas ZEURCHER

Pages:123
Re: How to challenge a GCC patch?

<sk8h98$lp4$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6169&group=comp.lang.ada#6169

  copy link   Newsgroups: comp.lang.ada
Path: rocksolid2!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ros...@adalog.fr (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
Lines: 28
Message-ID: <sk8h98$lp4$1@dont-email.me>
References: <sis53t$du1$1@dont-email.me> <sis9jq$esi$1@dont-email.me>
<d8844cde-babd-42ad-ba03-d4b30883f66en@googlegroups.com>
<sj242s$ptk$1@dont-email.me>
<d1be0d32-e153-42ad-8b78-eec6b6fda07en@googlegroups.com>
<sj3ktk$emb$1@dont-email.me> <sj5k3u$p85$1@franka.jacob-sparre.dk>
<sj6k41$7i4$1@dont-email.me> <sj9937$ten$1@franka.jacob-sparre.dk>
<sjerti$5s1$1@dont-email.me> <sk81qr$tme$1@franka.jacob-sparre.dk>
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: <sk81qr$tme$1@franka.jacob-sparre.dk>
Content-Language: fr
 by: J-P. Rosen - Thu, 14 Oct 2021 06:04 UTC

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

Re: How to challenge a GCC patch?

<sk8hik$qvm$1@dont-email.me>

  copy mid

https://www.novabbs.com/devel/article-flat.php?id=6170&group=comp.lang.ada#6170

  copy link   Newsgroups: comp.lang.ada
Path: rocksolid2!i2pn.org!eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: ros...@adalog.fr (J-P. Rosen)
Newsgroups: comp.lang.ada
Subject: Re: How to challenge a GCC patch?
Date: Thu, 14 Oct 2021 08:09:26 +0200
Organization: Adalog
Lines: 19
Message-ID: <sk8hik$qvm$1@dont-email.me>
References: <sis53t$du1$1@dont-email.me> <sis9jq$esi$1@dont-email.me>
<d8844cde-babd-42ad-ba03-d4b30883f66en@googlegroups.com>
<sj242s$ptk$1@dont-email.me>
<d1be0d32-e153-42ad-8b78-eec6b6fda07en@googlegroups.com>
<sj2suk$veb$1@gioia.aioe.org> <sj3l4m$fvj$1@dont-email.me>
<sj3qff$gcj$1@gioia.aioe.org> <sj3rk5$na1$1@dont-email.me>
<sj5kqb$pel$1@franka.jacob-sparre.dk> <sj6l3g$f9g$1@dont-email.me>
<sj97uj$t25$1@franka.jacob-sparre.dk> <sjes64$79r$1@dont-email.me>
<sk828s$u0c$1@franka.jacob-sparre.dk>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 14 Oct 2021 06:09:24 -0000 (UTC)
Injection-Info: reader02.eternal-september.org; posting-host="1ae8a5f41f5c99d658ed46c6120f5491";
logging-data="27638"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+JVNpC4RC8ywHjP60rWALm"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101
Thunderbird/78.14.0
Cancel-Lock: sha1:x00c3ihWgskmVHf6J74vkNRFR4I=
In-Reply-To: <sk828s$u0c$1@franka.jacob-sparre.dk>
Content-Language: fr
 by: J-P. Rosen - Thu, 14 Oct 2021 06:09 UTC

Le 14/10/2021 à 03:48, Randy Brukardt a écrit :
> It's my (semi-informed) opinion that API Standards are useless, because you
> have to violate the ISO copyright to use them (or buy a license).
Standards are meant to be used. Therefore my not-better-informed opinion
is that the problem has been addressed by ISO, with a decision that
APIs, as defined in the standard, can be used.

> Exactly. Someone copied 90% of the ASIS standard without permission, and
> *that* is what you are using. And that is depriving ISO of possible revenue.
Not at all. The exact specification of ASIS packages is part of the
standard, including comments. And this standard has been approved by
ISO, with comments.

--
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


devel / comp.lang.ada / Re: How to challenge a GCC patch?

Pages:123
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor