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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 67AA07FDBE for ; Tue, 5 Jan 2016 16:42:31 +0100 (CET) IronPort-PHdr: 9a23:gLyjehWLvWDwxMhRJNasedKWvpPV8LGtZVwlr6E/grcLSJyIuqrYZhyOt8tkgFKBZ4jH8fUM07OQ6PC+HzRYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770o8WbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t/vQqALbQACTynwZW2QQ2loUUkmWpC39C7vrrzOy4uZnxTGLOsK1RrkxXRyw6KdsDhTvjXFUGSQ+9TTsi8l3iupwug+ooRFki9rPYYSSMrx1ZL7Ue94BAzAZBpl5UnBRRISmYN1cXKI6Ie9Eotyl9BM1phykCFzpWbri Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=Neutral smtp.pra=simon.cruanes.2007@m4x.org; spf=Pass smtp.mailfrom=SRS0=frJ9=NF=m4x.org=simon.cruanes.2007@bounces.m4x.org; spf=Pass smtp.helo=postmaster@mx1.polytechnique.org Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of simon.cruanes.2007@m4x.org does not assert whether or not 129.104.30.34 is permitted sender) identity=pra; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=frJ9=NF=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="simon.cruanes.2007@m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of SRS0=frJ9=NF=m4x.org=simon.cruanes.2007@bounces.m4x.org designates 129.104.30.34 as permitted sender) identity=mailfrom; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=frJ9=NF=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="SRS0=frJ9=NF=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-conformance=sidf_compatible; x-record-type="spf2.0" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mx1.polytechnique.org designates 129.104.30.34 as permitted sender) identity=helo; client-ip=129.104.30.34; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="SRS0=frJ9=NF=m4x.org=simon.cruanes.2007@bounces.m4x.org"; x-sender="postmaster@mx1.polytechnique.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DBAABr44tWnCIeaIFehAxuiFijapIThw08EAEBAQEBAQEBEAEBAQEBCAsJCSEugi2CBwEBAQMBI0sLBQsLGAkEHQICDwUxGCUIiAADCggFCbEFjgADgn4BIwmLVYdzgUkFhh0MkFgHhUKICIFlSoxXik6DczmENoYBAQEB X-IPAS-Result: A0DBAABr44tWnCIeaIFehAxuiFijapIThw08EAEBAQEBAQEBEAEBAQEBCAsJCSEugi2CBwEBAQMBI0sLBQsLGAkEHQICDwUxGCUIiAADCggFCbEFjgADgn4BIwmLVYdzgUkFhh0MkFgHhUKICIFlSoxXik6DczmENoYBAQEB X-IronPort-AV: E=Sophos;i="5.20,525,1444687200"; d="asc'?scan'208";a="195720181" Received: from mx1.polytechnique.org ([129.104.30.34]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-GCM-SHA384; 05 Jan 2016 16:42:30 +0100 Received: from nunchakus.loria.fr (nunchakus.loria.fr [152.81.10.98]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTPSA id 3841156466E; Tue, 5 Jan 2016 16:42:29 +0100 (CET) Date: Tue, 5 Jan 2016 16:42:27 +0100 From: Simon Cruanes To: Drup Cc: Christophe Troestler , OCaml Mailing List , Sebastien.Hinderer@inria.fr Message-ID: <20160105154227.GP8217@nunchakus.loria.fr> References: <20160105091224.GA10087@pl-59055.rocqadm.inria.fr> <20160105.144630.1924246496284532849.Christophe.Troestler@umons.ac.be> <568BE2EB.4030203@zoho.com> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="H0oSRRQchyy7Nak/" Content-Disposition: inline In-Reply-To: <568BE2EB.4030203@zoho.com> User-Agent: Mutt/1.5.23.1 (2014-03-12) X-AV-Checked: ClamAV using ClamSMTP at svoboda.polytechnique.org (Tue Jan 5 16:42:29 2016 +0100 (CET)) X-Spam-Flag: No, tests=bogofilter, spamicity=0.000791, queueID=9485056466F X-Org-Mail: simon.cruanes.2007@polytechnique.org Subject: Re: [Caml-list] Coding style: mixing tabs and spaces in indentation --H0oSRRQchyy7Nak/ Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Anecdotally, this was recently on hacker news: http://ukupat.github.io/tabs-or-spaces/ the OCaml part shows that most OCaml repos on github use 2 spaces, some use 4 spaces, and very few use tabs. Le Tue, 05 Jan 2016, Drup a =C3=A9crit : > Well, there is an implicit consensus, it's called ocp-indent .... >=20 > Le 05/01/2016 14:46, Christophe Troestler a =C3=A9crit : > >On Tue, 5 Jan 2016 10:12:24 +0100, S=C3=A9bastien 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 fo= r OCaml code, I can enable this for OCaml files in Tuareg. > > >=20 >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs --=20 Simon Cruanes http://weusepgp.info/ key 49AA62B6, fingerprint 949F EB87 8F06 59C6 D7D3 7D8D 4AC0 1D08 49AA 62B6 --H0oSRRQchyy7Nak/ Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJWi+RfAAoJEErAHQhJqmK23+cP/ikYNUZwcSbTl85R1MC5Osbf jtSAG826nTE+pjKmPvsF55G6RRUTVtQcYe+4yExwD39ePhdbjZHuERuYQQAZ5Y03 jv6WNSNgU/aKLvv6LaReDbdl4U8bkQm9sKPz9LObV09cb1RSho5g79dVFkcsUBPA qIeO4qN5pWdWQ4zYayDvBkyfEtZy7Bqf7qtXtE4GgEzTVxwKtafNijeGcqLoLuFc rHngMTNrqAQ4iAxIyCjtHPYSp+vuDH9BiJrwVYlCQY6eQwnIuentMSUgjjh3Mva7 Q9yzPN1sajhuva7O2HrVCBfNYIKUlA60WLYPcPWJrDg2tQrzTc8l4YCTFukuvzcT cHeHXg1rmV++eEMQ2aL7ftfEq0wJeXSNO5tzOVosQSoT13KQdxAMnCjbcANvdDdB /BPK4qwAwaB9Gbf4hJKBwKyFFEw+KOHqs2INhgq1jvZVIrCali54JZC3xOgz9+t9 u8/rHqeM3idDwPYSRvzavpzMOVODUr6MhFyKl4MIOio40XSpVivpMpJQ4QBScU8q w3fH0PklIpaa8qDnfMcFi0ExSG+jNXtAZZlJl5YFisP3/aFBnj0aWaqbCwzxcGKF R0i5tG8kF3aMYnaRKpSYHCsA7o6Rryz/Jjmpeazk/eoCRkj/mA/bDDfCpFr4cZh/ xagxIbPNPc5toRxDmbQY =U5s+ -----END PGP SIGNATURE----- --H0oSRRQchyy7Nak/--