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:a24:7c04:: with SMTP id a4mr9294427itd.138.1558531981703; Wed, 22 May 2019 06:33:01 -0700 (PDT) X-Received: by 2002:aca:a84d:: with SMTP id r74mr7157223oie.44.1558531981210; Wed, 22 May 2019 06:33:01 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!u76no2758ita.0!news-out.google.com!p73ni18itp.0!nntp.google.com!u76no2753ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 22 May 2019 06:33:00 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=47.185.234.171; posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo NNTP-Posting-Host: 47.185.234.171 References: <100ad407-090e-4316-9746-a4469568b53e@googlegroups.com> <477352cf-80d0-458c-b64a-4605557fef8f@googlegroups.com> <36cf3be3-0ab0-48d4-bffa-e49c624e73ff@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Ada to Ada Translator ? From: Optikos Injection-Date: Wed, 22 May 2019 13:33:01 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Xref: reader01.eternal-september.org comp.lang.ada:56368 Date: 2019-05-22T06:33:00-07:00 List-Id: On Wednesday, May 22, 2019 at 7:33:05 AM UTC-5, Simon Wright wrote: > Optikos writes: >=20 > > On Wednesday, May 22, 2019 at 1:59:57 AM UTC-5, Simon Wright wrote: > >> Optikos writes: > >>=20 > >> > Simon, if you are worried that modifying RLE-licensed files might > >> > cause the RLE to evaporate, then compiling them to object code and > >> > linking them as an executable also would cause the RLE to evaporate. > >>=20 > >> Rubbish. > > > > Excellent! We are making progress. Finally we agree that your > > unfounded fear is total rubbish. There is no way for the RLE to > > evaporate than to violate one one of the terms of the RLE or of the > > GPLv3. Modification of an RLE-licensed file is clearly not one of > > those violations. >=20 > Your argument boils down to "if a implies x then b implies x" which is, > as stated, rubbish. Your line of reasoning effectively boils down to =E2=80=98when an RLE+GPLv3= -licensed file is modified, the RLE can (under some interpretation) magical= ly dismantle itself in ways that are not overtly stated in the RLE and that= are not overtly stated in th GPLv3=E2=80=99. I use the if-fallacy-then-fa= llacy fallacy to be the proverbial flaw in the Persian rug so that you are = drawn into the conversation. Please quote from RLE+GPLv3 to find any suppo= rt whatsoever for your =E2=80=9Cmaybe not=E2=80=9D novel interpretation whe= re the RLE's Grant of Additional Permission can magically dismantle itself = if Patrick (or his code generator) simply performs maintenance transformati= ons of RLE-licensed source code (which would leave the RLE notification int= act, unlike AdaCore's removal of the RLE each release of GPL Community Edit= ion). Your =E2=80=9Cmaybe not=E2=80=9D is pure FUD. All that I am asking you to = do is quote snippets from RLE+GPLv3 to support your =E2=80=9Cmaybe not=E2= =80=9D line of reasoning. So far, you have not done so.