From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 2002:a6b:ed17:: with SMTP id n23-v6mr2756544iog.38.1526833095511; Sun, 20 May 2018 09:18:15 -0700 (PDT) X-Received: by 2002:aca:d415:: with SMTP id l21-v6mr1127979oig.1.1526833095354; Sun, 20 May 2018 09:18:15 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!border1.nntp.ams1.giganews.com!nntp.giganews.com!feeds.phibee-telecom.net!newsfeed.xs4all.nl!newsfeed9.news.xs4all.nl!85.12.16.69.MISMATCH!peer02.ams1!peer.ams1.xlned.com!news.xlned.com!peer02.am4!peer.am4.highwinds-media.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!v8-v6no3726183itc.0!news-out.google.com!f20-v6ni4150itd.0!nntp.google.com!u74-v6no3684779itb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 20 May 2018 09:18:15 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.233.194; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.233.194 References: <65d93062-f55d-435f-a099-3c8ee75f2705@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <76f63959-e26a-407e-a029-b13fd12540d3@googlegroups.com> Subject: Re: Is this Forum Moderated? From: "Dan'l Miller" Injection-Date: Sun, 20 May 2018 16:18:15 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 4399 X-Received-Body-CRC: 1704289517 Xref: reader02.eternal-september.org comp.lang.ada:52504 Date: 2018-05-20T09:18:15-07:00 List-Id: On Sunday, May 20, 2018 at 9:42:59 AM UTC-5, Simon Wright wrote: > patrick writes: >=20 > > Would it also make sense to copy over the FSF version and start some > > community development of it? There seems to be a fair amount of > > grumbling about Adacore these days. >=20 > One could just fork https://github.com/gcc-mirror/gcc/ (usually only a > few minutes behind the main SVN repo). >=20 > Best of luck with that. It could be accomplished quite easily quite mechanically with low drama: If the fork were done with a single laser-precise reason (e.g., to write an= LLVM alternative to GIGI), then a very clean interface could be the very p= recise dotted line to cut along for a Leskov-Substitution-Principle drop-in= of something new into GNAT (e.g., an LLVM alternative to GIGI). Over alon= g the threads of =E2=80=9Cdisruptors of & inventory of Ada compilers and la= test their era of ISO8652 compliance=E2=80=9D, I proposed the name GigiEmit= tingLLVM as the name of the project. (Because GigiEmittingLLVM has so many= syllables, I squinted at it and said it 10 times fast to come up with a cl= ipped-form nickname: GiggleVM. For people who don't enjoy injecting a lit= tle humor into their lives, I suppose it could be an initialism for GIGI Em= its LLVM IR [GELI], pronounced jelly.) If the fork of GCC GitHub were utilized for an LLVM alternative to GIGI (an= d thus to the entire backend of GNAT), this technique would not need to be = terribly messy (as long as DragonEgg's metastasizing-design mistakes were a= ll avoided). All of GCC (and thus GNAT) could be merged in en masse. All = of LLVM could be merged in en masse. If this fork didn't even fix GCC bugs= and didn't even fix LLVM bugs, then the merge conflicts could be near zero= for both GCC rebasing and LLVM rebasing. If the LSP interface were the it= erator/cursor that walks the fully-semantically-adorned GNAT IR tree (leavi= ng all of GIGI itself untouched), then the only churn that would cause batt= le-royale merge conflicts would be changes to this iterator/cursor interfac= e itself. (New semantic adornments to the GNAT IR tree do not fall into th= is category; they are just more new-development new-feature-set new-bug-fix= work on the GNAT-IR-to-LLVM-IR-GiggleVM/GELI's to-do list.) There is a fair chance that LLVM already has all the primitives needed to e= xpress every conceivable Ada construct and semantics. (GNAT didn't have t= o extend GCC's C IR very much over all these years; there have been 10 tree= types added to GCC's C IR for Ada topics, and even 6 of those have varying= degrees of =E2=80=98it never actually shows up in the tree downstream from= GIGI=E2=80=99.) The modus operandi for DragonEgg was apparently =E2=80=98metastasize like c= ancer=E2=80=99. The modus operandi for GELI (or GiggleVM or whatever it wo= uld be called) would be precision laser-cut at the iterator/cursor that wal= ks GNAT's fully-semantically-adorned Ada IR tree. That way, GELI wouldn't = need much =E2=80=9Cgood luck with that=E2=80=9D.