From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2E6D97EFCD for ; Sat, 18 Oct 2014 11:32:58 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of san.vungoc@gmail.com) identity=pra; client-ip=209.85.212.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="san.vungoc@gmail.com"; x-sender="san.vungoc@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of san.vungoc@gmail.com designates 209.85.212.169 as permitted sender) identity=mailfrom; client-ip=209.85.212.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="san.vungoc@gmail.com"; x-sender="san.vungoc@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-wi0-f169.google.com) identity=helo; client-ip=209.85.212.169; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="san.vungoc@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: Al8BAGsyQlTRVdSpm2dsb2JhbABbg2FYzA6HDD4CgREWAREBAQEBAQYLCwkULoQDAQEEDAYgAQUIARscAgMMBgULDQkWDwkDAgECARERAQUBHAYBDAgBAR6ICAEDEQQBCKwpbo0igxCIMQoZJw1nhUoBAQEBAQUBAQEBAQEWAQUOkEaESwWWRocTgTA8hXyKOYIMQYUtagWCRgEBAQ X-IPAS-Result: Al8BAGsyQlTRVdSpm2dsb2JhbABbg2FYzA6HDD4CgREWAREBAQEBAQYLCwkULoQDAQEEDAYgAQUIARscAgMMBgULDQkWDwkDAgECARERAQUBHAYBDAgBAR6ICAEDEQQBCKwpbo0igxCIMQoZJw1nhUoBAQEBAQUBAQEBAQEWAQUOkEaESwWWRocTgTA8hXyKOYIMQYUtagWCRgEBAQ X-IronPort-AV: E=Sophos;i="5.04,745,1406584800"; d="scan'208";a="101785900" Received: from mail-wi0-f169.google.com ([209.85.212.169]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Oct 2014 11:32:57 +0200 Received: by mail-wi0-f169.google.com with SMTP id h11so5676845wiw.2 for ; Sat, 18 Oct 2014 02:32:57 -0700 (PDT) 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=imKL0vva0YhQYiGT0WZRVGfcyCRVZ1GMoEj72/0VmkU=; b=j0yQ59RR3cBUv/Yxvdc6FD7N6NxZQqOpVKhdJeKJeRzC8e+gkfuaNFcv0MJzDyG2pQ 1D+8hqPGF4AWufKx4rXfm1G/2g5o4/eM1UVoBQUOiRzJlJLXL4qKsRYpAoXTXlwEVh+E s047/pNKI66sVto9g/ohhsTpt36gZ98ucjx5FQR8c1rKabYFG0tSZcbWEFvX9+Vq2SV7 2q+LFbs2dtCIvFAHYf2NYoTZBMckDlXCY6mSGv/vJuD45i0JHT0q5Y8HMpHFbY++fid3 lwlOSmjCHlI+dosSsMpGnRAwVMxXE6L2TjPL9grlS8jHALztydGAmj+RAM+r0PbpiDAJ bh8g== X-Received: by 10.194.242.4 with SMTP id wm4mr16388230wjc.61.1413624777548; Sat, 18 Oct 2014 02:32:57 -0700 (PDT) Received: from [192.168.0.12] (sud35-2-82-225-106-147.fbx.proxad.net. [82.225.106.147]) by mx.google.com with ESMTPSA id u4sm2403233wiy.9.2014.10.18.02.32.55 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 18 Oct 2014 02:32:56 -0700 (PDT) Message-ID: <544233C6.8090604@gmail.com> Date: Sat, 18 Oct 2014 11:32:54 +0200 From: =?ISO-8859-15?Q?Vu=7E_Ngo=2Ec_San?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 MIME-Version: 1.0 To: =?ISO-8859-15?Q?Fr=E9d=E9ric_Bour?= , caml-list@inria.fr References: <54421AEA.8050209@gmail.com> <54422A3C.9030300@lakaban.net> In-Reply-To: <54422A3C.9030300@lakaban.net> Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: san.vungoc@gmail.com Subject: Re: [Caml-list] Re: merlin autocomplete : "int" at the end of the line I currently use opam with 4.01.0 (= system) do you suggest to change "return" to some other key for autocompletion ? I fact I don't mind using "return", except in few cases, and "in" is one of them. Can one impose such exceptions ? Le 18/10/2014 10:52, Frédéric Bour a écrit : > That's just auto-complete default behavior, which you can customize ( > http://cx4a.org/software/auto-complete/ ). > > The current beta of merlin (which you have if you are using 4.02 on > opam) allows you to (setq merlin-use-auto-complete 'easy) to override > defaults. > See > https://github.com/the-lambda-church/merlin/blob/a015e9aaca6ce997a835c152051d0611885c38dd/emacs/merlin.el#L1918 > for the corresponding settings. > > On 18/10/2014 09:46, Vu~ Ngo.c San wrote: >> Hello >> >> I'm trying the combination tuareg+merlin+ocp-indent to work nicely in >> my emacs. I'm puzzled by this behavior: >> suppose you end your line with "in" (which is quite common, right ?) >> and then type "return": >> The "in" has been autocompleted to "int". >> >> This can't be a default behavior; what do I do wrong ? >> Following >> https://github.com/realworldocaml/book/wiki/Installation-Instructions, have >> in my .emacs: >> (setq merlin-use-auto-complete-mode t) >> >> regards >> San >> >> > >