From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 7C56CBBFA for ; Wed, 22 Jun 2005 08:48:44 +0200 (CEST) Received: from mail.rsise.anu.edu.au (mail.rsise.anu.edu.au [150.203.208.4]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j5M6mfDh008298 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Wed, 22 Jun 2005 08:48:44 +0200 Received: from localhost (localhost [127.0.0.1]) by mail.rsise.anu.edu.au (Postfix) with ESMTP id 7E29D1D204; Wed, 22 Jun 2005 16:48:38 +1000 (EST) Received: from mail.rsise.anu.edu.au ([150.203.208.4]) by localhost (mail [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 29033-03; Wed, 22 Jun 2005 16:48:38 +1000 (EST) Received: from pulp.rsise.anu.edu.au (pulp.rsise.anu.edu.au [150.203.208.49]) by mail.rsise.anu.edu.au (Postfix) with ESMTP id 6CBC41B6A2; Wed, 22 Jun 2005 16:48:37 +1000 (EST) Received: by pulp.rsise.anu.edu.au (Postfix, from userid 1560) id D3C4C25BA2B; Wed, 22 Jun 2005 16:48:36 +1000 (EST) Date: Wed, 22 Jun 2005 16:48:36 +1000 From: Pietro Abate To: caml-list@yquem.inria.fr, caml-list Subject: Re: [Caml-list] type troubles with functors Message-ID: <20050622064836.GA27983@pulp.anu.edu.au> Mail-Followup-To: Pietro Abate , caml-list@yquem.inria.fr, caml-list References: <8ecdad970506212153417f77b5@mail.gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <8ecdad970506212153417f77b5@mail.gmail.com> X-Operating-System: GNU/Linux X-Organization: Research School of Information Science and Engineering (Australian National University) User-Agent: Mutt/1.5.9i X-Virus-Scanned: by amavisd-new-20030616-p10 (Debian) at mail.rsise.anu.edu.au X-Miltered: at concorde with ID 42B909C9.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; anu:01 caml-list:01 functors:01 sig:01 val:01 sig:01 elt:01 val:01 elt:01 ord:01 struct:01 ord:01 anu:01 int:01 module:03 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.2 X-Spam-Level: what about module type OrderedType = sig type t val compare : t -> t -> int end module type S = sig type elt type t type set val to_list : t -> elt list val to_set : t -> set end module Make (Ord : OrderedType) : S = struct module EltSet = Set.Make(Ord) type elt = EltSet.elt type set = EltSet.t type t = { l : elt list; s : set } let to_list t = t.l let to_set t = t.s end I'm far to be an expert, but this (or something similar) should work. p -- ++ Blog: http://blog.rsise.anu.edu.au/?q=pietro ++ ++ "All great truths begin as blasphemies." -George Bernard Shaw ++ Please avoid sending me Word or PowerPoint attachments. See http://www.fsf.org/philosophy/no-word-attachments.html