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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 38C177FD5B for ; Wed, 2 Dec 2015 12:49:53 +0100 (CET) IronPort-PHdr: 9a23:r7I9kRD5N4dSmgUj/MyKUyQJP3N1i/DPJgcQr6AfoPdwSP78p8bcNUDSrc9gkEXOFd2CrakU1ayO6eu6BiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTpkbjosMeMKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FpwecbDv6/J/hwDeEATWduD2dg78TusVzHTBCTznoaSGQf1BRSUCbf6xSve57tvymyle1m2SrSaZCpE+w/AW7z5fk7GBSxg38LbWIwqmyG1cd80/wHrjquohV+x8jfZ4TDZ6k2Rb/UYd5PHTkJZc1WTSEUX9ux Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f48.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.48 as permitted sender) identity=mailfrom; client-ip=74.125.82.48; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f48.google.com) identity=helo; client-ip=74.125.82.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BvAACR2V5WlDBSfUpegj2BUG+sWAQDhwKKJwENgW4hgw2CVoFhOBQBAQEBAQEBARABAQEBBwsLCR8wgi2CIBEdARscAgMSEA8CBRYLAgsDAgECARERAQUBLwgCHod3AQMSBAmeLIIIgTE+MYtIgWqCeYZ8ChknDVaEHQEFDnONQYI2gk6BRAWWXIEEhCiID4kREJF8NoEXHwEBgmmBXnEBhW4BAQE X-IPAS-Result: A0BvAACR2V5WlDBSfUpegj2BUG+sWAQDhwKKJwENgW4hgw2CVoFhOBQBAQEBAQEBARABAQEBBwsLCR8wgi2CIBEdARscAgMSEA8CBRYLAgsDAgECARERAQUBLwgCHod3AQMSBAmeLIIIgTE+MYtIgWqCeYZ8ChknDVaEHQEFDnONQYI2gk6BRAWWXIEEhCiID4kREJF8NoEXHwEBgmmBXnEBhW4BAQE X-IronPort-AV: E=Sophos;i="5.20,373,1444687200"; d="scan'208";a="155892525" Received: from mail-wm0-f48.google.com ([74.125.82.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Dec 2015 12:49:52 +0100 Received: by wmvv187 with SMTP id v187so250867577wmv.1 for ; Wed, 02 Dec 2015 03:49:52 -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 :content-type:content-transfer-encoding; bh=D5dvm8orwLN/GE8CVMN9icrKuRRw9pNmabbRaY7AcEk=; b=W2AYDJojekrmQwPdIRkRe+Y421vKxEUSSxtGhYFYRuNgJG5raACCdkx639l9iRVROK QiLsj4v4IRbawaKrXxKQxibTI/LtP+J1B4C3E4GaZzvhDS9cHvRPYQpSm0D4yjw0cocZ sp3I0cQRioMml+SpKeuYqZR0iQGp8thwiTUOzwUbB2PKO+ZATGwTvjLvCqFXt2PP3sb5 v6M4RCTzUDvvrpUd2VjjhooL4XDietSP2V5Ls8j6yp6txaFnSDQtWE8pBPk4HSXNd8N7 LMtCyzM36sHQimCRldm2G40stUJfBn4yHOsSrnJ0ocq3sas0GxRwcAVrzbKbHQUsQ8Nt zFcg== X-Received: by 10.194.200.227 with SMTP id jv3mr4298576wjc.20.1449056992171; Wed, 02 Dec 2015 03:49:52 -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 hw1sm2471740wjb.6.2015.12.02.03.49.51 for (version=TLSv1/SSLv3 cipher=OTHER); Wed, 02 Dec 2015 03:49:51 -0800 (PST) Message-ID: <565EDAEE.9090008@gmail.com> Date: Wed, 02 Dec 2015 12:50:06 +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 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: [Caml-list] Ocaml autocomplete support in Emacs Hi, I would like to ask how can I enable auto-complete within Emacs. I have installed Merlin. I've tested it and it seems to work. (jump to definition; jump back; show the type of the expression) 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. I've also try some of the commands that were supposed to perfrom the auto-complete action, but Emacs does not recognize them (yet). This is how my current ~/.emacs file looks like: http://matej-kosik.github.io/www/tmp/emacs.txt What should I do? Thank you very much for any help/tips. -- Matej