Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] A few patches to Ocaml 3.09.2

1 view
Skip to first unread message

Piotr Wieczorek

unread,
Dec 12, 2006, 4:09:04 AM12/12/06
to caml-list
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/)

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

Piotr Wieczorek

unread,
Dec 13, 2006, 9:33:40 AM12/13/06
to Piotr Wieczorek
Piotr Wieczorek napisał(a):

> 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/
I've made a mistake correct address is:
http://rainbow.mimuw.edu.pl/~pw189451/ocaml/

Best regards,
Piotr Wieczorek

Piotr Wieczorek

unread,
Dec 13, 2006, 11:06:58 AM12/13/06
to caml-list
Piotr Wieczorek napisał(a):
> 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/
I've made a mistake correct address is:
http://rainbow.mimuw.edu.pl/~pw189451/ocaml/

Best regards,
Piotr Wieczorek


---------------------
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/)

_______________________________________________

0 new messages