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.4 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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 59377BBAF for ; Fri, 22 Aug 2008 08:35:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArYQALn6rUhQDPIvWmdsb2JhbACBZZAzARYCCQgNBASjaWCBCA X-IronPort-AV: E=Sophos;i="4.32,250,1217800800"; d="scan'208";a="16347404" Received: from smtp21.orange.fr ([80.12.242.47]) by mail1-smtp-roc.national.inria.fr with ESMTP; 22 Aug 2008 08:35:29 +0200 Received: from alcazar.inria.fr (ADijon-158-1-7-162.w92-130.abo.wanadoo.fr [92.130.22.162]) by mwinf2111.orange.fr (SMTP Server) with ESMTP id A3BFD1C0008F; Fri, 22 Aug 2008 08:35:28 +0200 (CEST) X-ME-UUID: 20080822063528670.A3BFD1C0008F@mwinf2111.orange.fr Date: Fri, 22 Aug 2008 08:41:13 +0200 From: Maxence Guesdon To: Jon Harrop Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans Message-ID: <20080822084113.208f18ce@alcazar.inria.fr> In-Reply-To: <200808201732.07275.jon@ffconsultancy.com> References: <1217061979.488ae45b452b9@webmail.inescporto.pt> <20080820082921.5100632e@alcazar.inria.fr> <200808201732.07275.jon@ffconsultancy.com> 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 lablgtk:01 inference:01 annotations:01 rocquencourt:01 plug-in:98 wrote:01 wrote:01 caml-list:01 expression:02 objects:02 On Wed, 20 Aug 2008 17:32:07 +0100 Jon Harrop wrote: > On Wednesday 20 August 2008 07:29:21 you wrote: > > So I already use Chamo for my daily work (development, edition of text > > files). What's missing now is access to more information like location = of > > definitions, completion and so on. I'm waiting for the result of > > ocamlwizard[3] to see how to use these tools in Chamo to provide these > > missing features. >=20 > Intellisense-style completion would be incredibly productive, particularl= y in=20 > the context of GUI programming but note that doing this for LablGTK2 woul= d=20 > require the system to have used type inference and type annotations on th= e=20 > structurally-typed objects in the source code to determine the type of th= e=20 > start of an expression in order to propose completions for it. Indeed. By the way, I'm not a big fan of completion, I prefer to use/train my memory :-) Maxence --=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/