From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 452C27FD5B for ; Wed, 2 Dec 2015 13:10:12 +0100 (CET) IronPort-PHdr: 9a23:tUjODhx/ZWUXulvXCy+O+j09IxM/srCxBDY+r6Qd0eMRIJqq85mqBkHD//Il1AaPBtWFraoewLGI+4nbGkU+or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6anHS+4HYoFwnlMkItf6KuStCU1578jL760qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jPqBrKVhnH3WcVXGQQkxNLS1zB8RLhQp7/swP1s+N83G+ROsigHp4uXjH3yq53RR2gqyAcNj1xpDyI1JB71PgKqkzx9xcmyNbYOt2cbvcvIajRIo1GS0JOW89QU2pKBYbqPNhHNPYIIesN99q1nFAJtxbrQFD0XO4= 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-f51.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.51; 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.51 as permitted sender) identity=mailfrom; client-ip=74.125.82.51; 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-f51.google.com) identity=helo; client-ip=74.125.82.51; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f51.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BTAAD63l5WlDNSfUpegj2CP6xfkSkBDYFugy6CYAKBSTgUAQEBAQEBAQEQAQEBAQcLCwkfMIItgggBAQQSER0BGxwBAQMMBgULAwoCAgUWCwICCQMCAQIBDwIRAQUBHAYNAQUCAh6HdwEDEgSgS4ExPjGLSIFqgnmGfQoZJw1Wg3YBAQEBAQEBAQIBAQEBAQEBFgEFDnODQ4cNglOFIoFEBZZci0SBd4kREItwhgw2gRcfAQGCRg0WB4FXcYVvAQEB X-IPAS-Result: A0BTAAD63l5WlDNSfUpegj2CP6xfkSkBDYFugy6CYAKBSTgUAQEBAQEBAQEQAQEBAQcLCwkfMIItgggBAQQSER0BGxwBAQMMBgULAwoCAgUWCwICCQMCAQIBDwIRAQUBHAYNAQUCAh6HdwEDEgSgS4ExPjGLSIFqgnmGfQoZJw1Wg3YBAQEBAQEBAQIBAQEBAQEBFgEFDnODQ4cNglOFIoFEBZZci0SBd4kREItwhgw2gRcfAQGCRg0WB4FXcYVvAQEB X-IronPort-AV: E=Sophos;i="5.20,373,1444687200"; d="scan'208";a="190070019" Received: from mail-wm0-f51.google.com ([74.125.82.51]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Dec 2015 13:10:11 +0100 Received: by wmvv187 with SMTP id v187so251674959wmv.1 for ; Wed, 02 Dec 2015 04:10: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:cc:subject :references:in-reply-to:content-type:content-transfer-encoding; bh=GSeeT3egWs99WYSKZ99mOUpLzmJwSd1zQ2nldyvAh+M=; b=Fsgtv4PJZLp879DzavpSLG0nkgca5lMjz0BI5VUDfBBsZH6kpTk6YSGa1e3Q8VL+xM SiUk9zcv5sPSOZLCZyP1KfoUYTQVDAaswpd2wZCqo9Lv3HOODsn+ozoMTecGoUDMt5xp axE2xfYkHVV6OsuPP22WZbgKe+yrOxWCdN3q6i+CAYeLF7oFmtOVEzsPkMVQ661DRW1u 9MaUgCy+rfxEn8UlxSVIP5KPIIJWo0d/Z79+uopqHQorbVg2zuVVe1uazWiHnN0PnqkX 7Z2QmbZ8ukMPrFjqE6a2ECpA7r4LXSBM+5WNT565zfkDVod2cPCq2Sy7XP+HdQC/WPXm 4FLg== X-Received: by 10.195.18.6 with SMTP id gi6mr4474060wjd.83.1449057788645; Wed, 02 Dec 2015 04:03:08 -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 uq3sm2498117wjc.10.2015.12.02.04.03.07 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 02 Dec 2015 04:03:08 -0800 (PST) Message-ID: <565EDE0A.6010301@gmail.com> Date: Wed, 02 Dec 2015 13:03:22 +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: Lukasz Stafiniak CC: Caml References: <565EDAEE.9090008@gmail.com> In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Ocaml autocomplete support in Emacs Hi Lukasz, On 12/02/2015 12:52 PM, Lukasz Stafiniak wrote: > On Wed, Dec 2, 2015 at 12:50 PM, Matej Kosik > <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote: >> >> Now, when I have some partial identifier I would like to Merlin auto-complete it (if there is no ambiguity) or show the list of possible completions, >> how can I do that? >> >> At the moment, pressing TAB does nothing. > > Did you mean Meta-TAB here? (That's Emacs default for auto-complete.) > When the cursor is located after the incomplete identifier then Alt+TAB (i.e. Meta-1?) it behaves the same as if I pressed SPACE in my case. When the cursor is located after the incomplete identifier then AltGr+Tab has no effect. I am not sure if that is relevant, but I've installed Merlin (2.3.1) from OPAM and emacs (24.4.1) via apt-get.