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.4 required=5.0 tests=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 4571BBC0A for ; Mon, 21 May 2007 18:42:31 +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 l4LGgU1c031919 for ; Mon, 21 May 2007 18:42:31 +0200 Received: by ug-out-1314.google.com with SMTP id q2so1134142uge for ; Mon, 21 May 2007 09:42:26 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:disposition-notification-to:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding:sender; b=TTrzq/LydKWPWL4SAtEyma21+j5R11J4APk6nOF9AlakBhHND7DW5+dKdeCKsRd6c9VZU90K7wpybqPKVy9UGZxuFubnMImu5zpqqBNndcMXNIgT26AAszwcnJzM6Fa4iUZOC5MjDyOy3kWayI6xXloLeWiWW2eCMpJfFh3m0VU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:disposition-notification-to:date:from:user-agent:mime-version:to:cc:subject:references:in-reply-to:content-type:content-transfer-encoding:sender; b=RpQa4aAtmtRugl4tRkrTf3zPB7es0hg6FAl7cy9GcBn0d9g+JBHs4m/x6kLoIAarDiYV95iYbkkfXah5oA3/l1pZuabOt1NfCqKNLwajaTB1MUIcvms0v2VbHcRqUzYHRClwsB5j3gWp30e+QrcGtYauXIMCLkDSmAocSWDNiAw= Received: by 10.67.105.19 with SMTP id h19mr3499817ugm.1179765740410; Mon, 21 May 2007 09:42:20 -0700 (PDT) Received: from ?192.168.0.164? ( [84.56.241.115]) by mx.google.com with ESMTP id 72sm667167ugb.2007.05.21.09.42.19; Mon, 21 May 2007 09:42:19 -0700 (PDT) Message-ID: <4651CBF0.2000607@informatik.uni-freiburg.de> Disposition-Notification-To: Phillip Heidegger Date: Mon, 21 May 2007 18:42:24 +0200 From: Phillip Heidegger User-Agent: Thunderbird 1.5.0.9 (Windows/20061207) MIME-Version: 1.0 To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] a question about recursiv type defintions and functors like Set.Make? References: <4651B460.60408@informatik.uni-freiburg.de> <200705211652.10723.jon@ffconsultancy.com> In-Reply-To: <200705211652.10723.jon@ffconsultancy.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Sender: Phillip Heidegger X-Miltered: at discorde with ID 4651CBF6.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; functors:01 functor:01 ocaml:01 phillip:98 phillip:98 beginners:01 wrote:01 wrote:01 faq:01 faq:01 caml-list:01 uni-freiburg:02 informatik:07 question:12 question:12 Jon Harrop wrote: > On Monday 21 May 2007 16:01:52 Phillip Heidegger wrote: > >> I have a question about using the set functor. >> > > This is a FAQ. From a post of mine (on 1st May 2007) on the OCaml beginners > list: [...] Sorry, I don't know that it's an FAQ. Thanks for help, next time I spend more time searching the FAQ ;) Phillip