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=AWL autolearn=disabled version=3.1.3 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 27FB7BC6C for ; Mon, 4 Feb 2008 18:39:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4HADjdpkfUnw7VdWdsb2JhbACCNo1kDQEKAggPEwebHA X-IronPort-AV: E=Sophos;i="4.25,303,1199660400"; d="scan'208";a="6867817" Received: from ptb-relay02.plus.net ([212.159.14.213]) by mail2-smtp-roc.national.inria.fr with ESMTP; 04 Feb 2008 18:39:37 +0100 Received: from [80.229.56.224] (helo=beast.local) by ptb-relay02.plus.net with esmtp (Exim) id 1JM5I9-0002fA-7g; Mon, 04 Feb 2008 17:39:37 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] [OSR] Caml Community Code Date: Mon, 4 Feb 2008 17:35:00 +0000 User-Agent: KMail/1.9.7 Cc: Jean-Marc EBER References: <200802011807.53876.jon@ffconsultancy.com> <47A72295.9080907@lexifi.com> In-Reply-To: <47A72295.9080907@lexifi.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200802041735.00819.jon@ffconsultancy.com> X-Plusnet-Relay: 0eb4a2403166e38137ebbe9d91350a94 X-Spam: no; 0.00; lexifi:01 ocaml's:01 bytecode:01 frisch:01 native-code:01 ocaml:01 ocaml:01 frisch:01 cvs:01 cvs:01 frog:98 eber:01 wrote:01 compile:01 caml-list:01 On Monday 04 February 2008 14:35:01 Jean-Marc EBER wrote: > Hi all, > > Without entering into a dialog on this list, LexiFi, whose name has been > cited in this mail, wants to make the following clarification(s): Thank you for clarifying. > ... > c. General purpose cleanups, small enhancements etc.: we inform Inria about > them: Inria may or may not incorporate these patches. This is exactly the work that I think we should be sharing and all benefitting from. I think everyone has reached an understanding on how beneficial this could be even if we disagree about how to achieve that goal. > > . OCaml's top-level runs interpreted bytecode and, consequently, is many > > times slower than the interactive sessions of "competing" language > > implementations like SBCL (Lisp) and F#. Alain Frisch has already > > implemented a native-code top-level for OCaml called "ocamlnat" in his > > "natdynlink" fork of OCaml. I found this extremely useful and would like > > it to be easier for other people to benefit from this work. > > Jon, please, be careful with your public statements here. > The "natdynlink" branch (repeat after me, branch, _not_ fork) has been > implemented by Alain Frisch when he was at Inria, with full knowledge of > Xavier Leroy. The idea was that if this _branch_ worked, it was supposed to > become mainstream; this is so true that it has been merged into... cvs HEAD > ! Excellent! I was under the impression that ocamlnat was deleted in the merge but it appears to compile from the current CVS... :-) -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e