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 B6E2A7FD5B for ; Wed, 2 Dec 2015 20:10:15 +0100 (CET) IronPort-PHdr: 9a23:i+kjyh2xufvb8z9VsmDT+DRfVm0co7zxezQtwd8ZsegfI/ad9pjvdHbS+e9qxAeQG96LtbQc06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbSrXNaKx+2MlMmMuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzGmQ84oXQvhnGTBeTri8VVmwQ1AFDAw3E8A3SRpD1ozf3vep72TCHMIvxV79iChq46KI+bRb0hSVPFDki8WKf3pEv0v5Q+EjwrUIvk4WNa9mZbqZ3JK6MItgWGjQdUO5eUiVABsW3aI5ZXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI= 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-f50.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.50; 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.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; 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-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AJAAApQV9WmzJSfUpegj2CPoMvumcBDVmBDoMugmACgVA4FAEBAQEBAQEBEAEBAQEBBgsLCSEuQRIBgVmCCAEFEhEdARscAQEDDAYFCw0CAgUWCwICCQMCAQIBDwIRAQUBHAYNAQUCAh6HdwEDEgShJIExPjGLSIFqgnmHAgoZJw1Wg28BAQEBAQEBAQIBAQEBAQEBFgEFDnODQ4cNglOFJIFEBZZhi0WBd4FbhzYQi3ODZ4IlNoEXHwEBgkYjgV5xgyyCQwEBAQ X-IPAS-Result: A0AJAAApQV9WmzJSfUpegj2CPoMvumcBDVmBDoMugmACgVA4FAEBAQEBAQEBEAEBAQEBBgsLCSEuQRIBgVmCCAEFEhEdARscAQEDDAYFCw0CAgUWCwICCQMCAQIBDwIRAQUBHAYNAQUCAh6HdwEDEgShJIExPjGLSIFqgnmHAgoZJw1Wg28BAQEBAQEBAQIBAQEBAQEBFgEFDnODQ4cNglOFJIFEBZZhi0WBd4FbhzYQi3ODZ4IlNoEXHwEBgkYjgV5xgyyCQwEBAQ X-IronPort-AV: E=Sophos;i="5.20,374,1444687200"; d="scan'208";a="155956437" Received: from mail-wm0-f50.google.com ([74.125.82.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 02 Dec 2015 20:10:14 +0100 Received: by wmuu63 with SMTP id u63so228260497wmu.0 for ; Wed, 02 Dec 2015 11:10:14 -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=DwtSfPft0tOvcNHeAlmZh8JlqmpQFMwTvc35z0NmAiM=; b=S/Xu1rEZhH3Brhvwj+uWWH7b7YFGoFOSkyQCQaBEDYUXGzePBH1K+9ucPaIOx/l8Nw QD3PzEzrlcYZ+ahVB9EfHSdUlfxziA1vWe9E5HoAv/bmqfJJNJsJdJGEJkvZMcTO1kAs zHInzDCXNDuz2OukG/dw/moBlebL9or9sNXv4/G0kdSOHIZq/t75bPEliYEuAWs8gnzM ISxPMJzprd/AdfEG+hhnQEBGt6O5z9yAhKqRYpExCrM2fX1IEcTsHNLlUjHwXpXa8Pgg QBb9+KDRT6bgbwK+Nqw2slFM4HIFmTLuwVPoxfVSzinTtr4G+jAq7zGBQ/+v3SZK9zAb 1eVw== X-Received: by 10.28.17.7 with SMTP id 7mr43813991wmr.45.1449083414484; Wed, 02 Dec 2015 11:10:14 -0800 (PST) Received: from [192.168.0.10] (ivr94-1-81-57-178-197.fbx.proxad.net. [81.57.178.197]) by smtp.googlemail.com with ESMTPSA id ft4sm4025864wjb.37.2015.12.02.11.10.13 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 02 Dec 2015 11:10:13 -0800 (PST) Message-ID: <565F4223.1060001@gmail.com> Date: Wed, 02 Dec 2015 20:10:27 +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: Alan Schmitt CC: caml-list@inria.fr References: <565EDAEE.9090008@gmail.com> <565EDE0A.6010301@gmail.com> <565EEC5A.6050205@gmail.com> <565EFCFD.2050300@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 On 12/02/2015 06:42 PM, Alan Schmitt wrote: > On 2015-12-02 15:15, Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> writes: > >> The only piece missing was that I needed to first do: >> >> (push "~/.emacs.d/elpa/company-0.8.12" load-path) ; directory containing company.el >> >> before those other commands, otherwise >> >> (require 'company) >> >> would fail. > > This looks wrong: packages should autoload. Do you call (package-initialize) in your init file before the require? > > Alan > Thank you. That works for me too. I know little about Emacs macros, hence my errors.