Re: [Caml-list] separate compilation

[Walter Cazzola <cazzola@dico.unimi.it>]

[-- Attachment #1: Type: TEXT/PLAIN, Size: 1356 bytes --]

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 least it seems to) information contained in
> your mli file.

this is exactly how I've tried to compile it, in my current dir I've:

   >ll
   total 16
   -rw-r--r--. 1 cazzola collab 382 Sep  8 15:51 A.cmi
   -rw-r--r--. 1 cazzola collab 553 Sep  8 16:25 A.ml
   -rw-r--r--. 1 cazzola collab 263 Sep  8 15:42 A.mli
   -rw-r--r--. 1 cazzola collab  56 Sep  8 15:46 main.ml

so the .cmi for the signature is there but when I do:

   >ocamlc -c A.ml
   File "A.ml", line 17, characters 39-52:
   Error: Unbound module type CharPQueueAbs

I don't know what to do, I've also tried to change the file name to the
structure/signature name but nothing changed.

Any other suggestion?

Walter

-- 
Walter Cazzola, PhD - Associate Professor, DICo, University of Milano
E-mail: cazzola@dico.unimi.it  Ph.: +39 02 503 16300  Fax: +39 02 503 16253
· · · ---------------------------- · · · ---------------------------- · · ·
                ... recursive: adjective, see recursive ...
· · · ---------------------------- · · · ---------------------------- · · ·