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
modifying ocaml sources
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2005-06-17 (11:46)
From: Tom Hirschowitz <tom.hirschowitz@e...>
Subject: modifying ocaml sources

Hi all,

We are trying to modify the ocaml compiler in order to have it verify
the well foundedness of recursive module definitions, and have a
question for the long standing ocaml source hackers.

>From early experiments, it seems that the dependencies in the various
.depend files are insufficient. For example, try to modify the version
string, say "3.08.3", in stdlib/sys.cmo, and make the world. Launch
the new toplevel; nothing has changed. How do people deal with this
issue? In the cases we have, cleaning up the executables before making
the world again is enough. Is it in general? 

Thanks.