From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathandeanharrop@googlemail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 39C46BC57
	for <caml-list@yquem.inria.fr>; Sun, 12 Dec 2010 23:05:55 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aq0AAFPWBE1KfVK2kGdsb2JhbACDXJMpjHkIFQEBAgkJDAcRBCWnN4k0glQBBYxwAQSBIYM1dA
X-IronPort-AV: E=Sophos;i="4.59,333,1288566000"; 
   d="scan'208";a="83627029"
Received: from mail-wy0-f182.google.com ([74.125.82.182])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Dec 2010 23:05:55 +0100
Received: by wyf19 with SMTP id 19so5492968wyf.27
        for <caml-list@inria.fr>; Sun, 12 Dec 2010 14:05:54 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:cc:references
         :in-reply-to:subject:date:organization:message-id:mime-version
         :content-type:content-transfer-encoding:x-mailer:thread-index
         :content-language;
        bh=8O5QrSmlFJCuVxa6zGSj+wUS+2qzTHbt96li2lkAWDk=;
        b=lKryT5TFe5Zd0iv1kECuMrw80Rfbbvakfg+k4DA9huAtsZk9PWOHI3XF+TNj9B3In3
         1EawO4ucOaA1kvyOG7VNMp0l095fNLiMGTk2OHU2JhyVcNhrHTaGgMHxzb1X7K16sUcd
         Ke92IQp2zjr81NSq66g0so8/L6Xy8gD8Uj9vw=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:cc:references:in-reply-to:subject:date:organization
         :message-id:mime-version:content-type:content-transfer-encoding
         :x-mailer:thread-index:content-language;
        b=sKz7r9HicFa7D6CAim0nWrX/CKYKUzPK2VVPgI6ZAspTLjlsoLA0Txn8OO6YjRp/Hl
         RR7qodgklF4c3gqg0CAVvvrHgw4SGTVv7TTZ01vIXiN9xvbe6jD4w+aBmnlw2l2KoKb0
         enbNzf9QjCfq6cTf1jQe1dIyYOlRMiBX5u/Jc=
Received: by 10.216.191.215 with SMTP id g65mr2255827wen.16.1292191554639;
        Sun, 12 Dec 2010 14:05:54 -0800 (PST)
Received: from WinEight ([84.93.149.66])
        by mx.google.com with ESMTPS id m6sm2081480wej.34.2010.12.12.14.05.52
        (version=SSLv3 cipher=RC4-MD5);
        Sun, 12 Dec 2010 14:05:53 -0800 (PST)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: =?utf-8?Q?'T=C3=B6r=C3=B6k_Edwin'?= <edwintorok@gmail.com>
Cc: <caml-list@inria.fr>
References: <036001cb9a0c$725acef0$57106cd0$@com>	<20101212175524.73a8e285@deb0>	<9264BEE6-DBAE-4523-93AC-4560615D2AC5@googlemail.com> <20101212215552.317892e7@deb0>
In-Reply-To: <20101212215552.317892e7@deb0>
Subject: RE: Value types (Was: [Caml-list] ocamlopt LLVM support)
Date: Sun, 12 Dec 2010 22:05:34 -0000
Organization: Flying Frog Consultancy
Message-ID: <03a701cb9a48$b957e860$2c07b920$@com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="utf-8"
Content-Transfer-Encoding: quoted-printable
X-Mailer: Microsoft Office Outlook 12.0
Thread-Index: AcuaNqlUnD5vB5JHQGyzTACYbGTZbQAEJ5vA
Content-Language: en-gb
X-Spam: no; 0.00; ocamlopt:01 afaict:01 ocaml:01 bindings:01 ocaml:01 cheers:01 edwin:98 wrote:01 caml-list:01 binding:02 types:05 preferable:06 probably:07 fixing:08 generating:09 

Edwin wrote:
> AFAICT LLVM's OCaml bindings are only good for generating LLVM IR from
> OCaml, not for actually performing transformations on it (there is no
> binding to retrieve the type of a value for example). I'll probably be
> looking into fixing that in the near future, and this may indirectly
> help your LLVM backend (if you intend to write OCaml specific
> transformations on the LLVM IR).

That's a lot of work. Wouldn't it be preferable to do the passes on the =
OCaml side and focus on generating high quality LLVM IR?

Cheers,
Jon.