From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pB9Cbwkw012418 for ; Fri, 9 Dec 2011 13:37:58 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhIBACQA4k7RVaE2kGdsb2JhbABDqnEIIgEBAQEJCQ0HFAQhgXIBAQEDARICLAEbHQEDAQsGBQsNLiIBEQEFARwGEwgSCIdlCJlGCotkgmuEVj2IcQIFDItmBJRwjXE9g3o X-IronPort-AV: E=Sophos;i="4.71,325,1320620400"; d="scan'208";a="122742883" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Dec 2011 13:37:52 +0100 Received: by faak28 with SMTP id k28so1158957faa.27 for ; Fri, 09 Dec 2011 04:37:52 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type:content-transfer-encoding; bh=pge5TGP6fjBPplo8J32XlAH3h+6oi9JIxwDJasjAHmk=; b=wcUn9x/noD+fiKuoxsIuHOhiho/mxXy7vptSv8guVUfBJuMGPTA4jezVXzZg8wEiNp I++zLOgj15uTx8ku33LYi60PYCBORwwzJRm9jfykMlCj6LSXgRcrL7BIFzkmnjp1xnH2 10IUMPlhw8p32niXPXPPcJGjNdEb5Uu66AmEQ= Received: by 10.180.4.37 with SMTP id h5mr10557769wih.45.1323434272239; Fri, 09 Dec 2011 04:37:52 -0800 (PST) MIME-Version: 1.0 Received: by 10.227.43.4 with HTTP; Fri, 9 Dec 2011 04:37:31 -0800 (PST) In-Reply-To: References: <20111209065758.94306.qmail@eeoth.pair.com> <4EE1BE59.4020804@glondu.net> From: Gabriel Scherer Date: Fri, 9 Dec 2011 13:37:31 +0100 Message-ID: To: Benedikt Meurer Cc: =?ISO-8859-1?Q?St=E9phane_Glondu?= , oleg@okmij.org, caml-list@inria.fr, ontologiae@gmail.com, caml@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id pB9Cbwkw012418 Subject: Re: [Caml-list] Why NOT to compile OCaml via C > You can follow the progress here: https://github.com/colinbenner/ocamlllvm Excellent! Just a few questions: - there are two different repos, ocamlllvm and ocaml-llvm (which has a commit history that make it looks like it is where the real development happen); which one should one follow? A wild guess after only a quick look is that the ocaml-llvm repo did not build upon your ocamlnat changes, and ocamllvm is about merging the changes on top of it; but I really have no idea. - you mention a "patched" LLVM; where can the patches be fetched? Do you plan to present changes in such a way that it can be submitted upstream? I think it is natural that you have to make changes to LLVM, the GHC people (which now have an experimental LLVM backend) also did, and I was under the impression that the LLVM people where quite welcoming of their changes, they are glad to see LLVM being used in a non-Clang-centric project. I think your patches could bring value to LLVM, independently of the success of the ambitious ocaml backend attempt. On Fri, Dec 9, 2011 at 1:08 PM, Benedikt Meurer wrote: > > On Dec 9, 2011, at 10:58 , Gabriel Scherer wrote: > >>> I find the idea of making ocamlopt a GCC (or >>> LLVM) frontend the most sensible and constructive one I've seen in these >>> discussions. >> >> I found back some of this links thanks to the excellent "OCaml Weekly >> News" summary: >>  http://alan.petitepomme.net/cwn/2011.08.02.html >> (Where Benedikt announces that he has a student working on an LLVM backend.) > > You can follow the progress here: https://github.com/colinbenner/ocamlllvm > > It does work for some simple examples already, but it's still very early prototype quality and requires a patched LLVM. LLVM as such is not a bad idea for the compiler backend, but getting things to work with stuff compiled by the regular OCaml backends is the difficult part. We'll see how that turns out. > >>> However, one barrier is the licensing: QPL is incompatible with almost >>> any license (even QT does no longer use it!). Has it ever been >>> considered to switch the "public" license to e.g. GPLv3 (which looks >>> constraining enough, and compatible with GCC)? >> >> Stéphane, I am surprised at how good your are at raising trollish topics ! > > I don't think it's a trollish topic raised by Stéphane. The QPL is a serious problem and I fear many of us may already already be violating the terms of the QPL, it would be nice to get rid of that issue at some point. The exact license (GPL, LGPL, MIT, BSD, Apache, ...) doesn't matter all that much, almost every other open source license is better than the QPL (just my 2c). > > Benedikt