From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA10231 for caml-redistribution; Thu, 15 Apr 1999 17:47:01 +0200 (MET DST) 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 JAA28052 for ; Wed, 14 Apr 1999 09:42:29 +0200 (MET DST) Received: from alarcos.uclm.es (alarcos.uclm.es [161.67.26.25]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id JAA08085 for ; Wed, 14 Apr 1999 09:42:27 +0200 (MET DST) Received: from ind-cr.uclm.es (IDENT:jjgarcia@[161.67.37.202]) by alarcos.uclm.es (8.9.0/8.9.0.Epi) with ESMTP id JAA14971 for ; Wed, 14 Apr 1999 09:42:26 +0200 Sender: weis Message-ID: <37144581.87032AC2@ind-cr.uclm.es> Date: Wed, 14 Apr 1999 09:36:33 +0200 From: Juan Jose Garcia Ripoll Organization: Universidad de Castilla-La Mancha X-Mailer: Mozilla 4.5 [en] (X11; I; Linux 2.2.0 i686) X-Accept-Language: en, es-ES MIME-Version: 1.0 To: Caml list Subject: Some questions about signatures Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Hi, I must admit that I'm more fluent in SML than in OCaml and that's the reason for these questions. 1) Are OCaml's signatures opaque? I mean if they do hide the real implementation of data types and of non-declared values to the public, much like SML's :> 2) How can I extend a signature with new values and types? I've been using the 'include' directive, but I did not find it in the manual. Is this supposed to work or is it just a Caml-Light reminiscent. 3) What is the simplest way to build toplevel modules using functors? In SML everything on every file is bound to the toplevel environment and one can do just 'structure NewStruct = AFunctor(structure A = AParameter)' to get a brand new module. But in OCaml toplevel modules are defined in term of two files (mli/ml) so what are my options if I dont want to add a spurious path name? Regards Juanjo -- Juan Jose Garcia Ripoll www: http://www.arrakis.es/~worm Dpto. de Matematicas job: jjgarcia@ind-cr.uclm.es E.T.S.I. Industriales home: worm@arrakis.es Univ. de Castilla-La Mancha, Ciudad Real E-13071 (Spain)