From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <ljs.darkfish@gmail.com>
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 78EC47EE88
	for <caml-list@sympa.inria.fr>; Fri, 29 Apr 2016 06:57:26 +0200 (CEST)
IronPort-PHdr: 9a23:CVr3DR/Lbn29xf9uRHKM819IXTAuvvDOBiVQ1KB91uocTK2v8tzYMVDF4r011RmSDdWdu68P27uempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lSsiC0o/nhqibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwu3cYh/V0/MdFVe3nZKkiVvQMBz0jNyUx5db3nRjFVwqGoHUGBDY4iB1NVirY6gr9WJi5liqy4u5/w2+WNNf1Q7EvWRyt6q5qTFnjjyJRZG1xy33elsEl1PETmxmmvREqm4M=
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-f174.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.174;
  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.174 as permitted
  sender) identity=mailfrom; client-ip=209.85.192.174;
  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-f174.google.com) identity=helo;
  client-ip=209.85.192.174;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="ljs.darkfish@gmail.com";
  x-sender="postmaster@mail-pf0-f174.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0CCAABI6CJXj67AVdFehQgGpU4GgVUEA4cujQqHNAc7EQEBAQEBAQEBEQEBAQEHCwsJIS9BEgGBWYILIhEdARseAxIIAQIFNwIkAREBBQEiNYdyAQMSojCCB4ExPjGLO4FqgleHQQoZJw1RhB4BBQoFhUqMUIJWBY5IiUmBLoxpgVGNQI1yEh6BDjaCQoF1HDCBRoYiAQEB
X-IPAS-Result: A0CCAABI6CJXj67AVdFehQgGpU4GgVUEA4cujQqHNAc7EQEBAQEBAQEBEQEBAQEHCwsJIS9BEgGBWYILIhEdARseAxIIAQIFNwIkAREBBQEiNYdyAQMSojCCB4ExPjGLO4FqgleHQQoZJw1RhB4BBQoFhUqMUIJWBY5IiUmBLoxpgVGNQI1yEh6BDjaCQoF1HDCBRoYiAQEB
X-IronPort-AV: E=Sophos;i="5.24,550,1454972400"; 
   d="scan'208,217";a="176151015"
Received: from mail-pf0-f174.google.com ([209.85.192.174])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 29 Apr 2016 06:57:25 +0200
Received: by mail-pf0-f174.google.com with SMTP id c189so43698369pfb.3
        for <caml-list@inria.fr>; Thu, 28 Apr 2016 21:57:25 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:date:message-id:subject:from:to;
        bh=FrMauRwHYP0xCHICj45n/6qmAzLAvX9aWIXfOyY6TnA=;
        b=fW+LVtLFibSPMDb9spxwnHxPeaLE0zLldYhdKWsVQ+UW4jwJ1bQM8VKA+ukjb+01Dx
         o8m3VPa8YReJOrhXzqUTjbWnPPs0Y7X9SJ61T49NgBd6dqqb99D+O/OLloKia3PPUwMF
         EW2fSvqfnaxDwTr/UqLeMasKqXmPMyKgKg3fxisQdWnIEaPOErJJUovSxC0CpR37A6+8
         c15dBdA+Ye6eu07KIAPtOVzLf7cLKb3gLZMnBHQuiURf/CnEgy1IKwi9jMzFACEF6Nto
         34H166IyXxmYmGPr8iPlTcibIuMj+C4QWChUM2pjF61+rVwLzkFwIaXjzZp8GZ4GmuCO
         OiQQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:date:message-id:subject:from:to;
        bh=FrMauRwHYP0xCHICj45n/6qmAzLAvX9aWIXfOyY6TnA=;
        b=SJMd7YF0AVQtHicfalfs1ZKMeVi2uHKMTdVrfbbNjRVaRtw7iPx3idqmvJe80AwPwD
         cm0WWVJ+D9sKjNxMJ3MJBpI+WnjHULeer/4L6FJuMxnKGAeq4kBYR1jzNXRQFv9L46KG
         +W4aWF2TYBWpR6ZRGLk7OxMLIJQJ9O08IzW/lCBp3RBDZag4UGPhxe4r8anwnEj/P4OJ
         PszXXUVQY4CdjkuExVgqlfwnKb2kddh0VSGoWg5VRpF8HDvxuXKO8qA/UQeVGTzjphkf
         h9UJWpEDql8bRepLu1O03wLVgTE1UoRTJjSNb7Y/PQk15f9hJPSrVHxlknEs9avPEgZd
         j/WA==
X-Gm-Message-State: AOPr4FUhmBgYs1Ve16GsAhbXCePIirOwVlSOIECYYdlNpvEzYykWmfq6whT/MTFdPuNshndGigycT4z3qwoong==
MIME-Version: 1.0
X-Received: by 10.98.101.199 with SMTP id z190mr26211476pfb.1.1461905843554;
 Thu, 28 Apr 2016 21:57:23 -0700 (PDT)
Received: by 10.66.121.200 with HTTP; Thu, 28 Apr 2016 21:57:23 -0700 (PDT)
Date: Thu, 28 Apr 2016 21:57:23 -0700
Message-ID: <CA+kGxtPL63H98XHG_1h2WBaw06VoE_=zAMMVBuoYwqnoO9UuhA@mail.gmail.com>
From: Junsong Li <ljs.darkfish@gmail.com>
To: caml users <caml-list@inria.fr>
Content-Type: multipart/alternative; boundary=94eb2c1238be8012870531987a8d
Subject: [Caml-list] Can we implement #load to load dependencies
 automatically?

--94eb2c1238be8012870531987a8d
Content-Type: text/plain; charset=UTF-8

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'

--94eb2c1238be8012870531987a8d
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">Hi list,<div><br></div><div>I am wondering why we can&#39;=
t make #load to load everything needed automatically, given object files al=
ready in the search path.<div><br></div><div>FYI, currently, it only shows =
the error (t opens B and uses B.x)</div><div><br></div><div><div>utop # #lo=
ad &quot;t.cmo&quot;;;</div><div>Error: Reference to undefined global `B&#3=
9;</div></div></div></div>

--94eb2c1238be8012870531987a8d--