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-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 <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.


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/