[Bug 435299] Review Request: ocaml-pa-monad - OCaml syntax extension for monads

[bugzilla at redhat.com]

Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug report.

Summary: Review Request: ocaml-pa-monad - OCaml syntax extension for monads


https://bugzilla.redhat.com/show_bug.cgi?id=435299





------- Additional Comments From rjones at redhat.com  2008-05-13 03:22 EST -------
Naming: Neither GODI nor Debian have packaged this one, so I think
we can just leave it as it is for now.

Linking exception:
In fact the linking exception, or lack of it, makes little difference to OCaml.

What it does is allows you to get out of part of section 6 of LGPLv2.
http://www.gnu.org/licenses/old-licenses/lgpl-2.1.html

Section 6 as a whole allows proprietary software authors to use LGPL'd libraries,
but requires them to provide their program as linkable objects "so that the user
can modify the Library and then relink to produce a modified executable
containing the modified Library".

The ability to relink makes no sense in OCaml programs because the type system
would prevent any conceivable library modification, so proprietary
software authors are exempt from the provision to provide linkable objects
by the linking exception.

So note: (a) It only applies to proprietary software authors, (b) it is an extra
permission, making the license more permissive than LGPL.

If an OCaml library came without the linking exception, all this would mean
is that proprietary software authors would have to provide useless linkable
objects with their binaries.

Syntax extensions are in any case only used at compile time (they get linked
into the compiler) so they don't appear in the output binary.  (Although most
syntax extensions also come with a runtime library).

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.