Walter Cazzola wrote:
Hi,
thanks Cedric i got the point, I can separate interface from the
implementation but:
The main point of interfaces is to constrain the inferred interface of a module
(e.g. hide functions or types which shouldn't be exposed to another module or
constraint polymorphic
On Thu, 8 Sep 2011, Philippe Wang wrote:
#stuff are generally for interactive top-level use.
#use and #load definitely are. They can't be compiled.
thanks I missed this particular.
First, compile interface files:
ocamlc -c a.mli
then compile your ml :
ocamlc -c a.ml
because your ml uses (at
Le Thu, 8 Sep 2011 16:42:39 +0200 (CEST),
Walter Cazzola cazz...@dico.unimi.it a écrit :
On Thu, 8 Sep 2011, Esther Baruk wrote:
You must also put the signature of the module type CharPQueueAbs in
the implementation (A.ml).
this means that can't I separate signature from the