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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 683D4BC6C for ; Thu, 27 Sep 2007 00:41:24 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAGJ8+kbAXQInemdsb2JhbACOLwEBCQo X-IronPort-AV: E=Sophos;i="4.21,199,1188770400"; d="scan'208";a="3302568" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 Sep 2007 00:41:23 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l8QMfNPU015651 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 27 Sep 2007 00:41:23 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAABd9+kZC+VyvkGdsb2JhbACOLwEBAQEHBAQHChEH X-IronPort-AV: E=Sophos;i="4.21,199,1188770400"; d="scan'208";a="1845006" Received: from ug-out-1314.google.com ([66.249.92.175]) by mail2-smtp-roc.national.inria.fr with ESMTP; 27 Sep 2007 00:41:23 +0200 Received: by ug-out-1314.google.com with SMTP id m3so1211556ugc for ; Wed, 26 Sep 2007 15:41:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; bh=g8g9QtFx2xQQ9SieXlsf7BsqBFwnGWdic19cbAvdJAs=; b=bJx9mgmFD6H2fAMfugQk38SVZWZlOEO+ePKGWHeW/pQAqvol7keu0bghjZvyIfGKf1dZ0J0WwtHWbeQT+VGEIwf4in902U44EgkF0BkNmuc/GKF7UF0WO572AadtLEpnLaFH2rxnlrs0fJMHcycmYrwSXOu4Lni9HgenSTHSsM0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:in-reply-to:references:mime-version:content-type:message-id:cc:content-transfer-encoding:from:subject:date:to:x-mailer; b=BaJrGvfOE5U9HDUObATbBlyGf99Cvtjt1QFOil/8ZSz2DEkse6FFIPdGOZil27YURfheZDsyUxlwXzrG3qoeRdIBjfsgCS3yhbT4IrPxGsFamYZRKskPPudbe2OCopGjDN0MMESVsZetyw8eY98jpShO2KCKPTGSlG3Gt6xim6E= Received: by 10.66.217.13 with SMTP id p13mr2808329ugg.1190846482784; Wed, 26 Sep 2007 15:41:22 -0700 (PDT) Received: from ?192.168.0.10? ( [82.229.199.66]) by mx.google.com with ESMTPS id 28sm2832491fkx.2007.09.26.15.41.20 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 26 Sep 2007 15:41:21 -0700 (PDT) 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: <96623DB9-73C5-444A-8BB6-8F2817C74D26@gmail.com> Cc: Sylvain Le Gall , 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:41:17 +0200 To: Vincent Aravantinos X-Mailer: Apple Mail (2.752.2) X-Miltered: at concorde with ID 46FAE013.001 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 ecrit:06 vincent:07 vincent:07 missing:07 structure:07 Le 27 sept. 07 =E0 00:38, Vincent Aravantinos a =E9crit : > > 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. Sorry for this, a little check on the godi mailing list informed me =20 about that. Nice. Sorry for the noise, V.=