Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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-09-02 (06:43)
From: Maxence Guesdon <Maxence.Guesdon@i...>
Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans
On Wed, 27 Aug 2008 23:24:38 +0300
kirillkh <> wrote:

> Hi,
> Sorry for a late reply. This line caught my attention:
> - Chamo uses .annot files to display type information (Alt-t),
> >
> - Can Chamo infer and display type of an arbitrary expression in the source
> code?
> - Does it work for user-created types (which, supposedly, don't have .annot
> files)?
> - Is it tolerant to erroneous/incomplete code?

Chamo uses .annot files produced by the compiler when the -dtypes is
specified. If the expression has a type indicated in the .annot file, than
it is displayed, else no indication is displayed. If the source file has
been modified after the .annot file was created, then a message indicate
that the current .annot file is obsolete and must be updated by compiling
again. This is the same behaviour as under emacs.


Maxence Guesdon                 
Service Expérimentation et Développements
INRIA Paris-Rocquencourt