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=1.1 required=5.0 tests=AWL,SPF_FAIL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 494EFBBAF for ; Fri, 9 Jan 2009 16:08:29 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhABAOP2ZknUTWUFkGdsb2JhbACHHIgYhF0BAQEBCQkMBxEEsDqLLYVv X-IronPort-AV: E=Sophos;i="4.37,239,1231110000"; d="scan'208";a="33512459" Received: from mx1.wp.pl ([212.77.101.5]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 09 Jan 2009 16:08:29 +0100 Received: (wp-smtpd smtp.wp.pl 7573 invoked from network); 9 Jan 2009 16:08:25 +0100 Received: from phpdk6.ph.kcl.ac.uk (HELO [137.73.5.196]) (d0@[137.73.5.196]) (envelope-sender ) by smtp.wp.pl (WP-SMTPD) with AES256-SHA encrypted SMTP for ; 9 Jan 2009 16:08:25 +0100 Message-ID: <49676862.9090406@wp.pl> Date: Fri, 09 Jan 2009 15:08:18 +0000 From: Dawid Toton User-Agent: Thunderbird 1.5.0.12 (X11/20090107) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Toplevel - load cmo from given location References: <496759E1.3070104@uj.edu.pl> <20090109.153939.9450351754532580.Christophe.Troestler+ocaml@umons.ac.be> In-Reply-To: <20090109.153939.9450351754532580.Christophe.Troestler+ocaml@umons.ac.be> Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-WP-AV: skaner antywirusowy poczty Wirtualnej Polski S. A. X-WP-SPAM: NO 0000000 [gfPU] X-Spam: no; 0.00; toplevel:01 cmo:01 enum:01 cmo:01 cmi:01 cmi:01 toplevel:01 unbound:01 caml-list:01 behaviour:01 module:03 loading:05 problem:05 fails:05 manual:06 >> The problem is that it gives "Unbound module Enum" while no error about loading the cmo&cmi is shown. > > The #directory instruction is needed to find the .cmi. I see, so there are 2 problems: * why the failure to load cmi is silent in this case? * why the toplevel fails to check for cmi where the cmo is located? This looks as incorrect behaviour (the reference manual doesn't mention any exceptional rules for the #load directive). Dawid