Some questions about signatures

From: Juan Jose Garcia Ripoll (
Date: Wed Apr 14 1999 - 09:36:33 MET DST

Date: Wed, 14 Apr 1999 09:36:33 +0200
From: Juan Jose Garcia Ripoll <>
To: Caml list <>
Subject: Some questions about signatures


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?


Juan Jose Garcia Ripoll		www:
Dpto. de Matematicas		job:
E.T.S.I. Industriales		home:
Univ. de Castilla-La Mancha, Ciudad Real E-13071 (Spain)

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:22 MET