From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p88EeKBT004264 for ; Thu, 8 Sep 2011 16:40:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwCACXTaE6flYLKgWdsb2JhbABDp38UAQEWJiaBRgEBBAF5BQsLDjhXBhOHdbgrhm0EkzOFA4R6hxs X-IronPort-AV: E=Sophos;i="4.68,350,1312149600"; d="scan'208";a="108164073" Received: from smtp.dico.unimi.it ([159.149.130.202]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 08 Sep 2011 16:40:15 +0200 Received: from ulik.disi.unige.it (ulik.disi.unige.it [130.251.61.165]) (authenticated bits=0) by smtp.dico.unimi.it (8.14.4/8.14.4) with ESMTP id p88EeC4S008734 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Thu, 8 Sep 2011 16:40:12 +0200 Date: Thu, 8 Sep 2011 16:40:07 +0200 (CEST) From: Walter Cazzola To: Philippe Wang cc: OCaML Mailing List In-Reply-To: Message-ID: References: User-Agent: Alpine 2.00 (LFD 1167 2008-08-23) MIME-Version: 1.0 Content-Type: MULTIPART/MIXED; BOUNDARY="8323328-181441907-1315492812=:2830" X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.0 (smtp.dico.unimi.it [159.149.130.202]); Thu, 08 Sep 2011 16:40:12 +0200 (CEST) X-DSI-MailScanner-Information: Please contact the staff for more information X-DSI-MailScanner-ID: p88EeC4S008734 X-DSI-MailScanner: Found to be clean X-DSI-MailScanner-From: cazzola@dico.unimi.it Subject: Re: [Caml-list] separate compilation This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323328-181441907-1315492812=:2830 Content-Type: TEXT/PLAIN; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8BIT 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 ... · · · ---------------------------- · · · ---------------------------- · · · --8323328-181441907-1315492812=:2830--