From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 406DFBC69 for ; Sun, 5 Aug 2007 13:45:04 +0200 (CEST) Received: from smtp.syd.people.net.au (smtp.syd.people.net.au [218.214.225.98]) by concorde.inria.fr (8.13.6/8.13.6) with SMTP id l75Bj12I030145 for ; Sun, 5 Aug 2007 13:45:03 +0200 Received: (qmail 18185 invoked from network); 5 Aug 2007 11:45:16 -0000 Received: from unknown (HELO hendrix.mega-nerd.net) (218.214.64.136) by smtp.syd.people.net.au with SMTP; 5 Aug 2007 11:45:16 -0000 Received: from hendrix (hendrix [192.168.200.99]) by hendrix.mega-nerd.net (Postfix) with SMTP id ED6CE300F0 for ; Sun, 5 Aug 2007 21:44:59 +1000 (EST) Date: Sun, 5 Aug 2007 21:44:59 +1000 From: Erik de Castro Lopo To: caml-list@inria.fr Subject: Re: [Caml-list] Sorted list Message-Id: <20070805214459.c676d93a.mle+ocaml@mega-nerd.com> In-Reply-To: <200708050247.34512.jon@ffconsultancy.com> References: <46B4485B.7040406@menta.net> <1186242141.11801.10.camel@rosella.wigram> <20070804173517.GA24131@jiyu.gnu> <200708050247.34512.jon@ffconsultancy.com> Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed 2.3.1 (GTK+ 2.10.11; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 46B5B83D.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 iterative:01 lgpl:01 compiler:01 compiler:01 mutable:01 royalty-free:98 garbage:01 wrote:01 compilers:01 exception:01 caml-list:01 caml:02 caml:02 Jon Harrop wrote: > I believe we are all free to fork OCaml, create a new open source project and > begin our own iterative improvements to it. Forking the library is ok, because it is licensed LGPL with the linking exception. No problem there. The Ocaml compiler is quite another matter. From this page: http://caml.inria.fr/pub/old_caml_site/ocaml/LICENSE.html "The compilers and tools (all other directories in the source distribution) are distributed under the terms of the Q Public License version 1.0." which then links to this page: http://trolltech.com/products/qt/licenses/licensing/qpl which contains a section 3 as follows: 3. You may make modifications to the Software and distribute your modifications, in a form that is separate from the Software, such as patches. The following restrictions apply to modifications: a. Modifications must not alter or remove any copyright notices in the Software. b. When modifications to the Software are released under this license, a non-exclusive royalty-free right is granted to the initial developer of the Software to distribute your modification in future versions of the Software provided such versions remain available under these terms in addition to any other license(s) of the initial developer. Distributing modifications to the compiler in the form of patches is a bit of a PITA. Erik -- ----------------------------------------------------------------- Erik de Castro Lopo ----------------------------------------------------------------- "Mutable state is actually another form of manual memory management: every time you over-write a value you are making a decision that the old value is now garbage, regardless of what other part of the program might have been using it." -- Paul Johnson