From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 EA250BBAF for ; Fri, 13 Aug 2010 21:27:59 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEBANo5ZUzVpUAWkWdsb2JhbACDFZAbgR2MAgEBAQEJCwoHEQMfrXWSAoEmgyFzBIxJWQ X-IronPort-AV: E=Sophos;i="4.55,365,1278280800"; d="scan'208";a="65369049" Received: from mailout-de.gmx.net (HELO mail.gmx.net) ([213.165.64.22]) by mail1-smtp-roc.national.inria.fr with SMTP; 13 Aug 2010 21:27:58 +0200 Received: (qmail invoked by alias); 13 Aug 2010 19:27:56 -0000 Received: from mawercer.at.xencon.net (EHLO mail.gmx.net) [83.246.111.127] by mail.gmx.net (mp052) with SMTP; 13 Aug 2010 21:27:56 +0200 X-Authenticated: #9006135 X-Provags-ID: V01U2FsdGVkX1/CKdMmywjC0bbDMyp/tLUup3yJNpnyggFJ4gWTQm ri59U3vb+8lNmK Received: by mail.gmx.net (sSMTP sendmail emulation); Fri, 13 Aug 2010 21:27:49 +0200 Content-Type: text/plain; charset=UTF-8 Subject: Ocaml Vim omnicompletion From: Marc Weber To: caml-list@yquem.inria.fr Date: Fri, 13 Aug 2010 21:27:49 +0200 Message-Id: <1281727664-sup-827@nixos> User-Agent: Sup/git Content-Transfer-Encoding: 8bit X-Y-GMX-Trusted: 0 X-Spam: no; 0.00; ocaml:01 ocaml:01 mli:01 bindings:01 bloody:98 wrote:01 typing:01 functions:01 int:01 int:01 string:02 string:02 marc:03 marc:03 let:03 Salut, I'd like to notify you that I wrote some very basic omni completion for Vim and Ocaml. It may speed up your typing a little bit. At the moment it only knows how to complete functions found in .mli filse and let bindings of the current file. eg :string->int will find int_of_string ios will also expand to int_of_string repo: http://github.com/MarcWeber/vim-addon-ocaml I highly recommend using vim-addon-manager to install the plugin because it depends on some other vim script reepositories (see top level *info* file) I'm still bloody new to ocaml - So I expect that you have some ideas to make the completion system even smarter. If you have any trouble setting it up contact me on irc or by mail. Marc Weber