English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

Browse thread
Nesting Modules
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-11-02 (12:09)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Re: [Caml-list] Nesting Modules

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.


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