Le 2 nov. 05 à 13:00, Tom Hawkins a écrit :

> Building a cma/cmxa is fine -- I am working on a library after  
> all.  But for this to work, how are the mli files handled?  I tried  
> several variations of the following, but again, I'm faced with  
> "Unbound module type Bottom":

It is true that when I applied the scheme I described to my own code  
I inelegantly cut and pasted Bottom's type in Top's one.

It seems that although a compiled file a.ml defines a module named A,  
a compiled file a.mli doesn't define a module type A, strange  
asymmetry. Apparently an old feature wish about this is in the  
bugtracking system [1]. Maybe we should wish again ? The problem of  
the wish is that granting it could break existing code.

Daniel

[1] <http://pauillac.inria.fr/bin/caml-bugs/feature%20wish?id=1471>