comp.lang.ada
 help / color / mirror / Atom feed
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: New copying license for classes/modules: CGPL
Date: 1997/09/17
Date: 1997-09-17T00:00:00+00:00	[thread overview]
Message-ID: <dewar.874547577@merv> (raw)
In-Reply-To: 341EABAB.41C67EA6@eiffel.com



Bertrand said

<<As far as I understand the discussion, the problem will not
arise for Eiffel. The language is designed so that the code of
generic classes need not be duplicated for different
"generic derivations" of the same generic class
(i.e. different types obtained by providing different generic
parameters, as in LIST [BOAT] and LIST [PERSON]).
Our implementation, and I believe others too, indeed do not
duplicate the code in such cases. Nor is there any need to
"copy the code into your program".>>

I assume though that a good Eiffel compiler can most certainly inline
procedure bodies across file boundaries (or at least that the language
does not preclude this optimization), and this generates the same kind
of GPL licensing concerns as generic instantiation by copying (which is
after all just a form of inlining).





  parent reply	other threads:[~1997-09-17  0:00 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1997-09-13  0:00 New copying license for classes/modules: CGPL Wouter Scholten
1997-09-14  0:00 ` Robert Dewar
1997-09-16  0:00   ` Bertrand Meyer
1997-09-17  0:00     ` Robert Dewar
1997-09-17  0:00     ` Robert Dewar [this message]
1997-09-17  0:00     ` Joerg Rodemann
1997-09-17  0:00       ` Enforcing assertions in Eiffel Joachim Durchholz
1997-09-29  0:00         ` Joerg Rodemann
1997-09-30  0:00           ` Joachim Durchholz
1997-10-01  0:00             ` Jon S Anthony
1997-10-09  0:00               ` JOVIAL (J3) John R. Fluharty, Jr
1997-10-01  0:00           ` Enforcing assertions in Eiffel Morgan Palaeo Associates
1997-10-01  0:00             ` Joerg Rodemann
1997-10-01  0:00               ` W. Wesley Groleau x4923
replies disabled

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