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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id BF5C3BB84 for ; Sat, 3 Jun 2006 19:26:00 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k53HQ09k010059 for ; Sat, 3 Jun 2006 19:26:00 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA30729 for ; Sat, 3 Jun 2006 19:25:59 +0200 (MET DST) Received: from nz-out-0102.google.com (nz-out-0102.google.com [64.233.162.205]) by nez-perce.inria.fr (8.13.6/8.13.6) with ESMTP id k53HPw6H010053 for ; Sat, 3 Jun 2006 19:25:59 +0200 Received: by nz-out-0102.google.com with SMTP id x3so743107nzd for ; Sat, 03 Jun 2006 10:25:58 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=RL1jUKf4d5dyF91I3FEVY1HJtDGWYHxksg25KUkT24E8jlJcVxU4v9pJ9Y7TRBGQmUiRrIkJj8tVaTuqhfMdglgV5gNd962k0fiAyar/w9Z0IEkxQX4QlOfHa1yghapVBlflp1HTWmXKXHu8ckDb4/RbsUB4MOgmI+aE31UeG9U= Received: by 10.36.178.2 with SMTP id a2mr3809931nzf; Sat, 03 Jun 2006 10:25:58 -0700 (PDT) Received: by 10.36.103.16 with HTTP; Sat, 3 Jun 2006 10:25:58 -0700 (PDT) Message-ID: Date: Sat, 3 Jun 2006 10:25:58 -0700 From: "Nathaniel Gray" To: "Christian Lindig" Subject: Re: [Caml-list] Announce: annot looks up types in *.annot files Cc: "Caml List" In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: X-j-chkmail-Score: MSGID : 4481C626.003 on nez-perce : j-chkmail score : X : 0/20 1 X-Miltered: at nez-perce with ID 4481C628.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4481C626.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; lindig:01 lindig:01 vim:01 ocaml:01 annotation:01 trivial:01 vim:01 cheers:01 wrote:01 uni-sb:01 caml-list:01 caltech:02 caltech:02 implemented:02 string:02 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=RCVD_BY_IP autolearn=disabled version=3.0.3 On 5/17/06, Christian Lindig wrote: > > To lookup types of identifiers from within Vim, I have implemented a > small tool in Ocaml called annot: > > $ annot -type 30 20 main.annot > string list > > Given a cursor position (line 30, column 20) it looks up the type > annotation for that position in main.annot. It is trivial to hook this > to a key in Vim, and probably most other editors. Thanks! This looks really handy. Cheers, -n8 -- >>>-- Nathaniel Gray -- Caltech Computer Science ------> >>>-- Mojave Project -- http://mojave.cs.caltech.edu -->