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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 83D077F6CB for ; Thu, 29 Jan 2015 11:01:29 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of refis.thomas@gmail.com) identity=pra; client-ip=209.85.212.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of refis.thomas@gmail.com designates 209.85.212.169 as permitted sender) identity=mailfrom; client-ip=209.85.212.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f169.google.com) identity=helo; client-ip=209.85.212.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="postmaster@mail-wi0-f169.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CCAQB6BMpUlKnUVdFag1hZBIJ9thGLSocKB0MBAQEBAREBAQEBBwsLCRIwhCURHQEbHgMNBRAPAiYCJAERAQUBIjWHdQEDEQ2wQYMrPjGLLoFrgneLFgoZJw1UhQEBBQ6BE5FGgUEFkj+FV4FNjy8SI4EMCVuBGIIdPjEBgkEBAQE X-IPAS-Result: A0CCAQB6BMpUlKnUVdFag1hZBIJ9thGLSocKB0MBAQEBAREBAQEBBwsLCRIwhCURHQEbHgMNBRAPAiYCJAERAQUBIjWHdQEDEQ2wQYMrPjGLLoFrgneLFgoZJw1UhQEBBQ6BE5FGgUEFkj+FV4FNjy8SI4EMCVuBGIIdPjEBgkEBAQE X-IronPort-AV: E=Sophos;i="5.09,485,1418079600"; d="scan'208";a="98095228" Received: from mail-wi0-f169.google.com ([209.85.212.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Jan 2015 11:01:28 +0100 Received: by mail-wi0-f169.google.com with SMTP id h11so7599352wiw.0 for ; Thu, 29 Jan 2015 02:01:28 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=KdEVhLCdf/+HdbKjV2q13LQD5STvK4yFP9gmuapbBsQ=; b=d0bhk4U71StVXG2bRxPB/kjwHp5XX13YMqACK4PBUFzm66Nz6bduAYpcpbocnN1BU5 bMSdSgRotxNAyzPMVFV+mgX6FWYsemGBT7UH6WB23zDJVyCtTFdiflDKGXoTrcz1nRGB z+Q1G5tvUgfxy9QTnWt4OrMMLsruVYwCH7YP/L3U84eoA/jvoIRskyidisQoXeRFg0SR 9tDNWn0XhG0m9F+4/CZv+98FhaAyXNnf390nnLu/WOlWmPiK73fuMeJ5GpHNMf/dQw6j qpw6MsNojhYXsQ53FN5U9aU/Kpbtve9Sm9YUov4OtKQkg8FOJJapdKPB84oSDJQeT2fZ 2sMw== MIME-Version: 1.0 X-Received: by 10.180.207.110 with SMTP id lv14mr2624698wic.41.1422525688394; Thu, 29 Jan 2015 02:01:28 -0800 (PST) Sender: refis.thomas@gmail.com Received: by 10.180.87.39 with HTTP; Thu, 29 Jan 2015 02:01:28 -0800 (PST) Date: Thu, 29 Jan 2015 10:01:28 +0000 X-Google-Sender-Auth: VRQlqUWXcWPqKvNYoIciUYWxbvY Message-ID: From: Thomas Refis To: caml users Content-Type: text/plain; charset=UTF-8 X-Validation-by: thomas.refis@gmail.com Subject: [Caml-list] [ANN] Merlin 2.1 released Merlin is an editor-independent tool to ease the developement of programs in OCaml. It aims at providing features available in modern IDEs such as: "as you type" error reporting, auto completion, source browsing ("jump to definition"), extraction of type, ... Merlin is available on opam and can be installed with `opam install merlin`. It can also be built from sources, which are available at http://github.com/the-lambda-church/merlin . As always you can find a full changelog at https://github.com/the-lambda-church/merlin/blob/master/CHANGELOG , but the highlights are : - The introduction of support for PPX syntax extensions. - The introduction of a "destruct" command for automatic match pattern generation, as demonstrated on : http://the-lambda-church.github.io/merlin/destruct.ogv - Major changes to the vim plugin, introducing (among other things) a type history buffer allowing one to navigate the history of printed types and copy/paste them. We want to thank: Geoff Gole, Rudi Grinberg, Markus Mottl, Roman Vorobets and Arthur Wendling, who all contributed to this release. We also thank JaneStreet for their continued support. The Merlin team