From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 15A8B7EE88 for ; Fri, 29 Apr 2016 12:54:56 +0200 (CEST) IronPort-PHdr: 9a23:nSaf7hKWOD+VjI3tu9mcpTZWNBhigK39O0sv0rFitYgUIvTxwZ3uMQTl6Ol3ixeRBMOAu6IC27Sd6fyocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34Lniavop9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DvOVwaK53ZUfmQTkxxPS1zH4BD/X5H2minzsOdmxDOXMNGwRrcxD2eM9aBuHTDhgj0GOjpxy2rXh9Z9luoPrxurvR1yx8jPa4GYLvdkVqzYdNIeA2FGW5ACBGR6HoqgYt5XXKI6NuFCoty4/gNWoA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f173.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.173 as permitted sender) identity=mailfrom; client-ip=209.85.223.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-io0-f173.google.com) identity=helo; client-ip=209.85.223.173; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f173.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BIAAAcPSNXkK3fVdFehQgGpzeSQoF2hg8CgSYHORMBAQEBAQEBAREBAQEBBw0JCSEvgi2CFQEBBBIRHQEbHQEDDAYFCwMKAgImAgIhAQERAQUBHAYTIodyAQMSpFeBMT4xizuBaoJXh00KGScNUYN6AQEBAQYBAQEBARUBBQoFbYUlhEyCQYR8glYBBJdiMYFVikyBdo8Rh1GGIRIegQ4iAYI3HoFxIDCJAQEBAQ X-IPAS-Result: A0BIAAAcPSNXkK3fVdFehQgGpzeSQoF2hg8CgSYHORMBAQEBAQEBAREBAQEBBw0JCSEvgi2CFQEBBBIRHQEbHQEDDAYFCwMKAgImAgIhAQERAQUBHAYTIodyAQMSpFeBMT4xizuBaoJXh00KGScNUYN6AQEBAQYBAQEBARUBBQoFbYUlhEyCQYR8glYBBJdiMYFVikyBdo8Rh1GGIRIegQ4iAYI3HoFxIDCJAQEBAQ X-IronPort-AV: E=Sophos;i="5.24,551,1454972400"; d="scan'208";a="216339215" Received: from mail-io0-f173.google.com ([209.85.223.173]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Apr 2016 12:54:46 +0200 Received: by mail-io0-f173.google.com with SMTP id f89so103662847ioi.0 for ; Fri, 29 Apr 2016 03:54:46 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=5wstjWMTgaQtHHlKtGPzr5r9k5StCxdxFssBQs09Tu4=; b=FkRDsAs4NpyUiFtg65ai0lmKifw69fk3syWmEjvieX0cchjbsM1cdJHVPrCnnutWCt mH4DAIILbV6MCs1jXQI+St7CXb59TtKxM/9HfcYobAHeuJtfgL7fIYWE93Oi4njVNty2 Iao/US56TP1Z2h9ezWG89Cvx9yMJUnar0LOBHOO4inkSTpAD0Jm0lJ2g8sVYzcOFt9xN iEIILItzLmMVy0Ki2TeUtqRIhPfQQGcgNn+0GO0LwbZ5mFVJ+2WoHLegu0mG0PE562zW UegqVXRHjoEUR8RPpfeN5uDZJvfAs/6uswzdY4pn3ambwGpZkMu3l+xo/O2v3G3vns8+ HSqw== 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:from:date :message-id:subject:to:cc; bh=5wstjWMTgaQtHHlKtGPzr5r9k5StCxdxFssBQs09Tu4=; b=eOz0VMWWqGoqSBYjwVjqZv2fWMSqQtRfWQCJJ8xMebJU8sgynJgDC2HHsKelj2811b QD2cGunfgG574IRezZ1S1poQ8UyOxBwexMSQGEuzx5x9H6si7IHOI7QaA2fTlNGP/e2X 6SWMojO0qAymsbOO8hBH6qMO5dIWmlF5OuosJMii1emNyHTuHXo75oDXWgDEWb5L56Nn QBEHGHUSOgx7F2xiElvl3f0+WvQdtFlxgAi3PpBBzS5wxLaXDZA9wjlG+ung36v/guvu MgxHxUq8Ax8C4gsNrXYbM0dYTlPcPcarGHoRFuY/L7+pCeI+2RQEwdKPSS2wc9mA2E+E 0zDA== X-Gm-Message-State: AOPr4FX6JjVBZFJa8ApjEX7zoczE9mOmtoKDpHOhfJZaiTJU+cdQ5S8z9xX/ZEsHm5In/LnAIttyJyQ7tTH0jQ== X-Received: by 10.107.169.13 with SMTP id s13mr22403886ioe.19.1461927285538; Fri, 29 Apr 2016 03:54:45 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.89.195 with HTTP; Fri, 29 Apr 2016 03:54:06 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Fri, 29 Apr 2016 06:54:06 -0400 Message-ID: To: Jeremie Dimino Cc: Junsong Li , caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Can we implement #load to load dependencies automatically? 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