From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 24E487FD5B for ; Wed, 2 Dec 2015 15:15:12 +0100 (CET) IronPort-PHdr: 9a23:l3eOgxBtUd/L4j9H6snpUyQJP3N1i/DPJgcQr6AfoPdwSP78p8bcNUDSrc9gkEXOFd2CrakU1ayO6eu+ACQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTpkbjosMOKKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FpwecbDv6/J/hwDeEATWduD2dg78TusVzHTBCTznoaSGQf1BRSUCbf6xSve57tvymyle1m2SrSaZCpE+w/AW7z5fk7GBSxg38LbWIwqmyG1cd80/wHrjquohV+x8jfZ4TDZ6k2Rb/UYd5PHTkJZc1WTSEUX9ux Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f53.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.53 as permitted sender) identity=mailfrom; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@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-f53.google.com) identity=helo; client-ip=74.125.82.53; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AiAQAE/F5WlDVSfUpegj2BUG+zY4o1gW4jgwuCYAKBRjkTAQEBAQEBAQEQAQEBAQcLCwkfMIItggcBAQEDARIRHQEbHAIDDAYFCw0CAgUWCwICCQMCAQIBEREBBQEcEwgCHod3AQMKCAQJoFyBMT4xi0iBaoJ5hnkKGScNVoN2AQEBAQYBAQEBARgBAQQOc4pQhHM0gk6BRAWWXIUsgnKFHYFbhzYQI480giU2gRcjAoJCDRYHgVdxhW8BAQE X-IPAS-Result: A0AiAQAE/F5WlDVSfUpegj2BUG+zY4o1gW4jgwuCYAKBRjkTAQEBAQEBAQEQAQEBAQcLCwkfMIItggcBAQEDARIRHQEbHAIDDAYFCw0CAgUWCwICCQMCAQIBEREBBQEcEwgCHod3AQMKCAQJoFyBMT4xi0iBaoJ5hnkKGScNVoN2AQEBAQYBAQEBARgBAQQOc4pQhHM0gk6BRAWWXIUsgnKFHYFbhzYQI480giU2gRcjAoJCDRYHgVdxhW8BAQE X-IronPort-AV: E=Sophos;i="5.20,373,1444687200"; d="scan'208";a="190095901" Received: from mail-wm0-f53.google.com ([74.125.82.53]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Dec 2015 15:15:11 +0100 Received: by wmuu63 with SMTP id u63so216635958wmu.0 for ; Wed, 02 Dec 2015 06:15:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=SkfMUFjHNEc2st2qER6FMGwiTl/35rJeWAdzMi+lHXI=; b=l0vaz8LceFHj0Milon0Ei8ZGX0Zzoaueml3S+NwFDNbLlRbYm0cQxo02mXDa8505rz MF1cz/JMTqHQSsfPF4RM+sqmSoqWsCU2xZy0kMmmeNYWB6nhkyQ/o/JNE0u3YXQ9+FCe +cP4afGyMOpkjSSSQ7ANz96m/AFaGyMFDHsGZmhe2V8zXkGxqcXh7pP5kNRMkE6M81KU x6N0Kzb8UNkBCsXsELV1zbSjPWkjDV1QY0bFq73Wtd2zS0duQQbHsmSXAQFVxESgJPX1 HtfdiFAV3cIq6ChgilWWwr6EaFkA9ZLZJd6QMZRaS8sePQjwMtWfiN/hbHCqvTdesLA5 DK7g== X-Received: by 10.194.110.5 with SMTP id hw5mr5817786wjb.154.1449065711302; Wed, 02 Dec 2015 06:15:11 -0800 (PST) Received: from [172.23.37.16] (maths.r-prg.net.univ-paris7.fr. [81.194.27.158]) by smtp.googlemail.com with ESMTPSA id u134sm31141071wmd.0.2015.12.02.06.15.10 for (version=TLSv1/SSLv3 cipher=OTHER); Wed, 02 Dec 2015 06:15:10 -0800 (PST) Message-ID: <565EFCFD.2050300@gmail.com> Date: Wed, 02 Dec 2015 15:15:25 +0100 From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.8.0 MIME-Version: 1.0 To: caml-list@inria.fr References: <565EDAEE.9090008@gmail.com> <565EDE0A.6010301@gmail.com> <565EEC5A.6050205@gmail.com> In-Reply-To: <565EEC5A.6050205@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Ocaml autocomplete support in Emacs Hi Matthieu On 12/02/2015 02:04 PM, Matthieu Dubuget wrote: > Hello, > > in order for autocompletion to work in emacs, I had to switch to company. > > See this merlin's wiki page for details: > https://github.com/the-lambda-church/merlin/wiki/emacs-from-scratch#company-mode > > I had to install the company from emacs using `M-x list-packages`. > > The `.emacs` file additions were: > > ```lisp > ;; Trying company instead > (require 'company) > > ; Make company aware of merlin > (add-to-list 'company-backends 'merlin-company-backend) > ; Enable company on merlin managed buffers > (add-hook 'merlin-mode-hook 'company-mode) > ``` Thank you! This helped. The only piece missing was that I needed to first do: (push "~/.emacs.d/elpa/company-0.8.12" load-path) ; directory containing company.el before those other commands, otherwise (require 'company) would fail. > > That said, I just read the paragraph above in merlin's wiki page > (https://github.com/the-lambda-church/merlin/wiki/emacs-from-scratch#auto-complete), > but I can't remember if I tried this or not before switching to company: > did you add the following to your emacs configuration file? > > ```lisp > (setq merlin-ac-setup 'easy) > ``` In my case, the above command had no effect I was able to perceive altough I see that it is mentioned here: https://github.com/the-lambda-church/merlin/wiki/emacs-from-scratch#auto-complete Is that page up to date? There are at least two things that do not make sense: (1) It mentions "merlin-try-completion" which does not exist, does it? (2) It mentions the C-c shortcut but when I try it, I always get a message: Can't find completion for ... as if this was not supposed to work but it is still suggested by the page. Those details I found confusing.