From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jfc@mit.edu>
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 D71017FAED
	for <caml-list@sympa.inria.fr>; Fri, 14 Nov 2014 23:05:13 +0100 (CET)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  jfc@mit.edu) identity=pra; client-ip=18.7.68.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jfc@mit.edu"; x-sender="jfc@mit.edu";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  jfc@mit.edu designates 18.7.68.36 as permitted sender)
  identity=mailfrom; client-ip=18.7.68.36;
  receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@dmz-mailsec-scanner-7.mit.edu) identity=helo;
  client-ip=18.7.68.36;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="jfc@mit.edu";
  x-sender="postmaster@dmz-mailsec-scanner-7.mit.edu";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Ar4BAKd7ZlQSB0QklWdsb2JhbABb2i0WAQEBAQERAQEBAQcNCQkSMIRDilEDrBeffwGGLhiRJ4Q1BYwRhjaMBZhBDAGCRoMaAQEB
X-IPAS-Result: Ar4BAKd7ZlQSB0QklWdsb2JhbABb2i0WAQEBAQERAQEBAQcNCQkSMIRDilEDrBeffwGGLhiRJ4Q1BYwRhjaMBZhBDAGCRoMaAQEB
X-IronPort-AV: E=Sophos;i="5.07,387,1413237600"; 
   d="scan'208";a="88258334"
Received: from dmz-mailsec-scanner-7.mit.edu ([18.7.68.36])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 14 Nov 2014 23:05:13 +0100
X-AuditID: 12074424-f79346d000004923-be-54667c97b9ab
Received: from mailhub-auth-4.mit.edu ( [18.7.62.39])
	(using TLS with cipher AES256-SHA (256/256 bits))
	(Client did not present a certificate)
	by dmz-mailsec-scanner-7.mit.edu (Symantec Messaging Gateway) with SMTP id D4.88.18723.79C76645; Fri, 14 Nov 2014 17:05:11 -0500 (EST)
Received: from outgoing.mit.edu (outgoing-auth-1.mit.edu [18.9.28.11])
	by mailhub-auth-4.mit.edu (8.13.8/8.9.2) with ESMTP id sAEM5Ahn011729
	for <caml-list@inria.fr>; Fri, 14 Nov 2014 17:05: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 sAEM54kt011439
	(version=TLSv1/SSLv3 cipher=AES128-SHA bits=128 verify=NOT)
	for <caml-list@inria.fr>; Fri, 14 Nov 2014 17:05:10 -0500
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <21606.31887.377127.386622@gargle.gargle.HOWL>
Date: Fri, 14 Nov 2014 17:05:03 -0500
From: "John F. Carr" <jfc@mit.edu>
To: caml-list@inria.fr
X-Mailer: VM 8.1.2 under 24.4.1 (amd64-portbld-freebsd10.0)
X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFnrOIsWRmVeSWpSXmKPExsUixG6nrju9Ji3E4NwHdYtPOzawODB6THpx
	iCWAMYrLJiU1J7MstUjfLoEr49fbuawFS5grlmztZm9gPMLUxcjJISFgIrH/ViMLhC0mceHe
	erYuRi4OIYHZTBKTtpxlB0kICZxilDh02QIicZ9J4uGX36wgCV4BQYmTM5+AdTMLaEnc+PeS
	CcKWl9j+dg4zRI2VxKGZ58BsFgFViaazf8GGsgkoSXxaMwusVwRo86z5V8BsYQF1iTs31zJC
	XGQt0d24gXUCI98sJOtmIVk3C8m6BYzMqxhlU3KrdHMTM3OKU5N1i5MT8/JSi3TN9XIzS/RS
	U0o3MYKDzEVlB2PzIaVDjAIcjEo8vCucU0OEWBPLiitzDzFKcjApifKurEwLEeJLyk+pzEgs
	zogvKs1JLT7EKMHBrCTCuyQXKMebklhZlVqUD5OS5mBREufd9IMvREggPbEkNTs1tSC1CCar
	y8EhsGzaRguBc3vuHmOUYsnLz0tVkuB1qAaaJFiUmp5akZaZU4JQz8TBCbKNB2jbHpAa3uKC
	xNzizHSI/CmgeS1Nb3uZhMAGSYnz2lUBFQmAFGWU5sHNgaWPV4ziQH8K8zaDjOIBph64Sa+A
	ljABLWE8lgqypCQRISXVwJjffuauUN/3glW2igdMv3p/mVXuezfyvPyZXqUX6alT9/471JRd
	W5l/w5mh9r7zgwTmQ1+UxSyPZha92W79c9uU+FVuy8p2bUjzueGzI2I5m3uOsb9s/B639L7z
	kZ8mPMk9f9Tfkot9s/FpsU+Cn7r32l3s7efIn2P11//WPFlv+d8SbR9qNZVYijMSDbWYi4oT
	AUFlQNr6AgAA
Subject: [Caml-list] Trace module load in toplevel?


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

1. Have the toplevel tell me what modules are being defined during #load,

2. Dump the list of all top level module bindings,

or

3. Find out what modules the top level would define after loading a file?

I thought ocamlobjinfo would be the answer to (3), but it is not.