From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <p.donadeo@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: **
X-Spam-Status: No, score=2.6 required=5.0 tests=AWL,DNS_FROM_RFC_POST,
	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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by yquem.inria.fr (Postfix) with ESMTP id 6D099BB84
	for <caml-list@yquem.inria.fr>; Mon, 24 Nov 2008 23:49:35 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Au8AAO+9KklKfSwcimdsb2JhbACTID4BAQEKCQwHDwWxQ4ECiwgBAwEDgnk
X-IronPort-AV: E=Sophos;i="4.33,661,1220220000"; 
   d="scan'208";a="17562367"
Received: from yx-out-2324.google.com ([74.125.44.28])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Nov 2008 23:49:34 +0100
Received: by yx-out-2324.google.com with SMTP id 3so950588yxj.3
        for <caml-list@yquem.inria.fr>; Mon, 24 Nov 2008 14:49:34 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:to
         :subject:in-reply-to:mime-version:content-type
         :content-transfer-encoding:content-disposition:references;
        bh=3NwmbnR852puYRm3n4A9RHzYtUibJB8ROZyEWQurRYY=;
        b=B93evCapB3NKP4KKxZggYhi4y73y/uURJx4tiL7/wAbaYQihnCJefu7PgVDzPkwfSE
         pLTMgkwluosTt0vXSXs40lCEzUkSZEQXV4+znS/0YrvNX5faV6KccrAjmS3Nna+1E6Nn
         fA00IlACl5NTNY02dWE7a7jHD6WliP1KVrS9E=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:to:subject:in-reply-to:mime-version
         :content-type:content-transfer-encoding:content-disposition
         :references;
        b=WMECJB18PoVy7YCyL9u9o8ACrZ5aZDvRBOGvZ/igiSoVa4EAxDNOiqzqhSTxuJBRme
         leIE5dUxPKgDBIHUtMQ9C6ZwOIDinxI2r5DdleU7RE+GmT91TALY9MjKpKy0CPYMD2PO
         WygFYST3arTPC7+F9jnWGeHehtdPkRH/xHRxE=
Received: by 10.142.48.14 with SMTP id v14mr1878022wfv.61.1227566973712;
        Mon, 24 Nov 2008 14:49:33 -0800 (PST)
Received: by 10.142.207.2 with HTTP; Mon, 24 Nov 2008 14:49:33 -0800 (PST)
Message-ID: <4b5157c30811241449y140cea2eg431175114cde3c84@mail.gmail.com>
Date: Mon, 24 Nov 2008 23:49:33 +0100
From: "Paolo Donadeo" <p.donadeo@gmail.com>
To: "OCaml mailing list" <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] A function returning itself
In-Reply-To: <1227566610.6496.165.camel@MATHIAS-ENS>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <4b5157c30811241437y64d1087au9c50c40f303b2c70@mail.gmail.com>
	 <1227566610.6496.165.camel@MATHIAS-ENS>
X-Spam: no; 0.00; caml-list:01 constructor:01 intermediate:05 function:08 returning:11 usually:13 should:13 type:14 such:14 itself:14 something:14 using:15 thanks:17 what:24 com:74 

> Usually, using an intermediate type with a constructor, you can achieve
> such thing. Here, something along the line of this should work :

Thanks, this is exactly what I need.


-- 
Paolo
~
~
:wq