[MLton] MLton rules! (was: filedes = int)
skaller
skaller@users.sourceforge.net
Tue, 19 Jul 2005 09:10:34 +1000
--=-zTk4KOdEiouFXM8FSAsj
Content-Type: text/plain
Content-Transfer-Encoding: quoted-printable
On Mon, 2005-07-18 at 15:10 -0500, Henry Cejtin wrote:
> Given that GMP is under the LGPL, is that really a problem?=20
In the compiler for use by the compiler no, GPL is fine,
because it is isolated to the tool, which isn't (usually)
deployed to end users.
> Mind you,
> personally I very much like the GPL for many many things, but the LGPL is=
,
> sadly, probably better for many libraries. I really am curious if the
> LGPL is causing you some real problem.
Yes. I cannot allow any LGLP or GPL code in my project
as source, and the binaries must be fully unencumbered:
both source and binary must be free for any use,
including use in proprietary systems.
With Ocaml, the libraries and runtime are LGLPX,
where the 'X' means that when I link my own code
to the library, the library gives up its licence
and becomes entirely unencumbered: that is,
the result after the linking is a derived work,
but the licence specifically releases that work
from all constraints.
--=20
John Skaller <skaller at users dot sourceforge dot net>
--=-zTk4KOdEiouFXM8FSAsj
Content-Type: application/pgp-signature; name=signature.asc
Content-Description: This is a digitally signed message part
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.5 (GNU/Linux)
iD8DBQBC3DbosRp8/9aGVGsRAoKtAJ9tXz6jntI8dmK0tWCoMj0+5jKgEgCeM8vF
mBXCBx/OuOY4nH2UqkQnvzY=
=cwlZ
-----END PGP SIGNATURE-----
--=-zTk4KOdEiouFXM8FSAsj--