From: Piotr Wieczorek <p.wieczorek@epf.pl>
To: caml-list <caml-list@inria.fr>
Subject: A few patches to Ocaml 3.09.2
Date: Tue, 12 Dec 2006 10:10:15 +0100 [thread overview]
Message-ID: <457E71F7.3070508@epf.pl> (raw)
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/)
next reply other threads:[~2006-12-12 9:05 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-12-12 9:10 Piotr Wieczorek [this message]
2006-12-13 14:35 ` [Caml-list] " Piotr Wieczorek
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=457E71F7.3070508@epf.pl \
--to=p.wieczorek@epf.pl \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
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).