From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p23IZ16e029098
	for <caml-list@sympa-roc.inria.fr>; Thu, 3 Mar 2011 19:35:01 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlUCAKxtb03UGyoFkWdsb2JhbACYXY4IFQEBAQEJCwoHEQMivlqFYQSPeQ8
X-IronPort-AV: E=Sophos;i="4.62,259,1297033200"; 
   d="scan'208";a="101207687"
Received: from smtp5-g21.free.fr ([212.27.42.5])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Mar 2011 19:34:55 +0100
Received: from yeeloong (unknown [82.67.194.89])
	by smtp5-g21.free.fr (Postfix) with SMTP id 16B50D480FF
	for <caml-list@inria.fr>; Thu,  3 Mar 2011 19:34:47 +0100 (CET)
Received: by yeeloong (sSMTP sendmail emulation); Thu, 03 Mar 2011 19:34:40 +0100
Date: Thu, 3 Mar 2011 19:34:40 +0100
From: rixed@happyleptic.org
To: caml-list@inria.fr
Message-ID: <20110303183439.GA10881@yeeloong.happyleptic.org>
References: <20110226214403.GA20532@yeeloong.happyleptic.org>
 <20110227120027.GA3544@aurora>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20110227120027.GA3544@aurora>
User-Agent: Mutt/1.5.20 (2009-06-14)
Subject: Re: [Caml-list] Calling the toplevel from the toplevel

> Actually you can, you just have to make sure that .cmi files are
> available in the search paths of the toplevel when you run your
> application.

Now I think I'm seeing what you was refering to.
This problem seams to be general to ocaml. For instance, if I have
a directory foo with object files bar.cmo and cmi in it, then from
ocaml:

# #load "foo/bar.cmo";;
# module X = Bar;;
Error: Unbound module Bar

While if I copy bar.cmi into the current directory the module Bar is
bound.

I find it weird that the cmi is not looked for in the same directory
where the cmo was found. Is there a way to change this ?