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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2A0247EE88 for ; Fri, 29 Apr 2016 12:28:22 +0200 (CEST) IronPort-PHdr: 9a23:EgPjjhVgdX3rk38jYWtnHzyFtxXV8LGtZVwlr6E/grcLSJyIuqrYZhGPt8tkgFKBZ4jH8fUM07OQ6PCwHzxeqszd+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq82VM1sD3mb1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GJ5FCi8hNW99wMyj4R3BVk2D72EfXGQNkjJHBgHE6FfxWZKn4QXgse8o+iSAMMj3QPgYWDGj6aAjHB3kiSIGMTkR8mjRh9dslq9WvFSqoBkpkN2cW52cKPcrJvCVRtgdX2cUBss= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout3.mail.janestreet.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.229 as permitted sender) identity=mailfrom; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.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@mxout3.mail.janestreet.com) identity=helo; client-ip=38.105.200.229; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout3.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AgAADZNSNXiuXIaSZehQgGrguGbYRzAQ2BdoYPAoEmBzgUAQEBAQEBAQERAQEBCBYJUIItghUBAQMBEhEdAQE3AQQLCwQBBgM0AgIhARIBBQEcBhMih3MDCggDpHWBMT4xilRnhEEBBIgQDYRLAQEBAQEFAQEBAQEBAQESBgqGF4RMgkGEfIJWl2cxjCGBdo8Rh1GGIRIegQ4eAQGCOh6BVmuJAQEBAQ X-IPAS-Result: A0AgAADZNSNXiuXIaSZehQgGrguGbYRzAQ2BdoYPAoEmBzgUAQEBAQEBAQERAQEBCBYJUIItghUBAQMBEhEdAQE3AQQLCwQBBgM0AgIhARIBBQEcBhMih3MDCggDpHWBMT4xilRnhEEBBIgQDYRLAQEBAQEFAQEBAQEBAQESBgqGF4RMgkGEfIJWl2cxjCGBdo8Rh1GGIRIegQ4eAQGCOh6BVmuJAQEBAQ X-IronPort-AV: E=Sophos;i="5.24,551,1454972400"; d="scan'208,217";a="216335769" Received: from mxout3.mail.janestreet.com ([38.105.200.229]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 29 Apr 2016 12:28:21 +0200 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout3.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1aw5el-0007sy-UJ for caml-list@inria.fr; Fri, 29 Apr 2016 06:28:19 -0400 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BXIzdD-AAADOl-cK; 2016-04-29 06:28:19.902411-04:00 Received: from mail-oi0-f72.google.com ([209.85.218.72]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1aw5el-0004jm-Q7 for caml-list@inria.fr; Fri, 29 Apr 2016 06:28:19 -0400 Received: by mail-oi0-f72.google.com with SMTP id y69so199741976oif.0 for ; Fri, 29 Apr 2016 03:28:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=7IcGZaBeRrriGp4coNaCjIj6jQXWujlYqiu6wFtx9yo=; b=lSaNcXj8bIml2ABat3kcAePvWf3/JqRlaa9cxMoGfFKiDTBy1h3vjs348DgaIbkN+Y B96mwDbDtWocQ9WfEm6rk3T3L5/RB+gVlcE77WNmiQJSe1fg1/ZHoO3QVevOoBTBh++i gRGLlHf953Gz4vXyn5i+mV4z3oZ0+4J0OHlOA= 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=7IcGZaBeRrriGp4coNaCjIj6jQXWujlYqiu6wFtx9yo=; b=ixo4gfFZS0aDm7ekNqnYvbnkfxg+fa07E06pUElZGNn8nK6EA5a5m1KvmWcItnh9hM gzXYNZFKsgxIGt6kMlncZS4b1bbvof+eOyQ3S6fA8siRIZsl0UFuhVh55gDmVxqDGtFY eYKogVFBg6u3IaWnr9xME29kYnd8k5I6R7HiBCQGq55Y3YIYdEyErOGunF5PJa6MvDyM uHhthzq9jvLaALEVMQrCUs3hooAThBhKiuStzwZ7P5svbSXuJ83hQiGBEU1cxCuyHC65 L/7a2MkRuLhy5OihOB340C0xFaiWS8n4uU3OEr44zEf3RrMTtNjOJ6y5ofgNk7R2bB+s 1b7g== X-Gm-Message-State: AOPr4FWU3fi2hIZn5YJ08KEACL4xVjgi1N1nD34qctQVv9I1J3D6F2f1Qsfa2SpJo0JavOdpaAQGf8sPO07kpD63uEbqerM+u9nXEDoEf9OG6F3X8NT09HteoxFgQzeaYqYANzavgquQT/U7Shr18LrgwhFatzRQfYg0aZmW1mY= X-Received: by 10.50.97.71 with SMTP id dy7mr3738226igb.0.1461925699419; Fri, 29 Apr 2016 03:28:19 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.50.97.71 with SMTP id dy7mr3738205igb.0.1461925699242; Fri, 29 Apr 2016 03:28:19 -0700 (PDT) Received: by 10.50.35.69 with HTTP; Fri, 29 Apr 2016 03:28:19 -0700 (PDT) In-Reply-To: References: Date: Fri, 29 Apr 2016 11:28:19 +0100 Message-ID: From:Jeremie Dimino To:Junsong Li Cc:caml users Content-Type: multipart/alternative; boundary=047d7b10cfc1fde50a05319d194e X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Can we implement #load to load dependencies automatically? --047d7b10cfc1fde50a05319d194e Content-Type: text/plain; charset=UTF-8 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 --047d7b10cfc1fde50a05319d194e Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
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:5= 7 AM, Junsong Li <ljs.darkfish@gmail.com> wrote:
Hi list,

I = am wondering why we can't make #load to load everything needed automati= cally, given object files already in the search path.

FY= I, currently, it only shows the error (t opens B and uses B.x)
utop # #load "t.cmo";;
Error: Referen= ce to undefined global `B'



--
Jeremie
--047d7b10cfc1fde50a05319d194e--