From: Peng Zang <peng.zang@gmail.com>
To: ocaml_beginners@yahoogroups.com
Cc: caml-list@yquem.inria.fr
Subject: Re: "ocaml_beginners"::[] interpreter type information
Date: Sun, 8 Mar 2009 18:54:09 -0400 [thread overview]
Message-ID: <200903081854.11978.peng.zang@gmail.com> (raw)
In-Reply-To: <4a708d20903061327j68f0b4a1wbc64e742b8440be7@mail.gmail.com>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Yeah, I've never announced this properly on the list before because it's not a
nicely packaged, robust piece of software. I wrote it to scratch my own itch
and it works well for that. I haven't had the time to clean it up properly
and release it. If anyone is interested in taking it and making it nice,
contact me and I'll send you the latest code.
Peng
On Friday 06 March 2009 04:27:13 pm Lukasz Stafiniak wrote:
> Wow, I've failed to notice your tools before; thanks for bringing it
> up! I've thought of a tool like SOLID, I even posted my thoughts to
> the list. (I would name it OCamlDev.el, but SOLID sounds better.)
>
> On Fri, Mar 6, 2009 at 9:58 PM, Peng Zang <peng.zang@gmail.com> wrote:
> > -----BEGIN PGP SIGNED MESSAGE-----
> > Hash: SHA1
> >
> > It's available as an extension to the toplevel. See enhtop:
> >
> > http://caml.inria.fr/cgi-bin/hump.en.cgi?contrib=566
> >
> > And my addition to it enhtop+
> >
> > http://www.cc.gatech.edu/~pengzang/tools.html
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.7 (GNU/Linux)
iD4DBQFJtEyTfIRcEFL/JewRAk6UAKCN1wWMW8ISn5iLw9V0EKoIkA7cwgCWPxXs
eqCRn+3u8QbEUxTETCugTw==
=OH/X
-----END PGP SIGNATURE-----
parent reply other threads:[~2009-03-08 22:54 UTC|newest]
Thread overview: expand[flat|nested] mbox.gz Atom feed
[parent not found: <4a708d20903061327j68f0b4a1wbc64e742b8440be7@mail.gmail.com>]
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=200903081854.11978.peng.zang@gmail.com \
--to=peng.zang@gmail.com \
--cc=caml-list@yquem.inria.fr \
--cc=ocaml_beginners@yahoogroups.com \
/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).