Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Announce: Schoca-0.2.3 released
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-10-25 (06:09)
From: Jacques Garrigue <garrigue@m...>
Subject: Re: [Caml-list] Announce: Schoca-0.2.3 released
From: David Brown <>
> > On the other hand, there should be no problem loading manually a
> > GPL library in the toplevel, or building such a toplevel privately.
> > (At least I believe so, but questions of dynamic loading are the
> > muddiest part of the GPL and the QPL.)
> The GPL only coveres distribution, not execution.  GPL code can be linked
> with even proprietary code as long as the result isn't distributed at all.

That's why I call it muddy. The FSF (who wrote the GPL) insists that
dynamic linking creates a derivative work, while in that case the
linking only occurs at execution. And this makes sense, because
otherwise the GPL would say nothing more than the LGPL.
Now, it could be argued that when you load code into the toplevel,
this is not the toplevel that is using the code (it has no dependency
on it). But this kind of argument can turn very subjective.

Note also that the above problem is between the GPL and the QPL, which
includes its own requirements.
If you distribute a small modification of a GPLed library that uses some
functions of the toplevel, but only when you link it with the
toplevel, then (incompatible) requirements of both the GPL and the QPL
will apply to this code. Confusing.

Jacques Garrigue

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: