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=-0.9 required=3.0 tests=BAYES_00,XPRIO autolearn=no autolearn_force=no version=3.4.6 Path: eternal-september.org!reader02.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: How to challenge a GCC patch? Date: Thu, 30 Sep 2021 19:30:03 -0500 Organization: JSA Research & Innovation Message-ID: References: Injection-Date: Fri, 1 Oct 2021 00:30:04 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="26069"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Response X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:62906 List-Id: "J-P. Rosen" wrote in message news:sj3rk5$na1$1@dont-email.me... ... > -- This specification is adapted from the Ada Semantic > Interface -- > -- Specification Standard (ISO/IEC 15291) for use with GNAT. In > accordance -- > -- with the copyright of that document, you can freely copy and modify > this -- > -- specification, provided that if you redistribute a modified version, > any -- > -- changes that you have made are clearly > -- Umm, someone is confusing the original ASIS drafts with the ISO Standard (which has an ISO copyright with no exceptions). I would definitely not reference the ISO Standard in anything you are freely giving away -- there are copyright trolls out there that could easily decide to get your material banned from the Internet. For Ada, we are very carefully keeping the Ada Reference Manual as a separate document from the ISO Standard, so that the Ada RM has the permissive copyright while the ISO Standard for Ada definitely does not. These are not the same thing! That care was not taken for the ASIS Standard; I know of no public version that was maintained. As such, my opinion is that ISO owns the copyright, and any extensive use (like using all of the specs) would require a license from ISO. This is by far the best reason for abandoning ASIS - I don't believe that you can implement it without getting a license from ISO (since the bulk of the ASIS Standard is Ada specifications, you are using too much to fall under fair use). This is one reason that I would never consider implementing ASIS in Janus/Ada. >> 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. It's only easy if you think that giving AdaCore's work to ISO under the exclusive copyright that they (ISO) will insist on is something that is legally and ethically appropriate. You need to come to grips with the reality that ASIS is dead. It's legally dangerous to implement it, it isn't a good match for either syntax or semantic analysis (doing neither very well), and it is poor match for modern compilers (hardly anyone builds trees much like the ASIS ones, unless you are trying to implement ASIS). Randy.