From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA23651; Sun, 5 Oct 2003 22:05:16 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA21866 for ; Sun, 5 Oct 2003 22:05:14 +0200 (MET DST) Received: from sockmel.bononia.it (sockmel.bononia.it [193.201.40.5]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h95CPa114089 for ; Sun, 5 Oct 2003 14:25:36 +0200 (MET DST) Received: from fistandantilus.takhisis.org (sockmel.bononia.it [193.201.40.5]) by sockmel.bononia.it (Postfix) with ESMTP id C224A57007 for ; Sun, 5 Oct 2003 14:25:35 +0200 (CEST) Received: by fistandantilus.takhisis.org (Postfix, from userid 3148) id A4FBB27401F; Sun, 5 Oct 2003 14:23:12 +0200 (CEST) Date: Sun, 5 Oct 2003 14:23:12 +0200 From: Stefano Zacchiroli To: Inria Ocaml Mailing List Subject: [Caml-list] ViM support for OCaml 3.07 .annot type annotations Message-ID: <20031005122312.GB10820@fistandantilus.takhisis.org> Mail-Followup-To: Inria Ocaml Mailing List Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; bononia:01 3.07:01 annotations:01 bononia:01 python:01 ocaml:01 ocaml:01 vim:01 vim:01 cursor:01 identifier:03 bologna:03 zacchiroli:03 zacchiroli:03 romney:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Here: http://www.bononia.it/~zack/stuff/ocaml-dtypes.vim you can find a ViM extension that is able to parse .annot files and print the type of an highlighted (visual mode) part of an ocaml source file. Alternatively it can print the type of the ocaml identifier at the current cursor position. It requires vim-python (i.e. vim built with python support). Cheers. -- Stefano Zacchiroli -- Master in Computer Science @ Uni. Bologna, Italy zack@{cs.unibo.it,debian.org,bononia.it} - http://www.bononia.it/zack/ " I know you believe you understood what you think I said, but I am not sure you realize that what you heard is not what I meant! " -- G.Romney ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners