caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* A few patches to Ocaml 3.09.2
@ 2006-12-12  9:10 Piotr Wieczorek
  2006-12-13 14:35 ` [Caml-list] " Piotr Wieczorek
  0 siblings, 1 reply; 3+ messages in thread
From: Piotr Wieczorek @ 2006-12-12  9:10 UTC (permalink / raw)
  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/)


^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [Caml-list] A few patches to Ocaml 3.09.2
  2006-12-12  9:10 A few patches to Ocaml 3.09.2 Piotr Wieczorek
@ 2006-12-13 14:35 ` Piotr Wieczorek
  0 siblings, 0 replies; 3+ messages in thread
From: Piotr Wieczorek @ 2006-12-13 14:35 UTC (permalink / raw)
  To: Piotr Wieczorek; +Cc: 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


^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [Caml-list] A few patches to Ocaml 3.09.2
@ 2006-12-13 16:08 Piotr Wieczorek
  0 siblings, 0 replies; 3+ messages in thread
From: Piotr Wieczorek @ 2006-12-13 16:08 UTC (permalink / raw)
  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/)


^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2006-12-13 16:03 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-12-12  9:10 A few patches to Ocaml 3.09.2 Piotr Wieczorek
2006-12-13 14:35 ` [Caml-list] " Piotr Wieczorek
2006-12-13 16:08 Piotr Wieczorek

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).