From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 50E447EC10 for ; Thu, 21 Jun 2012 23:02:51 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0BAEWL40/RVdm2kWdsb2JhbABFtU8IIgEBAQEJCQ0HEimCMQIsARseAxIQXQERAQUBIjWHWgEDCwuYXIJhCQOMIYJwhRsKGScNV4hxAQUMkSQDiESMZo4kPoQL X-IronPort-AV: E=Sophos;i="4.77,452,1336341600"; d="scan'208";a="163947393" Received: from mail-lb0-f182.google.com ([209.85.217.182]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Jun 2012 23:02:50 +0200 Received: by lbon10 with SMTP id n10so4472845lbo.27 for ; Thu, 21 Jun 2012 14:02:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=OT3hCXMinUtkIFB9aAzYMGmAwwSFYiieBAsabwQ698Y=; b=XJbOiY/S7dyByd7NL/a8NFEuLLD48tDPD1sJCGR15F1GQ/shJK4YBaVGo0bcC4vQdr HrCyJW4YZxiZu3U8VuTy1IPEuGfxkkcg1Vu/lCPUs1Y9bCU3aT2eMQUctI4LVV+65sP3 Qj32fSkGc/BqkgbRkqZSXBtN2b7W2LX+D9wLhxnShnJg5CnXQYLS0oLB0RBpPSRjL/CA ATIzmXdiCRVwJAwuHZtqdmJZ8jWwR0V6TiicAn5jHApiFzKumGG2f9M7Aii9Y5duLoMQ HQWVNFf0zQetcS0+qs9naFKyGFyUJlSI7h2vbxS0L5Nrqrm282lRAzLWMcdIf6viFPYu pKMQ== MIME-Version: 1.0 Received: by 10.112.36.163 with SMTP id r3mr371454lbj.87.1340312569995; Thu, 21 Jun 2012 14:02:49 -0700 (PDT) Received: by 10.112.114.233 with HTTP; Thu, 21 Jun 2012 14:02:49 -0700 (PDT) Date: Fri, 22 Jun 2012 05:02:49 +0800 Message-ID: From: Jun Furuse To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] [ANN] OCamlSpotter for OCaml 4.00.0 beta Hi, I have put a port of OCamlSpotter to OCaml 4.00.0 beta at https://bitbucket.org/camlspotter/ocamlspot . Try the default branch. OCamlSpotter is a source code definition/type query helper for Emacs (and possibly for other editors). See details at http://jun.furuse.info/hacks/ocamlspotter . Thanks to the new -bin-annot option of OCaml, OCamlSpotter no longer requires any compiler patch. It is now a small standalone application very easy to compile and install. It is a very quick port to OCaml 4 and the program is slower than the previous releases, but at least it passes all the existing tests. Probably you may be also interested in TypeRex for the same purpose. Jun