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 HAA32639; Tue, 16 Sep 2003 07:40:11 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA29112 for ; Tue, 16 Sep 2003 07:40:10 +0200 (MET DST) Received: from sark.cc.gatech.edu (sark.cc.gatech.edu [130.207.7.23]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h8G5e9f06363 for ; Tue, 16 Sep 2003 07:40:09 +0200 (MET DST) Received: from tokyo.cc.gatech.edu (tokyo.cc.gatech.edu [130.207.114.15]) by sark.cc.gatech.edu (8.12.9/8.12.8) with ESMTP id h8G5e8Df011013 for ; Tue, 16 Sep 2003 01:40:08 -0400 (EDT) Received: from spitfire (spitfire.cc.gatech.edu [130.207.28.162]) by tokyo.cc.gatech.edu (8.12.9/8.12.8) with ESMTP id h8G5e7Gp023942 for ; Tue, 16 Sep 2003 01:40:07 -0400 (EDT) Message-ID: <017401c37c14$ffb46b30$a21ccf82@cc.gatech.edu> Reply-To: "Frank Dellaert" From: "Frank Dellaert" To: Subject: [Caml-list] record type constraint Date: Tue, 16 Sep 2003 01:40:06 -0400 Organization: Georgia Tech CoC MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2800.1158 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1165 X-Loop: caml-list@inria.fr X-Spam: no; 0.00; dellaert:01 dellaert:01 gatech:01 functor:01 struct:01 constrain:01 gatech:01 module:03 abstract:03 types:03 frank:05 frank:05 constraint:05 constraint:05 asks:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi One of my projects asks for a type constraint in multi-argument functor as follows: Module Make (A: BLA) (B: BLA with type t = {a:A.x;b:A.y}) = struct ... end In other words, I want to constrain t to be a record type with types as defined in A (and declared abstract in the signature BLA). Unfortunately, the obvious way above does not seem to work. Can anyone tell me how to do this ? Please also cc me in your response to the list. Cheers Frank Dellaert --------------------------------------------------------------------------- Asst. Professor, College of Computing Georgia Institute of Technology http://www.cc.gatech.edu/~dellaert/ ------------------- 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