From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: *** X-Spam-Status: No, score=3.7 required=5.0 tests=DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS,FORGED_YAHOO_RCVD autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id ADEBFBC6B for ; Wed, 11 Apr 2007 05:03:14 +0200 (CEST) Received: from out4.smtp.messagingengine.com (out4.smtp.messagingengine.com [66.111.4.28]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3B33EJw031450 for ; Wed, 11 Apr 2007 05:03:14 +0200 Received: from compute2.internal (compute2.internal [10.202.2.42]) by out1.messagingengine.com (Postfix) with ESMTP id D420F216AEB for ; Tue, 10 Apr 2007 23:03:33 -0400 (EDT) Received: from heartbeat1.messagingengine.com ([10.202.2.160]) by compute2.internal (MEProxy); Tue, 10 Apr 2007 23:03:14 -0400 X-Sasl-enc: ePelef0P1/BLC/zTGEL7JgS99wL+iKfXhbiDPvd9oO/4 1176260594 Received: from [192.168.1.110] (dyndsl-204-16-43-246.dslblast.com [204.16.43.246]) by mail.messagingengine.com (Postfix) with ESMTP id 1355C1CA23 for ; Tue, 10 Apr 2007 23:03:13 -0400 (EDT) Message-ID: <461C50C7.6090802@yahoo.com> Date: Tue, 10 Apr 2007 20:06:47 -0700 From: Jeff Henrikson User-Agent: Thunderbird 1.5.0.10 (Macintosh/20070221) MIME-Version: 1.0 To: caml-list@inria.fr Subject: nonresolved .cma files and errors Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-j-chkmail-Score: MSGID : 461C4FF2.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 461C4FF2.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; henrikson:01 jehenrik:01 camlp:01 camlp:01 notation:01 cmo:01 jehenrik:01 ocamlc:01 -pp:01 functor:01 ocamlc:01 -pp:01 cmo:01 functor:01 henrikson:01 Hello caml-list, I recently had a shocking realization about why some of my experiments with camlp4 weren't compiling. I had been linking camlp4.cma, which was the old name of the library. Now camlp4.cma doesn't exist and there are multiple flavors Camlp4xxx.cma where the xxx is the same flavor notation of the the preprocessor binaries. So the trouble is, why was linking such a library not a fatal? Apparently all missing .cma and .cmo files passed on the command line are considered non-errors. It seems intutive to me that both should be fatals! ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -pp camlp4orf junk.cma camlp4orf.cma -c dynamic_functor_example3.ml ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -pp camlp4orf junk.cmo camlp4orf.cma -c dynamic_functor_example3.ml ~/src/camlp4-beta jehenrik$ ocamlc -I +camlp4 -pp camlp4orf junk.ml camlp4orf.cma -c dynamic_functor_example3.ml I/O error: "junk.ml: No such file or directory" Preprocessor error This is the behavior in 3.09.3 as well. What is the rationale behind this design choice? Regards, Jeff Henrikson