From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 41FC3BCA2 for ; Fri, 12 Aug 2005 17:45:25 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j7CFjOO5027693 for ; Fri, 12 Aug 2005 17:45:24 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA18831 for ; Fri, 12 Aug 2005 17:45:24 +0200 (MET DST) Received: from kraid.nerim.net (smtp-105-friday.nerim.net [62.4.16.105]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j7CFjNkH019593 for ; Fri, 12 Aug 2005 17:45:24 +0200 Received: from karryall.dnsalias.org (karryall.dnsalias.org [213.41.180.99]) by kraid.nerim.net (Postfix) with ESMTP id C96F740E2A; Fri, 12 Aug 2005 17:45:22 +0200 (CEST) Received: by karryall.dnsalias.org (Postfix, from userid 500) id 8E55C596F65; Fri, 12 Aug 2005 17:45:23 +0200 (CEST) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <17148.50195.537649.7148@karryall.dnsalias.org> Date: Fri, 12 Aug 2005 17:45:23 +0200 From: Olivier Andrieu To: Richard Jones Cc: caml-list@inria.fr Subject: Re: [Caml-list] Usability problems with ocamlmktop / toplevels In-Reply-To: <20050812152827.GA4162@furbychan.cocan.org> References: <20050812152827.GA4162@furbychan.cocan.org> X-Mailer: VM 7.19 under Emacs 21.4.1 X-Miltered: at concorde with ID 42FCC414.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 42FCC413.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; andrieu:01 andrieu:01 ijm:01 caml-list:01 ocamlmktop:01 toplevels:01 toplevel:01 toplevel:01 runtime:01 cmi:01 unbound:01 unbound:01 jussieu:01 modules:01 argument:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Hi Richard, Richard Jones [Friday 12 August 2005] : > (3) Some libraries are linked into the toplevel, but apparently can't > be accessed. For instance, Calendar ExtLib must be linked into the > toplevel because our main code relies on them; however no symbols from > either are visible: > > $ ./adwords > Objective Caml version 3.08.2 > > # Date.today ();; > Unbound value Date.today > # open Date;; > Unbound module Date > # ExtString.String.split;; > Unbound value ExtString.String.split That's because the toplevel needs access to the .cmi of the modules _at runtime_. Use the -I argument of the toplevel, or the #directory directive. -- Olivier