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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id B6738BBAF for ; Sat, 26 Jul 2008 17:21:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AngEALvdikjAXQInYWdsb2JhbACLGYcrFwUGBhSbUQ X-IronPort-AV: E=Sophos;i="4.31,255,1215381600"; d="scan'208";a="15527805" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Jul 2008 17:21:51 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6QFLpFU009310 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sat, 26 Jul 2008 17:21:51 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnYAALvdikjUnw6Ej2dsb2JhbACLGYc1AQEBAQkFDxEDm04 X-IronPort-AV: E=Sophos;i="4.31,255,1215381600"; d="scan'208";a="13480438" Received: from pih-relay05.plus.net ([212.159.14.132]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 26 Jul 2008 17:21:51 +0200 Received: from [90.192.139.40] (helo=beast.local) by pih-relay05.plus.net with esmtpa (Exim) id 1KMlag-0002si-43 for caml-list@inria.fr; Sat, 26 Jul 2008 16:21:50 +0100 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@inria.fr Subject: Re: [Caml-list] New Ocaml Plug-in for NetBeans Date: Sat, 26 Jul 2008 16:22:03 +0100 User-Agent: KMail/1.9.9 References: <1217062966.488ae8367f0d2@webmail.inescporto.pt> <200807261240.10757.jon@ffconsultancy.com> <20080726220755.9232fa7f.mle+ocaml@mega-nerd.com> In-Reply-To: <20080726220755.9232fa7f.mle+ocaml@mega-nerd.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200807261622.04410.jon@ffconsultancy.com> X-Plusnet-Relay: 28cb9d608b7612512d2bf11178595b59 X-Miltered: at concorde with ID 488B410F.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 compilation:01 dependencies:01 nedit:01 nedit:01 emacs:01 mli:01 mli:01 ocaml:01 plug-in:98 frog:98 wrote:01 wrote:01 compile:01 caml-list:01 On Saturday 26 July 2008 13:07:55 Erik de Castro Lopo wrote: > Jon Harrop wrote: > > Yet Make is not expressive enough so we have OMake, OCamlBuild. > > I find Make expressive enough. I don't use these others. The others are particularly useful when you have multiple stages of compilation that introduce new dependencies at compile time. > > I assume nedit does not even have basic type throwback, let alone > > documentation throwback? > > There are ways of getting this to work with nedit but I never > bothered because I don't like it. I find type throwback in Emacs invaluable and I miss documentation throwback enormously. > If I need documentation I read the mli files. With bash command > line completion in an xterm I can find the one I want in a second > and I keep it open in a nedit window and then alt-tab between the > window I'm editing and the mli file I'm reading. Sometimes I stick > the two side by side. That is exactly what I do when writing OCaml at the moment and I find that it leaves a lot to be desired. For example, I cannot even jump to the definition of an identifier reliably. I can look at the identifier and guess where it came from, potentially having to manually trawl through directories of source files exactly as you describe, hoping to find the correct location from many identifiers with the same name. But it would be much easier if I could simply jump directly to the location of the definition and then jump back. That could be done from plain text editors. -- Dr Jon D Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/products/?e