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.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 B7B96BC69 for ; Thu, 27 Sep 2007 00:39:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOp7+kbZDAsjnmdsb2JhbACOLwEBAQEHBAYFChg X-IronPort-AV: E=Sophos;i="4.21,199,1188770400"; d="scan'208";a="16838129" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 27 Sep 2007 00:39:03 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8QMchC7015483 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 27 Sep 2007 00:38:43 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAOp7+kbZDAsjnmdsb2JhbACOLwEBAQEHBAYFChg X-IronPort-AV: E=Sophos;i="4.21,199,1188770400"; d="scan'208";a="16838120" Received: from smtp004.mail.ukl.yahoo.com ([217.12.11.35]) by mail4-smtp-sop.national.inria.fr with SMTP; 27 Sep 2007 00:38:43 +0200 Received: (qmail 83328 invoked from network); 26 Sep 2007 22:38:40 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.fr; h=Received:X-YMail-OSG:In-Reply-To:References:Mime-Version:Content-Type:Message-Id:Cc:Content-Transfer-Encoding:From:Subject:Date:To:X-Mailer; b=TX6dph+tK9XGGPV/X0e2oYU3UKmoxi3XjWg3LcwzWZt2JOryQ1vWUQyGRRrEyZ2aYtgfQe+82YoOyHvrith/FR5JldlT1IMR+Ypq5ZLDLUarvcuseTCf4JY3V2nD+YfbMjtvHl+ljnbvc7/HpOtYFI7+loRm4Ih24IgOGxd5zI0= ; Received: from unknown (HELO ?192.168.0.10?) (vincent.aravantinos@82.229.199.66 with plain) by smtp004.mail.ukl.yahoo.com with SMTP; 26 Sep 2007 22:38:40 -0000 X-YMail-OSG: PzKhzBgVM1mEUMi_uxdBsdRhIsSKgSiO3Tr1rCMWCI36ln6q8vMJUCh_LcofBVpPSPKmnTsd2cTZCJsULq9elT70obaF In-Reply-To: References: <46F95938.7030107@cs.umd.edu> <17487E59-04F2-4509-87B5-24377B051E9E@epfl.ch> <46F961E5.5060302@cs.umd.edu> <55A4E82E-3D05-4F79-A8A6-A87905EB4FC8@epfl.ch> Mime-Version: 1.0 (Apple Message framework v752.2) Content-Type: text/plain; charset=ISO-8859-1; delsp=yes; format=flowed Message-Id: Cc: caml-list@inria.fr Content-Transfer-Encoding: quoted-printable From: Vincent Aravantinos Subject: Re: [Caml-list] Re: Cherry-picking modules (was Re: [ANN] OCaml Reins 0.1 - Persistent Data Structure Library) Date: Thu, 27 Sep 2007 00:38:37 +0200 To: Sylvain Le Gall X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 46FADF73.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 developpment:01 26,:98 caml-list:01 data:02 modules:02 seems:03 library:03 ecrit:06 vincent:07 vincent:07 missing:07 structure:07 doesn't:12 Le 26 sept. 07 =E0 12:26, Sylvain Le Gall a =E9crit : > AND WE HAVE IT: godi! As a side effect, you re-raised my interest about Godi. But looking =20 at the main page it seems it doesn't work with ocaml 3.10. Am I =20 missing something is it under developpment ? Thanx, V.=