[Caml-list] Trace module load in toplevel?

[Caml-list] Trace module load in toplevel?

[John F. Carr]

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.

Re: [Caml-list] Trace module load in toplevel?

[John F. Carr]

Thanks to Daniel Bünzli 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.

 > 
 > 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.
 > 
 > 
 > -- 
 > 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

Re: [Caml-list] Trace module load in toplevel?

[Daniel Bünzli]

Le vendredi, 14 novembre 2014 à 23:46, John F. Carr a écrit :
> The toplevel should complain if a #load does not define a module.
> I will enter an enhancement request on mantis.

I suspect this is going to be contentious. You may want to #load something that does only side effects but doesn't define any module name (e.g. to install toplevel printers).  

Best,

Daniel