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 95EF17FAED for ; Fri, 14 Nov 2014 23:46:13 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jfc@mit.edu) identity=pra; client-ip=18.7.68.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jfc@mit.edu"; x-sender="jfc@mit.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jfc@mit.edu designates 18.7.68.34 as permitted sender) identity=mailfrom; client-ip=18.7.68.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jfc@mit.edu"; x-sender="jfc@mit.edu"; 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@dmz-mailsec-scanner-5.mit.edu) identity=helo; client-ip=18.7.68.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jfc@mit.edu"; x-sender="postmaster@dmz-mailsec-scanner-5.mit.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At4BAAaFZlQSB0QilWdsb2JhbABbg2NavEGQQ4dOAoEdFgEBAQEBEQEBAQEJCwkJEjCEAwEBAwFuGwslIUUSBiWIGgMJCQMKyyMDYQGGAgELAR8YkFc6FoQ1BYUlBYZnhjaEW4cqgXGZI4MaAQEB X-IPAS-Result: At4BAAaFZlQSB0QilWdsb2JhbABbg2NavEGQQ4dOAoEdFgEBAQEBEQEBAQEJCwkJEjCEAwEBAwFuGwslIUUSBiWIGgMJCQMKyyMDYQGGAgELAR8YkFc6FoQ1BYUlBYZnhjaEW4cqgXGZI4MaAQEB X-IronPort-AV: E=Sophos;i="5.07,387,1413237600"; d="scan'208";a="107003508" Received: from dmz-mailsec-scanner-5.mit.edu ([18.7.68.34]) by mail2-smtp-roc.national.inria.fr with ESMTP; 14 Nov 2014 23:46:12 +0100 X-AuditID: 12074422-f79436d000000c21-c9-546686339409 Received: from mailhub-auth-2.mit.edu ( [18.7.62.36]) (using TLS with cipher AES256-SHA (256/256 bits)) (Client did not present a certificate) by dmz-mailsec-scanner-5.mit.edu (Symantec Messaging Gateway) with SMTP id 45.4B.03105.33686645; Fri, 14 Nov 2014 17:46:11 -0500 (EST) Received: from outgoing.mit.edu (outgoing-auth-1.mit.edu [18.9.28.11]) by mailhub-auth-2.mit.edu (8.13.8/8.9.2) with ESMTP id sAEMkB2P023214 for ; Fri, 14 Nov 2014 17:46:11 -0500 Received: from atropos (pool-108-20-186-221.bstnma.fios.verizon.net [108.20.186.221]) (authenticated bits=0) (User authenticated as jfc@ATHENA.MIT.EDU) by outgoing.mit.edu (8.13.8/8.12.4) with ESMTP id sAEMkAEp025014 (version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT) for ; Fri, 14 Nov 2014 17:46:11 -0500 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable Message-ID: <21606.34352.410007.445644@gargle.gargle.HOWL> Date: Fri, 14 Nov 2014 17:46:08 -0500 From: "John F. Carr" To: In-Reply-To: <21606.31887.377127.386622@gargle.gargle.HOWL> References: <21606.31887.377127.386622@gargle.gargle.HOWL> X-Mailer: VM 8.1.2 under 24.4.1 (amd64-portbld-freebsd10.0) X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFvrAIsWRmVeSWpSXmKPExsUixG6nomvclhZi0LnO2OLTjg0sDowek14c YglgjOKySUnNySxLLdK3S+DK2HP4B2vBGY6KozfXsDQwPmbrYuTkkBAwkbj6bRY7hC0mceHe eqA4F4eQwGwmiZ0zZjNDOKcYJZZO+c0EUiUkcJ9J4mGDMojNKyAocXLmExYQm1lAR2Ln1jts ELa2xLKFr5khaqwkvp9eB9bLIqAq0bAMYg6bgJLEpzWzgHo5OEQEJCTmbLQFMYUFzCW+TASr 4BSwlthx8RUzSFgIaMrM054QZ1pLdDduYJ3AKDALyQ2zkNwwC8kNCxiZVzHKpuRW6eYmZuYU pybrFicn5uWlFuma6uVmluilppRuYgSHo4vSDsafB5UOMQpwMCrx8K5wTg0RYk0sK67MPcQo ycGkJMobW5cWIsSXlJ9SmZFYnBFfVJqTWnyIUYKDWUmEd0YtUI43JbGyKrUoHyYlzcGiJM67 6QdfiJBAemJJanZqakFqEUxWl4NDYNm0jRYC5/bcPcYoxZKXn5eqJMF7oQVokmBRanpqRVpm TglCPRMHJ8g2HqBt8q0g24oLEnOLM9Mh8qcYFaXEeaVBmgVAEhmleXC9sITyilEc6DdhXmWQ dh5gMoLrfgU0mAloMOOxVJDBJYkIKakGxpUrPlY4vX8mU/z4xym/AGMz9TnqVfUOocKfnOY4 reZ51JIbOnMb67O1coWTVvI9YdL1lK/xaMzMFjw62fPDtI1zfx/9UKfzUPLzl1v/Nyn3sU38 vJHj0UnJx421wRJ77upy2H0qyNr0qqvsYK91eC7bA0fjXStrfzyRu7Y1g/WP9Jrry35eWK3E UpyRaKjFXFScCAAU6eheAwMAAA== Subject: Re: [Caml-list] Trace module load in toplevel? Thanks to Daniel B=FCnzli for pointing out the problem: the .cmi file was not visible. I see in the archives this has come up before. I'm sure I learned it before, but forgot. I had a different directory structure than usual tonight. The toplevel should complain if a #load does not define a module. I will enter an enhancement request on mantis. >=20 > Some modules I'm loading are not visible in the toplevel after #load > of the .cmo (or .cma) files defining them. Is there any way to >=20 > 1. Have the toplevel tell me what modules are being defined during #load, >=20 > 2. Dump the list of all top level module bindings, >=20 > or >=20 > 3. Find out what modules the top level would define after loading a file? >=20 > I thought ocamlobjinfo would be the answer to (3), but it is not. >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs