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.2 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 4A5B1BBAF for ; Sun, 12 Oct 2008 20:55:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsCAOPk8UjAXQImiGdsb2JhbACTHT4BAQEVIpxKBWiFeAECAQOBaYE+ X-IronPort-AV: E=Sophos;i="4.33,397,1220220000"; d="scan'208";a="18617422" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 12 Oct 2008 20:55:37 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9CItaWY019762 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 12 Oct 2008 20:55:36 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoAAKfk8UjRVYTwmWdsb2JhbACTHT4BAQEBAQYNCAkRA5xHBWiFeAECAQOBaYE+ X-IronPort-AV: E=Sophos;i="4.33,397,1220220000"; d="scan'208";a="18003020" Received: from an-out-0708.google.com ([209.85.132.240]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Oct 2008 20:55:36 +0200 Received: by an-out-0708.google.com with SMTP id d33so112232and.97 for ; Sun, 12 Oct 2008 11:55:35 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:cc:references:in-reply-to:content-type :content-transfer-encoding:content-disposition:message-id; bh=rodWzTNaUjURWYE1Ji5WGcU2mGos3EFLobEMhqV6Gro=; b=ArYp6Yke9SCmXdG2Y633M4UiARoPCsaVQ9CHWlZ4ooJdjfJiUPY8TPVzkT3K/XBXbA 5MC8rREpELBn5bUyLOWgE33wMI2Urh6JKfTgdBEkgKu+Gga/fe9DJQaP0++dkXMcN7UM i3n2HC95MFB4PVU8eGve58jR4c1cDwJ0mX/W4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to :content-type:content-transfer-encoding:content-disposition :message-id; b=CC7cMZ4GIanU7F+Lwt0b7fNM7DIESdfWlYFP0BGws1/Kl9wnE2kXqJCqGRDH+6QIoz g6pOkFtbnjXQKrIQHV21rA4do7zrOFxQv7gnGMzpcKLjTPE2iE/CsjrImmMvY5p8pmeA We5/9VNnm3ss9FUhhpyf146kS4TC0TR2HcMEc= Received: by 10.100.178.9 with SMTP id a9mr1246450anf.59.1223837734711; Sun, 12 Oct 2008 11:55:34 -0700 (PDT) Received: from ?192.168.0.102? (c-24-99-180-210.hsd1.ga.comcast.net [24.99.180.210]) by mx.google.com with ESMTPS id c39sm13898386anc.29.2008.10.12.11.55.33 (version=TLSv1/SSLv3 cipher=RC4-MD5); Sun, 12 Oct 2008 11:55:33 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ANN OCaml Batteries Included alpha 1 Date: Sun, 12 Oct 2008 14:55:30 -0400 User-Agent: KMail/1.9.7 Cc: David Teller , OCaml References: <1223732914.7333.22.camel@Blefuscu> <200810121300.23231.peng.zang@gmail.com> <1223836989.6213.37.camel@Blefuscu> In-Reply-To: <1223836989.6213.37.camel@Blefuscu> Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200810121455.32319.peng.zang@gmail.com> X-Miltered: at discorde with ID 48F24828.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 hash:01 bug:01 peng:98 peng:98 wrote:01 caml-list:01 reproduce:03 gnu:03 message-----:05 pgp:05 pgp:05 thread:06 discussion:06 linux:07 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Sunday 12 October 2008 02:43:08 pm David Teller wrote: > I can reproduce the error. If you don't mind, let's continue that > discussion on the Batteries-devel mailing-list [1]. > > Thanks for the bug report, > David > > [1] > http://lists.forge.ocamlcore.org/cgi-bin/mailman/listinfo/batteries-devel > Not at all, thank you guys for all your hard work on this. It looks very cool. I've moved this thread over to batteries-devel. Peng -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFI8kgkfIRcEFL/JewRAo6fAJ9pV6wuvvKmwzFdRBOjrticEeLUngCdETzI qL2RX40JQX9ceO3OGNViUcA= =CIdw -----END PGP SIGNATURE-----