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 935847EFC0 for ; Tue, 5 Jan 2016 10:34:50 +0100 (CET) IronPort-PHdr: 9a23:SqdRKh0VesytxocTsmDT+DRfVm0co7zxezQtwd8ZsegVL/ad9pjvdHbS+e9qxAeQG96LtbQc06L/iOPJZy8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbSrXNaKx+2MlMmMuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HFbsvclsspBSrnSfqIiTLUeAi51HXoy4ZjHvAfCQUOqy10gaEhexhZNDg7Z9hzSWpb3rzu/uPB03iKXe8rsQuZnCnyZ8653RUqw2288PDkj/TSPhw== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dmentre@linux-france.org; spf=None smtp.mailfrom=dmentre@linux-france.org; spf=None smtp.helo=postmaster@tempura.bentobako.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=pra; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dmentre@linux-france.org) identity=mailfrom; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="dmentre@linux-france.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@tempura.bentobako.org) identity=helo; client-ip=94.23.39.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dmentre@linux-france.org"; x-sender="postmaster@tempura.bentobako.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CFBgCijYtW/0AnF15egzpSbYhZtVYihW0CgRs8EAEBAQEBAQEBgQlBEoFagggBAQMBIw8BBUYLCxoCBSECAg8CDjgTCAEBiCMMAQmwHZEGLYEBhVWEf4UjglCBSQWXCBOFLoo2hwKFVI5AOSuEC3EBAYEHhAcBAQE X-IPAS-Result: A0CFBgCijYtW/0AnF15egzpSbYhZtVYihW0CgRs8EAEBAQEBAQEBgQlBEoFagggBAQMBIw8BBUYLCxoCBSECAg8CDjgTCAEBiCMMAQmwHZEGLYEBhVWEf4UjglCBSQWXCBOFLoo2hwKFVI5AOSuEC3EBAYEHhAcBAQE X-IronPort-AV: E=Sophos;i="5.20,524,1444687200"; d="scan'208";a="159422871" Received: from tempura.bentobako.org ([94.23.39.64]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 05 Jan 2016 10:34:50 +0100 Received: from [10.226.206.100] (unknown [95.128.149.202]) by tempura.bentobako.org (Postfix) with ESMTPSA id C6ED42CF8 for ; Tue, 5 Jan 2016 10:34:46 +0100 (CET) To: caml-list@inria.fr References: <20160105091224.GA10087@pl-59055.rocqadm.inria.fr> From: David MENTRE Message-ID: <568B8E36.80409@linux-france.org> Date: Tue, 5 Jan 2016 10:34:46 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:38.0) Gecko/20100101 Thunderbird/38.5.0 MIME-Version: 1.0 In-Reply-To: <20160105091224.GA10087@pl-59055.rocqadm.inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Coding style: mixing tabs and spaces in indentation Hello, Le 05/01/2016 10:12, Sébastien Hinderer a écrit : > I am wondering whether there are some guidelines that have been proposed > regarding the way OCaml code should be presented? Here is an old documentation but a good starting point: http://caml.inria.fr/resources/doc/guides/guidelines.en.html > More specifically: am I correct that it is considered not such a good > practise to mix tabs and spaces in code indentation? Yes (and not only for OCaml). > And if so, are > there objective reasons for that? Depending on user, tab size configuration is different (from 2 to 8 or more spaces). So another user editing a code is going to see a different code layout and break the previous layout when editing it. Tab should probably be avoided in all coding environment except for very specific required cases like Makefiles. Best regards, david