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.2 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 8949ABC69 for ; Fri, 11 May 2007 02:55:07 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.168]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4B0t7Vv024792 for ; Fri, 11 May 2007 02:55:07 +0200 Received: by ug-out-1314.google.com with SMTP id k3so564401ugf for ; Thu, 10 May 2007 17:55:07 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=aphFfZt1ynH/A6+uAFIKVJylfx5lZplS9Blmj9KIYPOSwHz6d7jfIFwxypNeDyf7BziUqjEZqvzioWsRmJYwxASZvVOTkvA10COlyH7Bdp7Tsitng7TC5BGJVt5l65JAjRMYzrVZ9e7r0hxkL03WyH2nnrzKHE85mIe2F6/oU7w= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=KGzgxqeLN2ygD8ekeux4Js7A4xAJcxNV/uuD0Ws6V/VloTxCQnoXRi/qYinHglPd4ia4I+LeuEdiy8mNKT7AzGsZIJmz4XcjJICcqV8FsdrBKHSf0Xb1LJhkkWbK1sN3FuLt76nD3fEOPCevnQO+Qco4on5mBxysFfqArYGL5bs= Received: by 10.67.89.6 with SMTP id r6mr2470256ugl.1178844906982; Thu, 10 May 2007 17:55:06 -0700 (PDT) Received: by 10.66.233.7 with HTTP; Thu, 10 May 2007 17:55:06 -0700 (PDT) Message-ID: <9d3ec8300705101755g76800354sfff9042b79b994e6@mail.gmail.com> Date: Fri, 11 May 2007 02:55:06 +0200 From: "Till Varoquaux" To: "Nicolas Pouillard" Subject: Re: Building object types (Was: Abstract types in the revised syntax) Cc: "Caml List" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: X-j-chkmail-Score: MSGID : 4643BEEB.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 4643BEEB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 ocaml:01 cheers:01 cvs:01 wrote:01 wrote:01 abstract:01 revised:02 types:03 types:03 problem:05 indeed:07 nope:08 nicolas:08 nicolas:08 On 5/10/07, Nicolas Pouillard wrote: > On 5/3/07, Till Varoquaux wrote: > > Nope, > > > > This doesn't work for me (using a cvs version of ocaml about 2hours > > old). I ran in the exact same problem, maybe I was actually doing it > > right :) > > Sorry for the late response... > > Are you on the release310 branch? I wasn't. This is indeed fixed ;-). Cheers, Till