From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <alain@frisch.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by sympa.inria.fr (Postfix) with ESMTPS id 11A037EEAF
	for <caml-list@sympa.inria.fr>; Thu, 17 Jan 2013 08:53:22 +0100 (CET)
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=pra; client-ip=212.27.42.3;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  alain@frisch.fr) identity=mailfrom; client-ip=212.27.42.3;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr"; x-sender="alain@frisch.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp3-g21.free.fr) identity=helo;
  client-ip=212.27.42.3;
  receiver=mail4-smtp-sop.national.inria.fr;
  envelope-from="alain@frisch.fr";
  x-sender="postmaster@smtp3-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhUBABWs91DUGyoDlGdsb2JhbABEujiDYhYOAQEBAQkLCQkUAySCHgEBBTIBBUABEAsYCRYPCQMCAQIBRQYNAQcBAYgZuUSROAOWDIVrjVQ
X-IronPort-AV: E=Sophos;i="4.84,484,1355094000"; 
   d="scan'208";a="168747058"
Received: from smtp3-g21.free.fr ([212.27.42.3])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 17 Jan 2013 08:53:20 +0100
Received: from [192.168.0.10] (unknown [78.192.0.38])
	by smtp3-g21.free.fr (Postfix) with ESMTP id D3097A6209;
	Thu, 17 Jan 2013 08:53:16 +0100 (CET)
Message-ID: <50F7ADE9.3050505@frisch.fr>
Date: Thu, 17 Jan 2013 08:53:13 +0100
From: Alain Frisch <alain@frisch.fr>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/20130107 Thunderbird/17.0.2
MIME-Version: 1.0
To: Francois Berenger <berenger@riken.jp>
CC: caml-list@inria.fr
References: <43fbc889-f7fc-4bd6-949b-634d478326f6@googlegroups.com> <50F66B57.3070601@riken.jp> <1358326866.28639.13@samsung> <50F74FA2.4070805@riken.jp>
In-Reply-To: <50F74FA2.4070805@riken.jp>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: AW: [Caml-list] ocamlc compiles hello world, ocamlopt not

On 1/17/2013 2:10 AM, Francois Berenger wrote:
> Was this C code generation not possible even with Caml code
> back in the era of Caml?

There has been work on compiling Caml to C back in the early 90s.  Look 
for Camlot (by Régis Cridlig) and CeML (by Emmanuel Chailloux).

Alain