RE: [Caml-list] separate compilation

2011-09-09 Thread David Allsopp
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

Re: [Caml-list] separate compilation

2011-09-08 Thread Walter Cazzola
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

Re: [Caml-list] separate compilation

2011-09-08 Thread AUGER Cedric
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