From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 C5A98BC57 for ; Thu, 8 Jul 2010 18:00:10 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ak0CABqTNUyGnQCBlGdsb2JhbACDHp0QFQEBAQEJCwgJEQMfiBSnfZFQgSmBSAiBOnIEkW0 X-IronPort-AV: E=Sophos;i="4.53,559,1272837600"; d="scan'208";a="66044543" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Jul 2010 18:00:10 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id o68G03Kj078154 ; Thu, 8 Jul 2010 18:00:03 +0200 (CEST) X-Ids:166 Received: from [134.157.168.19] (dogguy@potassium.pps.jussieu.fr [134.157.168.19]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id o68G02mh021809 ; Thu, 8 Jul 2010 18:00:02 +0200 Message-ID: <4C35F602.6010700@pps.jussieu.fr> Date: Thu, 08 Jul 2010 18:00:02 +0200 From: Mehdi Dogguy Organization: PPS User-Agent: Mozilla/5.0 (X11; U; Linux i686 (x86_64); en-US; rv:1.9.1.10) Gecko/20100619 Iceowl/1.0b1 Icedove/3.0.5 MIME-Version: 1.0 To: Thomas Fischbacher Cc: OCaml List Subject: Re: [Caml-list] adding a scripting language to an ocaml program References: <4C31DABD.3060107@soton.ac.uk> <4C3204AF.8050608@pps.jussieu.fr> <4C3208C2.3090803@soton.ac.uk> <4C321E33.1000301@pps.jussieu.fr> <4C35ED49.3050808@soton.ac.uk> In-Reply-To: <4C35ED49.3050808@soton.ac.uk> X-Enigmail-Version: 1.0.1 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-Miltered: at jchkmail2.jussieu.fr with ID 4C35F603.002 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4C35F603.002/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Spam: no; 0.00; ocaml:01 versioned:01 tarball:01 W8:98 W10:98 wrote:01 compile:01 pps:01 pps:01 caml-list:01 jussieu:01 jussieu:01 anyway:05 interface:06 function:08 On 08/07/2010 17:22, Thomas Fischbacher wrote: >> … if the interface is "compatible" (I didn't really check). > > I think so. Basically, I removed one function which never had worked > anyway and added a number of new ones. > Good. >> I had a quick look and noticed some changes for some type >> definitions. Did you try to compile coccinelle¹ using your version >> of pycaml for example? > > I just gave it a try - please take a look at the log at: > > http://www.soton.ac.uk/~doctom/software/coccinelle.log > Looks fine. >> https://forge.ocamlcore.org/register/projectinfo.php > > Yes, we could (and should) do that. > > I'm just waiting for the account registration confirmation email. > Perfect! As soon as the project is up (with a D?$VCS, a version and versioned tarball), I'll package it and upload it in our archive. Thanks! -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38