Re: Ada to Ada Translator ?

[Simon Wright <simon@pushface.org>]

Optikos <optikos@verizon.net> writes:

> On Wednesday, May 22, 2019 at 1:59:57 AM UTC-5, Simon Wright wrote:
>> Optikos writes:
>> 
>> > 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.
>> 
>> 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.

Your argument boils down to "if a implies x then b implies x" which is,
as stated, rubbish.

>> Anyway, no point in discussing this further since neither of us is a
>> lawyer.
>
> Not where I live.  Each citizen (who is not a mentally impaired person
> who has been declared wards of the state) is expected to read each
> contract with comprehension to reach full understanding.  You can bury
> your head under the sand as an ostrich, but I am not allowed to under
> the (Texas) system of law in which I live.

If I sign a contract, then in most cases UK law will hold me to it even
if I didn't read it.

Which is much the same as your system in practice; if you're going to
sign a contract, get a real lawyer who does know what they're doing to
check it over first. What do you do when you're buying a house? "read
[the] contract with comprehension to reach full understanding" and then
go ahead and sign without further ado?