From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA02165; Thu, 3 Jun 2004 19:28:32 +0200 (MET DST)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA02152 for <caml-list@pauillac.inria.fr>; Thu, 3 Jun 2004 19:28:31 +0200 (MET DST)
Received: from fafnir (furie.ens-lsh.fr [193.51.131.254])
	by nez-perce.inria.fr (8.12.10/8.12.10) with SMTP id i53HSUEV011574
	for <caml-list@pauillac.inria.fr>; Thu, 3 Jun 2004 19:28:30 +0200
Received: from  ([172.16.1.1]) by fafnir; Thu, 03 Jun 2004 19:27:07 +0200 (CEST)
Received: from avalon.ens-lsh.fr (localhost [127.0.0.1])
	by avalon.ens-lsh.fr (8.12.8/8.12.8) with ESMTP id i53IRYtm016551
	for <caml-list@pauillac.inria.fr>; Thu, 3 Jun 2004 19:27:34 +0100 (WEST)
Received: from ens-notes1.ens-lsh.fr (ens-notes1.ens-lsh.fr [10.2.1.44])
	by avalon.ens-lsh.fr (8.12.8/8.12.8) with ESMTP id i53IRYOR016548
	for <caml-list@pauillac.inria.fr>; Thu, 3 Jun 2004 19:27:34 +0100 (WEST)
Received: from mostha ([10.3.25.139])
          by ens-notes1.ens-lsh.fr (Lotus Domino Release 5.0.10)
          with SMTP id 2004060319282584:60810 ;
          Thu, 3 Jun 2004 19:28:25 +0200 
Date: Thu, 3 Jun 2004 19:26:19 +0200
From: Damien <Damien.Pous@ens-lyon.fr>
To: Caml List <caml-list@pauillac.inria.fr>
Subject: [Caml-list] module types
Message-Id: <20040603192619.2a50e1f5@mostha>
Organization: mosthagloups
X-Mailer: Sylpheed version 0.9.10claws (GTK+ 1.2.10; i386-pc-linux-gnu)
Mime-Version: 1.0
X-MIMETrack: Itemize by SMTP Server on ens-notes1/ENS-LSH(Release 5.0.10 |March 22, 2002) at
 03/06/2004 19:28:25,
	Serialize by Router on ens-notes1/ENS-LSH(Release 5.0.10 |March 22, 2002) at
 03/06/2004 19:28:27,
	Serialize complete at 03/06/2004 19:28:27
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset=US-ASCII
X-Miltered: at nez-perce with ID 40BF5FBE.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; damien:01 damien:01 ens-lyon:01 struct:01 re-write:01 struct:01 sig:01 sig:01 module:03 module:03 unit:03 unit:03 abstract:03 types:03 type:07 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Hi,


module type T = sig type 'a t end
module F(M: T): sig
	type a
	type t = a M.t
	(* plus a lot of values... *)
end = struct
	type a = unit
	type t = unit M.t
end

I would like to re-write it like this :

module type T = sig type 'a t end
module type O = 
sig 
	type a 
	type t 
	(* plus a lot of values... *)
end
module F(M: T): O with type t = a M.t =
struct
	type a = unit
	type t = unit M.t
end

but I can't, because "a" is unknown...
(of course, I want to keep it abstract)

any idea ?

thanks,
damien

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners