From: "Jean-Christophe Filliâtre" <Jean-Christophe.Filliatre@lri.fr>
To: Lukasz Stafiniak <lukstafi@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans
Date: Tue, 29 Jul 2008 20:01:10 +0200 [thread overview]
Message-ID: <488F5AE6.4010304@lri.fr> (raw)
In-Reply-To: <4a708d20807290730k133199g3e01e21e417d4d4e@mail.gmail.com>
Lukasz Stafiniak a écrit :
> On Tue, Jul 29, 2008 at 4:16 PM, Damien Doligez <damien.doligez@inria.fr> wrote:
>> OCaml 3.11 has extended .annot files that will allow external tools
>> to do that. Also, it tells you which function calls are tail calls
>> and which are normal calls.
>>
> Cool! Are the http://osp.janestcapital.com/files/ocamlwizard.pdf
> project participants following this? Would be nice to hear their
> progress report :)
They tried, indeed (I'm kind of helping in that projet, so I'm aware of
the progress). Unfortunately, even with the CVS version of Ocaml, the
.annot files appear to lack some information. But the solution currently
followed by Ocamlwizard is along the lines of .annot files, and may even
rely on these files in future version of Ocaml.
--
Jean-Christophe
next prev parent reply other threads:[~2008-07-29 18:01 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-07-26 9:02 hmf
2008-07-26 9:19 ` Richard Jones
2008-07-28 9:58 ` Florian Hars
2008-07-26 10:03 ` Erik de Castro Lopo
2008-07-26 11:40 ` Jon Harrop
2008-07-26 12:07 ` Erik de Castro Lopo
2008-07-26 15:22 ` Jon Harrop
2008-07-29 14:16 ` Damien Doligez
2008-07-29 14:30 ` Lukasz Stafiniak
2008-07-29 18:01 ` Jean-Christophe Filliâtre [this message]
2008-07-26 12:17 ` [off-topic] was " Richard Jones
2008-07-26 15:51 ` Jon Harrop
2008-09-07 21:39 ` Nathaniel Gray
2008-07-26 11:42 ` Jon Harrop
-- strict thread matches above, loose matches on Subject: below --
2008-07-26 12:44 hmf
2008-07-26 12:01 hmf
2008-07-26 12:25 ` Erik de Castro Lopo
2008-07-26 15:37 ` Jon Harrop
2008-07-26 9:18 hmf
2008-07-26 9:22 ` Richard Jones
2008-07-26 8:46 hmf
2008-08-20 6:29 ` Maxence Guesdon
2008-08-20 14:38 ` Richard Jones
2008-08-22 6:34 ` Maxence Guesdon
2008-08-20 16:32 ` Jon Harrop
2008-08-22 6:41 ` Maxence Guesdon
2008-09-07 23:31 ` Nathaniel Gray
2008-09-08 1:10 ` Jon Harrop
2008-09-09 5:31 ` Nathaniel Gray
2008-09-09 7:43 ` Jon Harrop
2008-09-09 7:50 ` Nathaniel Gray
2008-08-27 20:24 ` kirillkh
2008-09-02 6:49 ` Maxence Guesdon
2008-07-22 11:14 adonis28850
2008-07-23 8:42 ` hmf
2008-07-23 8:50 ` adonis28850
2008-07-25 23:56 ` Jon Harrop
2008-07-26 0:24 ` Erik de Castro Lopo
2008-07-26 2:57 ` Jon Harrop
2008-07-26 12:25 ` Romain Beauxis
2008-07-26 9:09 ` Richard Jones
2008-07-28 17:25 ` Pal-Kristian Engstad
2008-07-28 19:25 ` Jon Harrop
2008-07-26 18:12 ` adonis28850
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=488F5AE6.4010304@lri.fr \
--to=jean-christophe.filliatre@lri.fr \
--cc=caml-list@inria.fr \
--cc=lukstafi@gmail.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).