From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 0B1A87FDBE for ; Tue, 5 Jan 2016 16:36:23 +0100 (CET) IronPort-PHdr: 9a23:sshvyh8VLK4DNf9uRHKM819IXTAuvvDOBiVQ1KB80e4cTK2v8tzYMVDF4r011RmSDduds6oMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EleKKtQsb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+VrBYBfWR8mKWEu+MrztRSLcRGI62AAVmgM2k5jAxLE9w39Rpf89BfgsedmxC2XJ+XrSLcyQnKr5OFhRUmswAAsPjs9uETei8hxiq0ThBO6u1QryIfRZMSRNeFiVqLbZ9ITA2RbCJV/TStEV6+mcpNHW+YbIP5JqIa+rFILqTOsAgmrQujoz2kb1TfNwaQm3rF5Qkn91ws6EodL6SyMoQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=drupyog+caml@zoho.com; spf=Pass smtp.mailfrom=drupyog+caml@zoho.com; spf=None smtp.helo=postmaster@sender153-mail.zoho.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of drupyog+caml@zoho.com) identity=pra; client-ip=74.201.84.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of drupyog+caml@zoho.com designates 74.201.84.153 as permitted sender) identity=mailfrom; client-ip=74.201.84.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.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@sender153-mail.zoho.com) identity=helo; client-ip=74.201.84.153; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="postmaster@sender153-mail.zoho.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C/AACo4otWm5lUyUpeDoRriFm1W4YPAoEePBABAQEBAQEBARABAQEBAQgJCwkhLoItgggBAQQyAQULATQBAg4LGAkWDwkDAgECAUUGAQwIAQGIFQEDAQQNBLAbhVoCiEsiKCWCXAEBAQEGAQEBARgHi1WJPJcNgXGLYoFcgUSGCYVUik6DczmCUYEmP3GFEAEBAQ X-IPAS-Result: A0C/AACo4otWm5lUyUpeDoRriFm1W4YPAoEePBABAQEBAQEBARABAQEBAQgJCwkhLoItgggBAQQyAQULATQBAg4LGAkWDwkDAgECAUUGAQwIAQGIFQEDAQQNBLAbhVoCiEsiKCWCXAEBAQEGAQEBARgHi1WJPJcNgXGLYoFcgUSGCYVUik6DczmCUYEmP3GFEAEBAQ X-IronPort-AV: E=Sophos;i="5.20,525,1444687200"; d="scan'208";a="159470411" Received: from sender153-mail.zoho.com ([74.201.84.153]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-SHA; 05 Jan 2016 16:36:21 +0100 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=subject:to:references:cc:from:message-id:date:user-agent:mime-version:in-reply-to:content-type; b=XqXCSMAsCUCNOFpMRn5KPjtI0/WF93Hkv8ekRaChSLBCybs7muzegXzlbWV2jzUI9OYqQWAiPg2l T/COSN6sjDFXgGM6T2MJyKeNIr4eBGklCHbiDtNguBX9dLvbfmTR Received: from [192.168.1.8] (did75-8-82-228-42-129.fbx.proxad.net [82.228.42.129]) by mx.zohomail.com with SMTPS id 1452008173829499.63791645335994; Tue, 5 Jan 2016 07:36:13 -0800 (PST) To: Christophe Troestler , OCaml Mailing List References: <20160105091224.GA10087@pl-59055.rocqadm.inria.fr> <20160105.144630.1924246496284532849.Christophe.Troestler@umons.ac.be> Cc: Sebastien.Hinderer@inria.fr From: Drup Message-ID: <568BE2EB.4030203@zoho.com> Date: Tue, 5 Jan 2016 16:36:11 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 MIME-Version: 1.0 In-Reply-To: <20160105.144630.1924246496284532849.Christophe.Troestler@umons.ac.be> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-Zoho-Virus-Status: 1 Subject: Re: [Caml-list] Coding style: mixing tabs and spaces in indentation Well, there is an implicit consensus, it's called ocp-indent .... Le 05/01/2016 14:46, Christophe Troestler a écrit : > On Tue, 5 Jan 2016 10:12:24 +0100, Sébastien Hinderer wrote: >> Dear all, >> >> I am wondering whether there are some guidelines that have been proposed >> regarding the way OCaml code should be presented? >> >> More specifically: am I correct that it is considered not such a good >> practise to mix tabs and spaces in code indentation? And if so, are >> there objective reasons for that? >> >> It seems Emacs is configured to do that (mixing tabs and spaces) by >> default, can anybody confirm? > Indeed. You have to put > > (setq-default indent-tabs-mode nil) > > in your ~/.emacs.d/init.el file. > > Best, > C. > > > P.S. If there is a consensus on this list that TABs shouldn't be used for OCaml code, I can enable this for OCaml files in Tuareg. >