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.0 required=5.0 tests=none 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 7877ABBAF for ; Wed, 20 Aug 2008 18:31:22 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkMBAGjjq0jUnw4Uomdsb2JhbACCLo9pAQEBAQEBBQcGCRGjSYFZ X-IronPort-AV: E=Sophos;i="4.32,240,1217800800"; d="scan'208";a="14139211" Received: from pih-relay08.plus.net ([212.159.14.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 20 Aug 2008 18:31:00 +0200 Received: from [90.198.246.49] (helo=beast.local) by pih-relay08.plus.net with esmtpa (Exim) id 1KVqaJ-00023B-3O; Wed, 20 Aug 2008 17:30:59 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: Maxence Guesdon , caml-list@yquem.inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans Date: Wed, 20 Aug 2008 17:32:07 +0100 User-Agent: KMail/1.9.9 References: <1217061979.488ae45b452b9@webmail.inescporto.pt> <20080820082921.5100632e@alcazar.inria.fr> In-Reply-To: <20080820082921.5100632e@alcazar.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200808201732.07275.jon@ffconsultancy.com> X-Plusnet-Relay: c218d555f3467988d1fceb59030ad609 X-Spam: no; 0.00; ocaml:01 lablgtk:01 inference:01 annotations:01 makefile:01 ocamldoc:01 cameleon:01 cameleon:01 snippets:01 plug-in:98 frog:98 wrote:01 caml-list:01 expression:02 objects:02 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. Intellisense-style completion would be incredibly productive, particularly in the context of GUI programming but note that doing this for LablGTK2 would require the system to have used type inference and type annotations on the structurally-typed objects in the source code to determine the type of the start of an expression in order to propose completions for it. > 2. Use "dump" files to store the results of these tools and Makefile > targets to produce them (that the way ocamldoc is used in Cameleon for > browsing documentation) I have found -dtypes to be very slow on large code bases and I assume this is because it generates such huge dump files. Perhaps this could be optimized somehow? > [1] http://home.gna.org/cameleon/chamo.en.html > [2] http://home.gna.org/cameleon/snippets.en.html > [3] http://osp.janestcapital.com/files/ocamlwizard.pdf These are really exciting projects... :-) -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e