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.1 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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id D3CB7BC0A for ; Wed, 23 May 2007 01:33:00 +0200 (CEST) Received: from wr-out-0506.google.com (wr-out-0506.google.com [64.233.184.225]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4MNWxlX019401 for ; Wed, 23 May 2007 01:33:00 +0200 Received: by wr-out-0506.google.com with SMTP id 69so15915wra for ; Tue, 22 May 2007 16:32:59 -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=j48y0jkw83TfA39Bo32LjczCQXzUfn9d2KwNy/RQLN4QqwMKay3kLNwf4taG/ot1i6zAJJ2VrCkIoAn04pTiehkPEaVeoT5DxKHC8H9Ym/7AvDGlKiCrmoXZMMFDaQuQbqeGbuBeDzYqJrmcZjteewP9LGHoiaFhbEOVxNN7U9Q= 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=dTkbqhVVcfh+/pkQ5DKYUjf+mr9SCYAJ2tXWfd8o62trhA2OjDnwqWkxfjnO5BD53h2iNHSrc6TjI8yX+shKMz3By182vEMk1waTfPNyhyoNI0ks4XmslIU8Sq7THBBSxtSKKktpf8kA0qXZDk+BIeLwXYewMkrPE2nyjNfQ5ag= Received: by 10.78.124.9 with SMTP id w9mr1575174huc.1179876778862; Tue, 22 May 2007 16:32:58 -0700 (PDT) Received: by 10.78.171.9 with HTTP; Tue, 22 May 2007 16:32:58 -0700 (PDT) Message-ID: <4a708d20705221632x4bbd16b4ya83b532ed69ec2cf@mail.gmail.com> Date: Wed, 23 May 2007 01:32:58 +0200 From: "Lukasz Stafiniak" To: "Jon Harrop" Subject: Re: [Caml-list] functions' recursive construction Cc: caml-list@yquem.inria.fr In-Reply-To: <4a708d20705221631x82b6e9ala0cd8b9d83baa959@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <200705230021.14814.jon@ffconsultancy.com> <4a708d20705221631x82b6e9ala0cd8b9d83baa959@mail.gmail.com> X-j-chkmail-Score: MSGID : 46537DAC.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46537DAC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; lukasz:01 recursive:01 lukasz:01 val:01 wrote:01 wrote:01 caml-list:01 int:01 meant:06 fun:08 i'm:09 type:14 would:18 what:24 com:74 On 5/23/07, Lukasz Stafiniak wrote: > On 5/23/07, Jon Harrop wrote: > > What would the type of "f" be? > > > 'a -> 'a as 'a > I'm sorry, I meant: # val f : int -> ('a -> 'a as 'a) =