On Wed, 27 Aug 2008 23:24:38 +0300
kirillkh <kirillkh@gmail.com> 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.

Regards,

-- 
Maxence Guesdon                           http://yquem.inria.fr/~guesdon/
Service Expérimentation et Développements https://devel.inria.fr/rocq/
INRIA Paris-Rocquencourt                  http://www.inria.fr/rocquencourt/