From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <David.Teller@univ-orleans.fr>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 711D0BBAF
	for <caml-list@yquem.inria.fr>; Mon,  6 Dec 2010 10:29:02 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApYEAKo7/EzCpx5egWdsb2JhbACjMRUBARYiIrxvghSDNQSOARo
X-IronPort-AV: E=Sophos;i="4.59,305,1288566000"; 
   d="scan'208";a="82064743"
Received: from sucre.univ-orleans.fr ([194.167.30.94])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 06 Dec 2010 10:29:02 +0100
Received: from localhost (localhost [127.0.0.1])
	by sucre.univ-orleans.fr (Postfix) with ESMTP id C3FC6943F8;
	Mon,  6 Dec 2010 10:28:59 +0100 (CET)
Received: from sucre.univ-orleans.fr ([127.0.0.1])
	by localhost (sucre.univ-orleans.fr [127.0.0.1]) (amavisd-new, port 10024)
	with ESMTP id HkvnAwgZ8W4y; Mon,  6 Dec 2010 10:28:59 +0100 (CET)
Received: from smtps.univ-orleans.fr (smtps.univ-orleans.fr [194.167.30.152])
	by sucre.univ-orleans.fr (Postfix) with ESMTP id A9114943E7;
	Mon,  6 Dec 2010 10:28:59 +0100 (CET)
Received: from [192.168.1.100] (unknown [213.144.210.93])
	by smtps.univ-orleans.fr (Postfix) with ESMTP id 9EB1E36E60;
	Mon,  6 Dec 2010 10:29:00 +0100 (CET)
Subject: Re: ocamlopt LLVM support (Was: [Caml-list] OCamlJIT2 vs. OCamlJIT)
Mime-Version: 1.0 (Apple Message framework v1082)
Content-Type: text/plain; charset=us-ascii
From: David Rajchenbach-Teller <David.Teller@univ-orleans.fr>
In-Reply-To: <4CB7EA68-E945-4EC4-9576-2EE75B3B9070@googlemail.com>
Date: Mon, 6 Dec 2010 10:28:58 +0100
Cc: caml-list@yquem.inria.fr
Content-Transfer-Encoding: quoted-printable
Message-Id: <5FFA72CF-0CB3-4AC5-A803-3C1219C9B194@univ-orleans.fr>
References: <3DCEA910-1382-47E5-876B-059178F8F82E@googlemail.com> <20101130124803.7952fca1@deb0> <D6C274D9-8A00-4D6F-936A-58206CA5D358@googlemail.com> <AANLkTi=Wu1SXVgQ+X0NECNx3oUsD=xEy-9Zq6T3ncJ+W@mail.gmail.com> <B8C055A1-2A67-4C7E-BF67-4A639619C4EB@wanadoo.fr> <0a8b01cb90da$da5e6240$8f1b26c0$@com> <5E2DA3F1-7998-4F62-B617-7B6451D1001D@googlemail.com> <0b3b01cb9161$a81c8e10$f855aa30$@com> <B965CE04-4059-421F-A8CD-EB178BF32D40@googlemail.com> <0b9301cb91a3$8f42fd60$adc8f820$@com> <AB3E2F68-0E5B-4B4F-A4F8-3C67BD6F598E@googlemail.com> <0cae01cb9325$a8ddc3d0$fa994b70$@com> <CC528935-50A4-4A94-849B-9DAD160D46A3@googlemail.com> <20101206093412.e2de2d5c.mle+ocaml@mega-nerd.com> <4CB7EA68-E945-4EC4-9576-2EE75B3B9070@googlemail.com>
To: Benedikt Meurer <benedikt.meurer@googlemail.com>
X-Mailer: Apple Mail (2.1082)
X-Spam: no; 0.00; ocamlopt:01 univ-orleans:01 ocaml's:01 ocaml:01 cheers:01 2.5:98 garbage:01 caml-list:01 correctly:04 exists:05 docs:07 recall:10 mostly:11 collector:12 however:13 

>=20
>>> 3. The current garbage collector is mostly straight-forward because =
of
>>=20
>> There is no need to use LLVM's GC if something better already exists.
>=20
> LLVM does not provide a GC.

True. However, if I recall correctly, it provides some facilities to use =
OCaml's own GC [1]

[1] http://llvm.org/releases/2.5/docs/GarbageCollection.html#ocaml .

Cheers,
 David=