From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id B325DBBAF for ; Tue, 2 Sep 2008 08:43:14 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.32,313,1217800800"; d="scan'208";a="14473228" Received: from alcazar.inria.fr ([128.93.24.50]) by mail2-relais-roc.national.inria.fr with ESMTP; 02 Sep 2008 08:43:14 +0200 Date: Tue, 2 Sep 2008 08:49:08 +0200 From: Maxence Guesdon To: kirillkh Cc: hmf@inescporto.pt, caml-list@yquem.inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans Message-ID: <20080902084908.66e8cef2@alcazar.inria.fr> In-Reply-To: References: <1217061979.488ae45b452b9@webmail.inescporto.pt> <20080820082921.5100632e@alcazar.inria.fr> Organization: INRIA X-Mailer: Claws Mail 3.5.0 (GTK+ 2.12.11; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; maxence:01 guesdon:01 maxence:01 guesdon:01 ocaml:01 compiler:01 emacs:01 rocquencourt:01 plug-in:98 wrote:01 caml-list:01 behaviour:01 arbitrary:02 expression:02 expression:02 On Wed, 27 Aug 2008 23:24:38 +0300 kirillkh wrote: > Hi, >=20 > Sorry for a late reply. This line caught my attention: >=20 > - Chamo uses .annot files to display type information (Alt-t), > > >=20 > - Can Chamo infer and display type of an arbitrary expression in the sour= ce > code? > - Does it work for user-created types (which, supposedly, don't have .ann= ot > 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, --=20 Maxence Guesdon http://yquem.inria.fr/~guesdon/ Service Exp=E9rimentation et D=E9veloppements https://devel.inria.fr/rocq/ INRIA Paris-Rocquencourt http://www.inria.fr/rocquencourt/