Groups | Search | Server Info | Login | Register

Re: How to challenge a GCC patch?

From	"Randy Brukardt" <randy@rrsoftware.com>
Newsgroups	comp.lang.ada
Subject	Re: How to challenge a GCC patch?
Date	2021-09-30 19:37 -0500
Organization	JSA Research & Innovation
Message-ID	<sj5l8k$pkl$1@franka.jacob-sparre.dk> (permalink)
References	(7 earlier) <sj3qff$gcj$1@gioia.aioe.org> <sj3rk5$na1$1@dont-email.me> <sj3sdh$1fh8$1@gioia.aioe.org> <sj4519$rg0$1@dont-email.me> <sj4ahc$e05$1@gioia.aioe.org>

Show all headers | View raw

"Luke A. Guest" <laguest@archeia.com> wrote in message 
news:sj4ahc$e05$1@gioia.aioe.org...
> On 30/09/2021 11:54, J-P. Rosen wrote:
...
>> If you are talking about the official ASIS specs ("like the packages in 
>> the Ada RM"), they are part of an ISO standard, and as such under ISO 
>> copyright. However, in the case of APIs, ISO allows their use by any 
>> implementation (otherwise, they would be useless).
>
> Exactly, same as the ARM packages.

No, you can use RM packages because we've carefully kept the original 
copyrights and document intact; the ISO versions are *derived* from that 
document. When you are implementing Ada, you are using the packages from the 
RM, which have an appropriate exception.

That was not done for ASIS, and there is no appropriate exception to use the 
libraries. And surely not to copy the extensive comments along with the spec 
(even if you argue that fair use allows you to implement the spec -- and the 
Oracle case appears to have ruled that there is no such right -- you don't 
need to copy the comments that make up the bulk of the ASIS Standard).

                            Randy.

Back to comp.lang.ada | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-27 12:06 +0200
  Re: How to challenge a GCC patch? Stéphane Rivière <stef@genesix.org> - 2021-09-27 13:23 +0200
    Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-27 16:18 +0200
    Re: How to challenge a GCC patch? Arnaud Charlet <charlet@adacore.com> - 2021-09-28 00:38 -0700
      Re: How to challenge a GCC patch? Stéphane Rivière <stef@genesix.org> - 2021-09-29 18:26 +0200
        Re: How to challenge a GCC patch? Emmanuel Briot <briot.emmanuel@gmail.com> - 2021-09-29 12:04 -0700
          Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 00:29 +0100
            Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 08:23 +0200
              Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 08:53 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 10:13 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 09:26 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 12:54 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 13:27 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 17:25 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:37 -0500
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:33 -0500
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:30 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 11:41 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-02 04:14 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-04 14:30 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-13 20:48 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-14 08:09 +0200
              Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 08:53 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 10:16 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 09:28 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 12:56 +0200
                Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-30 13:27 +0100
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 17:28 +0200
          Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 08:19 +0200
            Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-09-30 19:18 -0500
              Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 11:24 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-02 04:34 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-04 14:26 +0200
                Re: How to challenge a GCC patch? "Randy Brukardt" <randy@rrsoftware.com> - 2021-10-13 20:40 -0500
                Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-14 08:04 +0200
      Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 07:57 +0200
        Re: How to challenge a GCC patch? Arnaud Charlet <charlet@adacore.com> - 2021-09-30 00:29 -0700
          Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 09:52 +0200
            Re: How to challenge a GCC patch? Arnaud Charlet <charlet@adacore.com> - 2021-09-30 01:21 -0700
              Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 11:56 +0200
              Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-10-01 14:29 +0200
            Re: How to challenge a GCC patch? Fabien Chouteau <fabien.chouteau@gmail.com> - 2021-09-30 01:28 -0700
  Re: How to challenge a GCC patch? Simon Wright <simon@pushface.org> - 2021-09-27 13:48 +0100
    Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-27 16:20 +0200
      Re: How to challenge a GCC patch? Emmanuel Briot <briot.emmanuel@gmail.com> - 2021-09-27 23:55 -0700
        Re: How to challenge a GCC patch? "J-P. Rosen" <rosen@adalog.fr> - 2021-09-30 08:44 +0200
      Re: How to challenge a GCC patch? nobody in particular <nobody@devnull.org> - 2021-09-29 08:58 +0000
        Re: How to challenge a GCC patch? Emmanuel Briot <briot.emmanuel@gmail.com> - 2021-09-29 02:34 -0700
        Re: How to challenge a GCC patch? Simon Wright <simon@pushface.org> - 2021-09-29 11:03 +0100
          Re: How to challenge a GCC patch? "Luke A. Guest" <laguest@archeia.com> - 2021-09-29 12:03 +0100
            Re: How to challenge a GCC patch? Simon Wright <simon@pushface.org> - 2021-09-29 12:07 +0100
      Re: How to challenge a GCC patch? Andreas ZEURCHER <ZUERCHER_Andreas@outlook.com> - 2021-09-29 11:58 -0700

csiph-web