As part of my master's thesis I've written a few patches to the Ocaml 
3.09.2 compiler.
You can find them under: http://rainbow.mimuw.edu.pl/pw189451/~ocaml/
Patch:
export.patch - lets you specify signatures of submodules of packed 
module to be included in signature of the packed module.
    It adds command line argument -export "<module_name1> <module_name2>..."
extsig.patch - makes compiler to search for signature of the given name 
in .cmi files.
    You can write: "import Sig" in mli file and it makes compiler to 
look for sig.cmi file and load signature from the file.
sigops.patch - lets you create new signature based on source signature 
by specifying which fields of the signature should/should not be exported.
    You can write "include Sig without (val foo and type bar)" or 
"include Sig using (val rhu and type barb)"
retyping.patch - lets you retype bytecode module to use new signature 
being subtype of the signature of the module
    It adds command line argument "ocamlc Mod.cmo -retype -o 
new/Mod.cmo" - if there is Mod.cmi in "new" directory it will try to 
make it signature of the new/Mod.cmo module.
whole.patch - patch being sum of all the above mentioned patches.

Perhaps you'll find them interesting.

Yours sincerely,
PiotrWieczorek

---------------------
Panorama Internetu - prognoza pogody, poczta e-mail z najwiêkszym za³±cznikiem, SMS, wyszukiwarki: Gooru, Anonser, serwisy: randki, og³oszenia, wakacje, program TV, Kina, muzyka, DVD, newsy, inne.
http://www.panoramainternetu.pl/ (http://www.epf.pl/)