English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Re: [Caml-list] New Ocaml Plug-in for NetBeans
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-07-29 (18:01)
From: Jean-Christophe_Filliâtre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans
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.