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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0308D7FD5B for ; Wed, 2 Dec 2015 15:19:12 +0100 (CET) IronPort-PHdr: 9a23:mmppHB0sgVxdTBecsmDT+DRfVm0co7zxezQtwd8ZsegRL/ad9pjvdHbS+e9qxAeQG96LtbQc0aGI6ujJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6MyZztnL7rs7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Lod8JtlWLn3fewbSqdZD3xybj9ruMaz70jJE1vf7SIXCmlMzhMSDlma5x2lAMv/miT/v+t5niKdOJulY6ozXGGe76BuQQSgsioJNiVxpH3Xjcl5l+RBrRygvDRwxofVZMeeM/8oLfCVRs8TWWcUBpUZbCdGGI7pN4Y= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=refis.thomas@gmail.com; spf=Pass smtp.mailfrom=refis.thomas@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f46.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of refis.thomas@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="refis.thomas@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of refis.thomas@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="refis.thomas@gmail.com"; x-sender="postmaster@mail-wm0-f46.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BdAQBz/V5Wmy5SfUpehA1gDwaCY7B6ijWCD4VtgUEHOhIBAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQMBhEdARsdAQMMAQUDAgsPAiYCAiIBEQEFARwGEyKHdwEDEg2REI9OgTE+MYtIgWqCeYZ4ChknDVaDdgEBCAIBGgEBBA5zg0OCEIR9hFmDHIFEAQSWXIUsiA+BW5cdgiUSJIEXKARxgUqCAD40hW8BAQE X-IPAS-Result: A0BdAQBz/V5Wmy5SfUpehA1gDwaCY7B6ijWCD4VtgUEHOhIBAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQMBhEdARsdAQMMAQUDAgsPAiYCAiIBEQEFARwGEyKHdwEDEg2REI9OgTE+MYtIgWqCeYZ4ChknDVaDdgEBCAIBGgEBBA5zg0OCEIR9hFmDHIFEAQSWXIUsiA+BW5cdgiUSJIEXKARxgUqCAD40hW8BAQE X-IronPort-AV: E=Sophos;i="5.20,373,1444687200"; d="scan'208";a="190096875" Received: from mail-wm0-f46.google.com ([74.125.82.46]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Dec 2015 15:19:01 +0100 Received: by wmww144 with SMTP id w144so216814726wmw.1 for ; Wed, 02 Dec 2015 06:19:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type:content-transfer-encoding; bh=0d/kZpXaYykV1F6oqAScZZRtP4eNTw/Q6NJVoe01YkQ=; b=eFwwB36s9A4GxNaIZGjqBIdpIPZTNT4Kt5Su2KZqIo+wu/A+uWE5HAgQ8CmYSDH0XL Duvg5sGb65PC9yvfd/xL77jFIVFVJj20RjMBu6SEk27TJaHgLybF6I/l+O5h+AG6o/es lUDf9KU7JeAwj1Trps0vrn/5ae3xVRS6KW2csCTpaFntxYep492PJE3DPsbVj/W4ZWvp mcIsPg2BhGfEnN1tmIEIf6voVN0+r98g+8GE1Ea00pt4+YwlfumX2Txl2wIMFKB7Go7s zRhYAiqv4OS1cXjM+1gbdMsSPD+XgP1ulw4k2Awca9EWiJ4v5zv82MyHtd3aPnJq16FP vG3A== MIME-Version: 1.0 X-Received: by 10.28.19.84 with SMTP id 81mr6636121wmt.26.1449065941121; Wed, 02 Dec 2015 06:19:01 -0800 (PST) Sender: refis.thomas@gmail.com Received: by 10.27.186.10 with HTTP; Wed, 2 Dec 2015 06:19:01 -0800 (PST) In-Reply-To: <565EFCFD.2050300@gmail.com> References: <565EDAEE.9090008@gmail.com> <565EDE0A.6010301@gmail.com> <565EEC5A.6050205@gmail.com> <565EFCFD.2050300@gmail.com> Date: Wed, 2 Dec 2015 14:19:01 +0000 X-Google-Sender-Auth: Bj-2ZyTKE0HUlhUsGSLpuB5PHAI Message-ID: From: Thomas Refis To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Validation-by: thomas.refis@gmail.com Subject: Re: [Caml-list] Ocaml autocomplete support in Emacs Hi, Company is indeed the prefered completion engine nowadays, but auto-complete mode is still supported. The wiki page is indeed quite old; the [merlin-try-completion] function was removed a few weeks ago. See the following message from Fr=C3=A9d=C3=A9ric on that topic: 2015-11-13 9:24 GMT+00:00 Fr=C3=A9d=C3=A9ric Bour : > > Merlin now tries to integrate with "normal" auto-complete infrastructure. > merlin-try-completion has been removed and M-x auto-complete should do th= e work. > Is it working for you? > > Note that you might need to (require 'auto-complete) in your .emacs. ( Source: https://github.com/the-lambda-church/merlin/issues/465 )