Version franēaise
Home     About     Download     Resources     Contact us    
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: -- (:)
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.

-- 
Jean-Christophe