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 8B8AC7EFCD for ; Sat, 18 Oct 2014 09:46:56 +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.180; 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.180 as permitted sender) identity=mailfrom; client-ip=209.85.212.180; 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-f180.google.com) identity=helo; client-ip=209.85.212.180; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="san.vungoc@gmail.com"; x-sender="postmaster@mail-wi0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0BANEZQlTRVdS0m2dsb2JhbABbg2FYzAuIYRYBEQEBAQEBBgsLCRQuhBsmCAEbHAIDEhAWFhgDAgECARERAQUBLwgBAR6ICAEDEQQBCKkYgx1ujSKDEIg4ChknDWeFSgELARkBAQQOkFyENQWWRocTgTCGOIo5ggxBhS1qgksBAQE X-IPAS-Result: Al0BANEZQlTRVdS0m2dsb2JhbABbg2FYzAuIYRYBEQEBAQEBBgsLCRQuhBsmCAEbHAIDEhAWFhgDAgECARERAQUBLwgBAR6ICAEDEQQBCKkYgx1ujSKDEIg4ChknDWeFSgELARkBAQQOkFyENQWWRocTgTCGOIo5ggxBhS1qgksBAQE X-IronPort-AV: E=Sophos;i="5.04,744,1406584800"; d="scan'208";a="101775723" Received: from mail-wi0-f180.google.com ([209.85.212.180]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Oct 2014 09:46:56 +0200 Received: by mail-wi0-f180.google.com with SMTP id em10so2788446wid.7 for ; Sat, 18 Oct 2014 00:46:55 -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 :content-type:content-transfer-encoding; bh=0Sig/qUxWg4xcx5zj5HQK+flQ2dNnoWgToYnpUpyrCc=; b=NTLS/NcHvSrMA2wUwUydjNpRNXimECGK0lrrNRr7x8F9s+qQGqCCI43E0454edmBwP lcESncUMc0NYiD01/TQU7mq/mGmF+c3NfTQrdhTT+5q4RudxkU2gpNmBkeIB3FDLbu7R QOH41oTxlCn3zWH/OGut8EpnYNcRWJU3UE7WXOSmm2xiJ1Cr5e5Rg4qqFsUmNXl0enmI Xv9dePZLDcy5wCBtsYAwBIRSd6GorCY5bVRRHfyWwebuX30ed8Pkr++Eo+v/Nt+kWhIk tGZdSTEMBg3XBbgc/UNGY9RNIFV3TEw2G+7IlKuAxvhadcE50fsCcrs60DM8xhle2H+T ABKA== X-Received: by 10.194.61.99 with SMTP id o3mr15809370wjr.54.1413618415770; Sat, 18 Oct 2014 00:46:55 -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 p4sm2111559wiz.23.2014.10.18.00.46.52 for (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 18 Oct 2014 00:46:55 -0700 (PDT) Message-ID: <54421AEA.8050209@gmail.com> Date: Sat, 18 Oct 2014 09:46:50 +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: caml-list@inria.fr Content-Type: text/plain; charset=iso-8859-15; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: san.vungoc@gmail.com Subject: [Caml-list] merlin autocomplete : "int" at the end of the line 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