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 854297FD5B for ; Wed, 2 Dec 2015 14:12:26 +0100 (CET) IronPort-PHdr: 9a23:k10LDBMvnrm6qq4dZnMl6mtUPXoX/o7sNwtQ0KIMzox0KPT5rarrMEGX3/hxlliBBdydsKIazbKM+PywEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxj7r5p82bSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6Lpyv/JHBK7zeqB9Sb1DEBwnNXo07Yvlr0r5QBOL90cbB2AfjgZIAgXYqh3nVIr+vzfSue902S3cNsrzHp4uXjH3yq53VB/phTpPGyMz7W7aloQkiatHvBKgqgE5z5PefY6YKNJxe6rceZURQm8XDZUZbDBIHo7pN9hHNOEGJ+sN94Q= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=matthieu.dubuget@gmail.com; spf=Pass smtp.mailfrom=matthieu.dubuget@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f46.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of matthieu.dubuget@gmail.com) identity=pra; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of matthieu.dubuget@gmail.com designates 74.125.82.46 as permitted sender) identity=mailfrom; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="matthieu.dubuget@gmail.com"; x-sender="matthieu.dubuget@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-wm0-f46.google.com) identity=helo; client-ip=74.125.82.46; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="matthieu.dubuget@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: A0DtAAA77V5Wmy5SfUpdhA1vs2GKNYFuI4VrAoFDOhIBAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQLBxEIBwENARscAgMMBgULDwIFFgsCAgkDAgECAREMAQQBBQEDARgTCAEBHod3AQECEgQJoE6BMT4xi0iBagSCdYFyhQgKGQQKGQ1Wg3YBAQEBBgEBAQEBARcBBQ5zhVOEfYUngk6BRAWWXIUsgnKFHYFbSYZtECOBDAtKjVOCJTZHUCcBgj8NFgeBV3GFbwEBAQ X-IPAS-Result: A0DtAAA77V5Wmy5SfUpdhA1vs2GKNYFuI4VrAoFDOhIBAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQLBxEIBwENARscAgMMBgULDwIFFgsCAgkDAgECAREMAQQBBQEDARgTCAEBHod3AQECEgQJoE6BMT4xi0iBagSCdYFyhQgKGQQKGQ1Wg3YBAQEBBgEBAQEBARcBBQ5zhVOEfYUngk6BRAWWXIUsgnKFHYFbSYZtECOBDAtKjVOCJTZHUCcBgj8NFgeBV3GFbwEBAQ X-IronPort-AV: E=Sophos;i="5.20,373,1444687200"; d="scan'208";a="155907275" Received: from mail-wm0-f46.google.com ([74.125.82.46]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Dec 2015 14:12:25 +0100 Received: by wmuu63 with SMTP id u63so214192961wmu.0 for ; Wed, 02 Dec 2015 05:12:25 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=reply-to:subject:references:to:from:message-id:date:user-agent :mime-version:in-reply-to:content-type:content-transfer-encoding; bh=RD9zY4dV6n7UsCfsnoAFNK3WaY/n64nIE8SH9zykRTU=; b=L9P1Tz8iJRI5CrXhiLGu+aiKfxKD0tqQmcDMN+eCYnBCygi9307vWKkKfdc4wr4A1o jek7K2rwGRcZLMl1BCO2ehCbKLiuNNUjTcbXcvKCjvLg/wGj+QzZyl/tRqgH/QzRjRck E20wwtE/p+QRZr2RR73UtsuVQZWWSJTIEScTpTFwK1OTgWXkuoNViSW9WuYTVP7j6TLz j/ZuRT3WwOxISTt9JeFA/7d83a7hBiMs4VBKNr8zhxu2OFYTce0srDCbTHyOOYXi2GHg icYN28/n9IIqTig18EaQOa/gLKSEg3wEGODYBXgVIWorSSehwhanZfxclJx8Im/bG/9P /Faw== X-Received: by 10.194.121.35 with SMTP id lh3mr4692090wjb.164.1449061469361; Wed, 02 Dec 2015 05:04:29 -0800 (PST) Received: from [192.168.0.14] ([88.184.200.161]) by smtp.gmail.com with ESMTPSA id kj3sm2728245wjb.19.2015.12.02.05.04.28 for (version=TLSv1/SSLv3 cipher=OTHER); Wed, 02 Dec 2015 05:04:28 -0800 (PST) Reply-To: matthieu.dubuget@gmail.com References: <565EDAEE.9090008@gmail.com> <565EDE0A.6010301@gmail.com> To: caml-list@inria.fr From: Matthieu Dubuget X-Enigmail-Draft-Status: N1110 Message-ID: <565EEC5A.6050205@gmail.com> Date: Wed, 2 Dec 2015 14:04:26 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 MIME-Version: 1.0 In-Reply-To: <565EDE0A.6010301@gmail.com> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Ocaml autocomplete support in Emacs 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) ``` 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) ``` Salutations -- Matthieu Dubuget Guide d’autodéfense numérique : http://guide.boum.org