From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Received: by 2002:a37:68e:: with SMTP id 136mr24920411qkg.356.1593608129618; Wed, 01 Jul 2020 05:55:29 -0700 (PDT) X-Received: by 2002:aca:cd56:: with SMTP id d83mr15258560oig.157.1593608129271; Wed, 01 Jul 2020 05:55:29 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!usenet-fr.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 1 Jul 2020 05:55:28 -0700 (PDT) In-Reply-To: <7cfac8d2-7b24-4a32-86fd-d6c434e75f98o@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: google-groups.googlegroups.com; posting-host=47.185.233.35; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.35 References: <4d9fa282-830d-42f7-a3bf-ba127cb2ad06o@googlegroups.com> <8332f305-299f-45d7-9f9d-2cad924b24d8o@googlegroups.com> <9d941aca-2eb6-4f35-a346-c290c4666bdfo@googlegroups.com> <76def2a5-667c-4009-b3b9-f0cf1c13a51bo@googlegroups.com> <3b5b2360-684c-4149-8662-98b53319cf94o@googlegroups.com> <471e2c4a-192f-443d-8247-c06d56ab2092o@googlegroups.com> <9ea97f89-8912-4c59-a1c2-2aa71107902do@googlegroups.com> <7cfac8d2-7b24-4a32-86fd-d6c434e75f98o@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <260f79aa-8c0f-454a-b749-883c3d75e4c8o@googlegroups.com> Subject: Re: Ada on Apple's new procesors From: Optikos Injection-Date: Wed, 01 Jul 2020 12:55:29 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:59294 List-Id: On Wednesday, July 1, 2020 at 4:23:30 AM UTC-5, Fabien Chouteau wrote: > On Wednesday, July 1, 2020 at 6:46:48 AM UTC+2, Optikos wrote: > > On Tuesday, June 30, 2020 at 5:40:13 PM UTC-5, Simon Wright wrote: > > > Optikos writes: > > >=20 > > Gee, either > > a) we all concurrently pulled it out of thin air via overactive imagina= tion as you imply, > > or > > b) the following extant events & facts transpired: >=20 > The answer is a). >=20 > > it is quite clear that the intended reading of README.md is referring t= o the Apple-Apple-Appleness of bitcode since bitcode was announced at Apple= 's Worldwide Developer Conference in June 2015 as a key technology related = to App Store submission and downstream proprietary processing by Apple post= -submission: > >=20 >=20 > It seems like you focus too much on details of a simple README. In the desert, the only remaining single drop of water in the water-bottle = is all that there is to drink. > LLVM bitcode is sometimes used to talk about the general LLVM IR. >=20 > The example use case mentioned by the README are bringing more tooling to= the Ada ecosystem, for > instance with KLEE, or "connecting the GNAT front-end to the LLVM code ge= nerator". > > It took time and effort to publish GNAT-LLVM on GitHub, and AdaCore had a= bsolutely no obligation to do > so. To be honest, I am personally a bit disappointed to see such a long d= iscussion on what is allegedly > not possible to do with GNAT-LLVM (and was absolutely not possible before= anyway), rather than all the > possibilities that GNAT-LLVM opens. The reason for the long discussion is that there are 2 valid legal theories= in play, detailed in prior postings along this thread: 1) the Narrow legal theory (i.e., LLVM IR is merely RLE's assembly language= .) which permits the RLE's exception grant to proceed for the app, permitti= ng the app's license vast freedom to not be GPLv3 versus 2) the Wide legal theory (i.e., LLVM IR is RLE's IR due to both names liter= ally being IR.) which causes RLE's exception grant to be elided, reverting = the license of the app to pure GPLv3. If all members of the set {AdaCore, FSF, SFC, SFLC} were over the years to = have unanimously sided with just 1 of those 2 legal theories in a history o= f public statements, then this entire thread would have been quite short (o= r perhaps OP would never have been posted at all). Again people who are wa= lking in the desert diligently try to discern where water sources might or = might not be before walking that direction only to find the perceived shimm= ering pool of water a mirage. Better to expend a few words on c.l.a than t= o expend a few years in ill-fated software development on GNAT-LLVM-based a= pp development to learn the hard way if the Wide legal theory eventually pr= evails.