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=2.1 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_SECURITYSAGE,SPF_NEUTRAL 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 A139FBBAF for ; Mon, 20 Oct 2008 22:16:34 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuQDAO6D/EjAXQIngWdsb2JhbACBcpF9AQEWIqk7hS5fg2w X-IronPort-AV: E=Sophos;i="4.33,453,1220220000"; d="scan'208";a="18970974" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 20 Oct 2008 22:16:34 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9KKGXXI014294 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 20 Oct 2008 22:16:34 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtIBAFeE/EhDWxLCbmdsb2JhbACBcpF9Pqk3hS5fg2w X-IronPort-AV: E=Sophos;i="4.33,453,1220220000"; d="scan'208";a="30552589" Received: from ip67-91-18-194.z18-91-67.customer.algx.net (HELO server1.bertec.net) ([67.91.18.194]) by mail4-smtp-sop.national.inria.fr with ESMTP; 20 Oct 2008 22:16:33 +0200 Received: from kuba.bertec.net (kuba.bertec.net [192.168.2.16]) by server1.bertec.net (Postfix) with ESMTP id 198B6105761 for ; Mon, 20 Oct 2008 16:16:32 -0400 (EDT) From: Kuba Ober To: caml-list@inria.fr Subject: Re: [Caml-list] What does Jane Street use/want for an IDE? What about you? Date: Mon, 20 Oct 2008 16:16:30 -0400 User-Agent: KMail/1.9.10 References: <200810200919.41561.ober.14@osu.edu> <20081020133711.GP14123@janestcapital.com> <9722eaea0810200705x50c51160p91f740a806f7ab15@mail.gmail.com> In-Reply-To: <9722eaea0810200705x50c51160p91f740a806f7ab15@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200810201616.31065.ober.14@osu.edu> X-Miltered: at concorde with ID 48FCE721.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; emacs:01 annotations:01 ocaml:01 wishlist:01 cheers:01 wrote:01 caml-list:01 defined:02 expressions:04 osu:07 probably:07 definition:07 click:92 function:08 function:08 On Monday 20 October 2008, you wrote: > > What are killer features you dream of? > > Clearly, the ability to click on a function to go to the place where it is > defined is the only reason why I switched from emacs to Eclipse I think that Camelia can do that -- it already fetches type annotations from OCaml to generate type tooltips for expressions, so probably fetching function definition locations is either already possible, or would require a little bit of extra work. Goes onto my feature wishlist, and I will enter it into Sourceforge's issue tracker for this project. Cheers, Kuba