comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: Ada to Ada Translator ?
Date: Sun, 19 May 2019 22:27:06 +0100
Date: 2019-05-19T22:27:06+01:00	[thread overview]
Message-ID: <lywoimyw2d.fsf@pushface.org> (raw)
In-Reply-To: 36cf3be3-0ab0-48d4-bffa-e49c624e73ff@googlegroups.com

Optikos <optikos@verizon.net> writes:

> The vastly more germane dicey question legally is whether Patrick's
> proposed generated Ada-to-Ada source code qualifies as Target Code
> (and thus gets to enjoy the Runtime Library Exception's generous
> nonGPL-license permissions for Target Code emitted from an Eligible
> Compilation Process) or whether it would be deemed the onerous
> intermediate representation that then decisively revokes the
> permissions of the Runtime Library Exception for any programmer using
> the ineligible Compilation Process.

Seems to me (but of course IANAL) that

   'The "Compilation Process" transforms code entirely represented in
   non-intermediate languages designed for human-written code, and/or in
   Java Virtual Machine byte code, into Target Code. Thus, for example,
   use of source code generators and preprocessors need not be
   considered part of the Compilation Process, since the Compilation
   Process can be understood as starting with the output of the
   generators or preprocessors.'
   
covers Patrick's scheme.

  reply	other threads:[~2019-05-19 21:27 UTC|newest]

Thread overview: 41+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2019-05-17 14:21 Ada to Ada Translator ? foo wong
2019-05-17 21:00 ` Simon Wright
2019-05-18 12:05   ` foo wong
2019-05-18 12:11     ` foo wong
2019-05-18 14:47     ` Simon Wright
2019-05-18 15:26       ` foo wong
2019-05-18 16:48         ` Simon Wright
2019-05-19 16:04         ` G.B.
2019-05-19 17:08           ` Simon Wright
2019-05-19 18:27             ` Optikos
2019-05-19 21:27               ` Simon Wright [this message]
2019-05-19 21:42               ` Simon Wright
2019-05-21 20:54                 ` Optikos
2019-05-22  6:59                   ` Simon Wright
2019-05-22 12:06                     ` Optikos
2019-05-22 12:33                       ` Simon Wright
2019-05-22 12:57                         ` foo wong
2019-05-22 15:24                           ` Shark8
2019-05-22 16:34                             ` Optikos
2019-05-22 20:07                               ` Randy Brukardt
2019-05-23  7:21                           ` G. B.
2019-05-22 13:33                         ` Optikos
2019-05-20 14:11         ` Optikos
2019-05-20 16:37           ` foo wong
2019-05-18 15:44       ` foo wong
2019-05-18 16:49         ` Simon Wright
2019-05-19 15:04         ` G.B.
2019-05-19 12:41 ` Optikos
2019-05-19 17:38   ` foo wong
2019-05-19 22:52   ` foo wong
2019-05-20 23:19   ` Randy Brukardt
2019-05-21  0:13     ` Optikos
2019-05-21 22:15       ` Randy Brukardt
2019-05-22  0:16         ` Optikos
2019-05-22 20:16           ` Randy Brukardt
2019-05-22 23:27             ` foo wong
2019-05-23  7:56               ` Simon Wright
2019-05-23 12:29                 ` foo wong
2019-05-21 22:20       ` Randy Brukardt
2019-05-21  0:17     ` Optikos
2019-05-22 18:49 ` Optikos
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox