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 NAA19475; Wed, 12 Nov 2003 13:50:56 +0100 (MET) 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 NAA19611 for ; Wed, 12 Nov 2003 13:50:55 +0100 (MET) Received: from mwinf0404.wanadoo.fr (smtp4.wanadoo.fr [193.252.22.27]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hACCos125706 for ; Wed, 12 Nov 2003 13:50:54 +0100 (MET) Received: from debian (ca-bordeaux-21-44.w80-8.abo.wanadoo.fr [80.8.93.44]) by mwinf0404.wanadoo.fr (SMTP Server) with ESMTP id 519CF38001B3 for ; Wed, 12 Nov 2003 13:50:54 +0100 (CET) Received: from moi by debian with local (Exim 3.36 #1 (Debian)) id 1AJuSe-0001m4-00 for ; Wed, 12 Nov 2003 13:51:04 +0100 To: caml-list@inria.fr Subject: Re: [Caml-list] type issues with modules References: <3FB0749C.80103@cs.uoregon.edu> <20031111172147M.garrigue@kurims.kyoto-u.ac.jp> <20031111182530.71a9a9c7.Damien.Pous@ens-lyon.fr> <20031112101211B.garrigue@kurims.kyoto-u.ac.jp> From: Remi Vanicat Mail-Copy-To: never Date: Wed, 12 Nov 2003 13:51:04 +0100 In-Reply-To: <20031112101211B.garrigue@kurims.kyoto-u.ac.jp> (Jacques Garrigue's message of "Wed, 12 Nov 2003 10:12:11 +0900") Message-ID: <87k7653g3r.dlv@wanadoo.fr> User-Agent: Gnus/5.1003 (Gnus v5.10.3) Emacs/21.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 jacques:01 damien:01 damien:01 ens-lyon:01 mli:01 struct:01 ocamlc:01 -pack:01 mli:01 struct:01 cmo:01 sig:01 sig:01 garrigue:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Jacques Garrigue writes: > From: Damien > >> But I think that giving a name to the signature of Mod1 (Sig_mod1) could >> be useful : >> >> << >> module type MOD1 : sig end >> module Mod1 : MOD1 = struct end >> >> >> >> Especially when hand-packing some modules : >> "ocamlc -pack" checks the packed cmo against an optional interface file, >> but the latter is rather boring to write, since one has to copy&paste >> the content of each packed interface. > > I have already suggested in the past > > module type Mod1 = sig end > module Mod1 : Mod1 = struct end > > since modules and module types have independent name spaces. > But it was not accepted. > Maybe if more people insist, it will be added some day... It would be interesting indeed. -- Rémi Vanicat ------------------- 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