[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2006-12-12 (09:05) |
From: | Piotr Wieczorek <p.wieczorek@e...> |
Subject: | A few patches to Ocaml 3.09.2 |
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/)