From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id AADBABBAF for ; Sun, 25 Jul 2010 20:37:03 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgoIADYhTExQDPIaZmdsb2JhbACSaIx3FQ0LCAgSAx++foU2BIQI X-IronPort-AV: E=Sophos;i="4.55,258,1278280800"; d="scan'208";a="66912001" Received: from smtp20.orange.fr ([80.12.242.26]) by mail4-smtp-sop.national.inria.fr with ESMTP; 25 Jul 2010 20:37:03 +0200 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2016.orange.fr (SMTP Server) with ESMTP id 7EB73200080F; Sun, 25 Jul 2010 20:37:02 +0200 (CEST) Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2016.orange.fr (SMTP Server) with ESMTP id 6F6762000832; Sun, 25 Jul 2010 20:37:02 +0200 (CEST) Received: from [172.24.130.41] (out1-1601fw.corp.tfbnw.net [66.220.144.27]) by mwinf2016.orange.fr (SMTP Server) with ESMTP id A6A42200080F; Sun, 25 Jul 2010 20:37:01 +0200 (CEST) X-ME-UUID: 20100725183701682.A6A42200080F@mwinf2016.orange.fr X-ME-User-Auth: padator@wanadoo.fr Subject: Re: [Caml-list] OCamlSpotter for OCaml 3.12.0+rc1 Mime-Version: 1.0 (Apple Message framework v1078) Content-Type: text/plain; charset=us-ascii From: Yoann Padioleau In-Reply-To: Date: Sun, 25 Jul 2010 11:37:00 -0700 Cc: caml-list Content-Transfer-Encoding: quoted-printable Message-Id: <4E338414-66F6-4F69-8780-6B56F9D677A1@wanadoo.fr> References: To: Jun Furuse X-Mailer: Apple Mail (2.1078) X-Spam: no; 0.00; ocaml:01 furuse:01 compiler:01 syntax:01 ocaml:01 ocaml's:01 c-c:01 otags:01 functor:01 overwritten:01 ocamlc:01 ocamlopt:01 mli:01 patched:01 emacs:01 On Jul 23, 2010, at 11:29 PM, Jun Furuse wrote: >=20 > Hi Caml-list, >=20 > I have updated OCamlSpotter, a compiler enhancement for source code > browsing, to version 3.12.0.0.0, which supports new syntax constructs > introduced in OCaml 3.12.0+rc1. This is a very quick porting version > for people who are already using OCamlSpotter with OCaml 3.11.2. >=20 > OCamlSpotter is a tool which finds definition places of various names > (identifiers, type names, modules, etc) in OCaml programs > automatically for you. The original OCaml's -annot option provides the > same sort of functionality Really ? What is the difference between -annot and -dtypes. To me -dtypes only help to print type information under the cursor (With C-c = C-t). It does not help to find the definition of a name (like otags). > but OCamlSpotter provides much more > powerful browsing: it can find definitions hidden in the deep nested > module aliases and functor applications. This looks really useful. Any chance of this being integrated in the = official OCaml distribution ? I don't feel comfortable overwriting my current ocaml binaries. Also how does it interact with previously compiled = object files ? I am using godi so once I have overwritten the ocaml binaries from godi, = do I have to reinstall all the libraries ? >=20 > - The -annot option of ocamlc and ocamlopt is extended and creates > .spot files (.spit for .mli), which record the > location information of the names defined and used in the module. >=20 > - A small application ocamlspot provides automatic where-about > spotting of the definition of the name you are interested in, using > .spot files created by the patched compilers. >=20 > - ocamlspot.el provides interactive ocaml-spotting of definition > locations in emacs. >=20 > - Interfaces for other editors such as vi could be built easily, if = you want. >=20 > The source code is available from Mercurial repo at ocamlforge: >=20 > Further information and download is available at: >=20 > = http://hg.ocamlcore.org/cgi-bin/hgwebdir.cgi/ocamlspotter/ocamlspotter/ >=20 > Documents are available currently at: >=20 > http://jun.furuse.info/hacks/ocamlspotter >=20 > which will be moved to ocamlforge soon. >=20 > Happy hacking. > Jun >=20 > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs >=20