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=0.0 required=3.0 tests=BAYES_20,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Received: by 2002:aed:3048:: with SMTP id 66mr22554020qte.326.1593578807686; Tue, 30 Jun 2020 21:46:47 -0700 (PDT) X-Received: by 2002:a9d:2031:: with SMTP id n46mr21578748ota.16.1593578807340; Tue, 30 Jun 2020 21:46:47 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!tr1.eu1.usenetexpress.com!feeder.usenetexpress.com!tr3.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 30 Jun 2020 21:46:47 -0700 (PDT) In-Reply-To: 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> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada on Apple's new procesors From: Optikos Injection-Date: Wed, 01 Jul 2020 04:46:47 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:59280 List-Id: On Tuesday, June 30, 2020 at 5:40:13 PM UTC-5, Simon Wright wrote: > Optikos writes: >=20 > > By that point, there should be a strong track record of technical > > knowledge regarding Apple's bitcode submission policies to the App > > Store to relay to the attorneys so that they can simply turn the legal > > crank to make a decision/adjustments of whether/how GNAT-LLVM is to > > transition out of experimental status. >=20 > I'd have thought that AdaCore's response to this idea would be to ask > where you got the idea that iOS & the App Store would feature as a > candidate target. Gee, either a) we all concurrently pulled it out of thin air via overactive imagination= as you imply, or b) the following extant events & facts transpired: At least an engineer at AdaCore (if not AdaCore speaking as an organization= ) wrote the following on the GNAT-LLVM repository's README.md: =E2=80=9C[GNAT-LLVM] is a work-in-progress research project that's not mean= t for and shouldn't be used for industrial purposes. It's meant to show the= feasibility of generating LLVM =E2=80=A2=E2=80=A2bitcode=E2=80=A2=E2=80=A2= for Ada.=E2=80=9D (emphasis added) LLVM.org did not organically produce bitcode out of their own volition. Bi= tcode was Apple's idea, Apple's design, contributed by Apple to benefit pri= marily Apple as a strategic technology to facilitate Apple's OS-optimizatio= n & processor-switcheroo goals without Apple begging all app developers to = resubmit a plethora of minor-variation apps every time Apple has a bright i= dea or Big New Thing. So when GNAT-LLVM's README.md is explicitly calling = out bitcode emission as the A#1 top-priority reason for GNAT-LLVM to exist,= by using that very term bitcode, it is quite clear that the intended readi= ng of README.md is referring to the Apple-Apple-Appleness of bitcode since = bitcode was announced at Apple's Worldwide Developer Conference in June 201= 5 as a key technology related to App Store submission and downstream propri= etary processing by Apple post-submission: https://TheNextWeb.com/apple/2015/06/17/apples-biggest-developer-news-at-ww= dc-that-nobodys-talking-about-bitcode