[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--