From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A10B17EE88 for ; Sat, 30 Apr 2016 03:55:08 +0200 (CEST) IronPort-PHdr: 9a23:/83UxR8PbQw/F/9uRHKM819IXTAuvvDOBiVQ1KB92+4cTK2v8tzYMVDF4r011RmSDdWdu60P1rSempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lSsiC0I/qiaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wyseLivwPCQA/H3XAcX38biFIcDAHP9hD3WtHquSv3rOdn8CafNMzyC7szXGLxwb1sTUrKlSEcMDg2uEXWwph0jrkdrBu7pBJ+2I78b4ScNf44daTYK4BJDVFdV9pcAnQSSri3aJECWq9YZb5V Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ljs.darkfish@gmail.com; spf=Pass smtp.mailfrom=ljs.darkfish@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f182.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ljs.darkfish@gmail.com) identity=pra; client-ip=209.85.192.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ljs.darkfish@gmail.com designates 209.85.192.182 as permitted sender) identity=mailfrom; client-ip=209.85.192.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pf0-f182.google.com) identity=helo; client-ip=209.85.192.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="postmaster@mail-pf0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BCAAATECRXj7bAVdFehHkPBrlqAQ2BdoYQAoEiBzgUAQEBAQEBAQERAQEBAQcLCwkhL4ItghQBAQEDARIRHQEbHQEDAQsGBQQHDSoCAiEBAREBBQEcBhMih3IBAwoIpQqBMT4xizuBaoJXhxsKGScNUYN9AQEBAQEBBAEBAQEBAQETAQUKBYpegkGEfIJWBY5KhFiEQDGMIYF2gWeHdoU0h1GGIRIegQ4eAQGCOh6BdRwwiQEBAQE X-IPAS-Result: A0BCAAATECRXj7bAVdFehHkPBrlqAQ2BdoYQAoEiBzgUAQEBAQEBAQERAQEBAQcLCwkhL4ItghQBAQEDARIRHQEbHQEDAQsGBQQHDSoCAiEBAREBBQEcBhMih3IBAwoIpQqBMT4xizuBaoJXhxsKGScNUYN9AQEBAQEBBAEBAQEBAQETAQUKBYpegkGEfIJWBY5KhFiEQDGMIYF2gWeHdoU0h1GGIRIegQ4eAQGCOh6BdRwwiQEBAQE X-IronPort-AV: E=Sophos;i="5.24,554,1454972400"; d="scan'208,217";a="176265843" Received: from mail-pf0-f182.google.com ([209.85.192.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Apr 2016 03:54:43 +0200 Received: by mail-pf0-f182.google.com with SMTP id 77so22511816pfv.2 for ; Fri, 29 Apr 2016 18:54:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=ZBp6Fdd2nBmRNXAkrCb/+IPMOgyEQtjHDcKJMw8oXyE=; b=OjL6FxjLNe9rzrimOj5pIIP1+f6I+A9s8h0JDQMOUlN1EYsaP43oHZea9ezFoUBSWv WBtroABbP2zMCqVylVi3LBcHRLphiETHivMK373gQPjDwUt9cXYP/xBHz8cxs7YsGPWq ySJ2xHj4us1yYu2p8UNpMAxqXGst3k/rsTaXjA68SMocd4rzdgH2SGQWNY+CIBVeYKGM Oah4A1/+MC486F1osi6j8I2L4eTKtEbHVb7spto/uKFyv/2lVwWV0b8DPRIhBY2YE5pf X795whhGdeEqxzr4MmlPPfyq+qmkllaGTtlau9irUQT70COWsj0YyoHs3jMQsUZioVQB 1FXA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=ZBp6Fdd2nBmRNXAkrCb/+IPMOgyEQtjHDcKJMw8oXyE=; b=k62rk1sqMUltqxlMutvAphZX2w1DpwbNa3/hf13RoUosLoMDYb1lRX7xnuNTa9s6lV uf0bNm2T6Ejx+Jv7CEyiBXUXPDhcIx2wH4lB6zLNpsrAjbFozD6sE3id7a430ra4PtU1 nhrj5YuWpGoLmXwbEBx5ktxIijmjUsQwPLWYDjSw3UknAVz45yXvZZfUIQqFzMBt+dWt 5mSjbhED772kZ9TvvOb9sRz8PQ/n3ckSiPuH+gWSaj53FT8+bxwNIfaX4PftUcjoaNXu i/Ie/p2nvNahHmKYs3hyQbrgpuVpVjsciHnbsgfiacLWIejafi3aSXxEDvOG6jVSCeNu k3wQ== X-Gm-Message-State: AOPr4FXKJLtxbV++McmWLKi1VS0uSCr9XowGKxVQC5oGRwFLM1mTJochqwq2zZf8iEpMBOob/BIhJw59fXjlQQ== MIME-Version: 1.0 X-Received: by 10.98.35.212 with SMTP id q81mr34129965pfj.108.1461981281924; Fri, 29 Apr 2016 18:54:41 -0700 (PDT) Received: by 10.66.121.200 with HTTP; Fri, 29 Apr 2016 18:54:41 -0700 (PDT) In-Reply-To: References: Date: Fri, 29 Apr 2016 18:54:41 -0700 Message-ID: From: Junsong Li To: Gabriel Scherer Cc: Jeremie Dimino , caml users Content-Type: multipart/alternative; boundary=001a113e4636fa3ece0531aa0a30 Subject: Re: [Caml-list] Can we implement #load to load dependencies automatically? --001a113e4636fa3ece0531aa0a30 Content-Type: text/plain; charset=UTF-8 Oops, I need to read the manual more carefully. #load_rec works. Thanks! On Fri, Apr 29, 2016 at 3:54 AM, Gabriel Scherer wrote: > Note that since 4.03, the OCaml toplevel comes with a "#help" > directive that makes it easy to discover the available directives > and their meaning. > > Utop, even on earlier OCaml versions, additionally provides an > #utop_help command that describes utop-specific features (key > bindings, macros). > > On Fri, Apr 29, 2016 at 6:28 AM, Jeremie Dimino > wrote: > > If all dependencies are in the search path, you should be able to use > > `#load_rec`, which does exactly this > > > > On Fri, Apr 29, 2016 at 5:57 AM, Junsong Li > wrote: > >> > >> Hi list, > >> > >> I am wondering why we can't make #load to load everything needed > >> automatically, given object files already in the search path. > >> > >> FYI, currently, it only shows the error (t opens B and uses B.x) > >> > >> utop # #load "t.cmo";; > >> Error: Reference to undefined global `B' > > > > > > > > > > -- > > Jeremie > --001a113e4636fa3ece0531aa0a30 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Oops, I need to read the manual more carefully. #load_rec = works.

Thanks!
On Fri, Apr 29, 2016 at 3:54 AM, Gabriel Schere= r <gabriel.scherer@gmail.com> wrote:
Note that since 4.03, the OCaml toplevel comes with a &q= uot;#help"
directive that makes it easy to discover the available directives
and their meaning.

Utop, even on earlier OCaml versions, additionally provides an
#utop_help command that describes utop-specific features (key
bindings, macros).

On Fri, Apr 29, 2016 at 6:28 AM, Jeremie Dimino <jdimino@janestreet.com> wrote:
> If all dependencies are in the search path, you should be able to use<= br> > `#load_rec`, which does exactly this
>
> On Fri, Apr 29, 2016 at 5:57 AM, Junsong Li <ljs.darkfish@gmail.com> wrote:
>>
>> Hi list,
>>
>> I am wondering why we can't make #load to load everything need= ed
>> automatically, given object files already in the search path.
>>
>> FYI, currently, it only shows the error (t opens B and uses B.x) >>
>> utop # #load "t.cmo";;
>> Error: Reference to undefined global `B'
>
>
>
>
> --
> Jeremie

--001a113e4636fa3ece0531aa0a30--