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 LAA00948; Mon, 16 Jun 2003 11:59:34 +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 LAA01064 for ; Mon, 16 Jun 2003 11:59:33 +0200 (MET DST) Received: from mailhost.ens-lyon.fr (pluvier.ens-lyon.fr [140.77.167.5]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h5G9xWH11701 for ; Mon, 16 Jun 2003 11:59:32 +0200 (MET DST) Received: from mouette.ens-lyon.fr ([140.77.167.4]) by mailhost.ens-lyon.fr with esmtp (Exim 3.35 #1 (Debian)) id 19Rqlw-0000mV-00 for ; Mon, 16 Jun 2003 11:59:32 +0200 Received: from www-data by mouette.ens-lyon.fr with local (Exim 3.35 #1 (Debian)) id 19Rqlv-0007AV-00 for ; Mon, 16 Jun 2003 11:59:31 +0200 To: caml-list@inria.fr Subject: [Caml-list] module type and record Message-ID: <1055757571.3eed95032132f@mouette.ens-lyon.fr> Date: Mon, 16 Jun 2003 11:59:31 +0200 (CEST) From: efiliot@ens-lyon.fr References: <65D56CA3-9FDA-11D7-813D-000A95764898@ens-lyon.fr> In-Reply-To: <65D56CA3-9FDA-11D7-813D-000A95764898@ens-lyon.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: IMP/PHP IMAP webmail program 2.2.6 X-Originating-IP: 194.254.132.192 X-Spam: no; 0.00; ens-lyon:01 struct:01 compiler:01 int:01 module:03 string:03 seems:05 type:07 problem:07 declaration:09 solution:10 U4:88 emmanuel:13 hello:15 record:15 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk hello, I need to declare a record type in a field like : module A : ( MY_TYPE with type t = { label1 : int ; label2 : string } ) = struct .... end but the compiler seems to refuse this declaration. Could you give me a solution for this problem ? Thank You, Emmanuel Filiot ------------------- 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