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 1B2BC7FDBE for ; Tue, 5 Jan 2016 14:46:34 +0100 (CET) IronPort-PHdr: 9a23:q0oiCxYrFva5krnnWFOmrNH/LSx+4OfEezUN459isYplN5qZpcW+bnLW6fgltlLVR4KTs6sC0LqI9fi4EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35rxj7j60qaQSjsLrQL1Wal1IhSyoFeZnegtqqwmFJwMzADUqGBDYeVcyDAgD1uSmxHh+pX4p8Y7oGx48sgs/M9YUKj8Y79wDfkBVGxnYCgJ45jMnhDGSUOq73oYU2MZ2j5JGBSNuBrzW5O0tirhqsJ83jObNIv4V+Zndy6l6vJASAXpkzsALz40uF3NjcFrkKZWulr1jBxlwpXIZ5mVObxCZKTQZs8eSHBpQ8NWUTcHC4j6ZYZZXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Christophe.Troestler@umons.ac.be; spf=Pass smtp.mailfrom=Christophe.TROESTLER@umons.ac.be; spf=Pass smtp.helo=postmaster@emea01-db3-obe.outbound.protection.outlook.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Christophe.Troestler@umons.ac.be) identity=pra; client-ip=157.55.234.80; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="Christophe.Troestler@umons.ac.be"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of Christophe.TROESTLER@umons.ac.be designates 157.55.234.80 as permitted sender) identity=mailfrom; client-ip=157.55.234.80; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="Christophe.TROESTLER@umons.ac.be"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@emea01-db3-obe.outbound.protection.outlook.com designates 157.55.234.80 as permitted sender) identity=helo; client-ip=157.55.234.80; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="Christophe.TROESTLER@umons.ac.be"; x-sender="postmaster@emea01-db3-obe.outbound.protection.outlook.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BzAAB1yItWnFDqN51egw+BcIhTs2kBDYFkhgUGAgICgVYUAQEBAQEBAQEQAQEBAQEGDQkJIS5BEoFagggBAQQSAR8BICYQCxguVwYOJ4gNAQOiGQGBJwEcYQUoAopvAQGPP4ItAQEBAQYBAQEBAR6GVoIXgmiJPAEEjXOJFY1TgVyHP4Viik6DcyABAYJogWWBeIMBgQgBAQE X-IPAS-Result: A0BzAAB1yItWnFDqN51egw+BcIhTs2kBDYFkhgUGAgICgVYUAQEBAQEBAQEQAQEBAQEGDQkJIS5BEoFagggBAQQSAR8BICYQCxguVwYOJ4gNAQOiGQGBJwEcYQUoAopvAQGPP4ItAQEBAQYBAQEBAR6GVoIXgmiJPAEEjXOJFY1TgVyHP4Viik6DcyABAYJogWWBeIMBgQgBAQE X-IronPort-AV: E=Sophos;i="5.20,525,1444687200"; d="scan'208";a="195693138" Received: from mail-db3on0080.outbound.protection.outlook.com (HELO emea01-db3-obe.outbound.protection.outlook.com) ([157.55.234.80]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 05 Jan 2016 14:46:33 +0100 Received: from DB4PR05CA0032.eurprd05.prod.outlook.com (10.160.40.42) by DB5PR05MB1704.eurprd05.prod.outlook.com (10.165.7.10) with Microsoft SMTP Server (TLS) id 15.1.361.13; Tue, 5 Jan 2016 13:46:31 +0000 Received: from DB3FFO11FD012.protection.gbl (2a01:111:f400:7e04::169) by DB4PR05CA0032.outlook.office365.com (2a01:111:e400:9850::42) with Microsoft SMTP Server (TLS) id 15.1.361.13 via Frontend Transport; Tue, 5 Jan 2016 13:46:32 +0000 Received: from smtp.umons.ac.be (193.190.208.132) by DB3FFO11FD012.mail.protection.outlook.com (10.47.216.168) with Microsoft SMTP Server (TLS) id 15.1.355.15 via Frontend Transport; Tue, 5 Jan 2016 13:46:31 +0000 Received: from poincare (10.104.2.63) by smtp.umons.ac.be (10.104.2.84) with Microsoft SMTP Server (TLS) id 14.3.266.1; Tue, 5 Jan 2016 14:46:30 +0100 Received: from [::1] (helo=localhost) by poincare with esmtp (Exim 4.86) (envelope-from ) id 1aGRwU-0005ZL-UL; Tue, 05 Jan 2016 14:46:31 +0100 Date: Tue, 5 Jan 2016 14:46:30 +0100 Message-ID: <20160105.144630.1924246496284532849.Christophe.Troestler@umons.ac.be> To: OCaml Mailing List CC: From: Christophe Troestler In-Reply-To: <20160105091224.GA10087@pl-59055.rocqadm.inria.fr> References: <20160105091224.GA10087@pl-59055.rocqadm.inria.fr> Organization: Universite de Mons (http://math.umons.ac.be/anum/) X-Face: #2fb%mPx>rRL@4ff~TVgZ"<[:,oL"`TUEGK/[8/qb58~C>jR(x4A+v/n)7BgpEtIph_neoLKJBq0JBY9:}8v|j X-Mailer: Mew version 6.6 on Emacs 24.5 / Mule 6.0 (HANACHIRUSATO) MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit X-Originating-IP: [10.104.2.63] X-EOPAttributedMessage: 0 X-Matching-Connectors: 130964751918604373;(9b551343-d075-4328-d154-08d0574c44b8,aa519c6d-c5b7-417d-4ec3-08d1170c20a9);(9b551343-d075-4328-d154-08d0574c44b8,aa519c6d-c5b7-417d-4ec3-08d1170c20a9) X-Microsoft-Exchange-Diagnostics: 1;DB3FFO11FD012;1:uaPXZuXicMA7w+MlaQK+BrbQT/vzXw8FAlYZwvKp+saFUwclmumZwoGkZJL+hw39RIiaRDsecUPdDpKx0emEyWp28A8uYgpnez/YZhd0eS1Jtv2sL78Gkjt9YoSKiIU/N/fCTs2JhnavextBQNU7kF10PtRtlGe/A8lXVebGJiav1cuU115v68rTo1XcoXJTrALvV0dMA4jn1wZheiArGc368UhXqWUQ+TUoVN4rt9Twvz+ZnNjMG2m09GuNoJvzqmYdEa3Hf3QrANA/ojVnVqqSjc75WOcMWGnPI6X3YCWFNXaqFo7fblZzfbKS6kHqdm/RJEUWAFFUST6oltoElb9zh3GXCPpIvYHD2gk81mG27MIdIVvsm92lnLMxi5gUGnSPTG3/yuKca7tZadxQcw== X-Forefront-Antispam-Report: CIP:193.190.208.132;CTRY:BE;IPV:NLI;EFV:NLI;SFV:NSPM;SFS:(10009020)(6009001)(2980300002)(438002)(189002)(199003)(24454002)(23756003)(1096002)(4326007)(74482002)(19580395003)(106466001)(63266004)(16796002)(6806005)(1220700001)(47776003)(76176999)(86362001)(5008740100001)(87936001)(6116002)(586003)(36756003)(3846002)(50466002)(110136002)(5001970100001)(50986999)(189998001)(450100001)(103116003)(2950100001)(76506005)(50226001)(5004730100002)(92566002)(57986006)(5001870100001);DIR:OUT;SFP:1101;SCL:1;SRVR:DB5PR05MB1704;H:smtp.umons.ac.be;FPR:;SPF:Pass;PTR:smtp.umons.ac.be,imap.umons.ac.be,pop.umons.ac.be;MX:1;A:0;LANG:en; X-Microsoft-Exchange-Diagnostics: 1;DB5PR05MB1704;2:Cej8uup4x8I5532r8UV2wdSIbFnDHB8BM8WcdUES386CpbNlNiZTgOGBYDVEY2r04DkyCzjNMpUJCkcZnOvqZGDHnkFuDYvNv/j2wGju81mrjZmkgkPwICsYifjUs4AHOzAnHc58Imw4m3/kHwl3mQ==;3:0nKBA1cEv7Oh5cwESeDcEJO+7OkE4KMXuSNhTO94ayrfwhabtC3cpvWuoVwiiezujqa/x+seoetGHO8LxoZ+MnNfrRAd7T5k/w755h44gCGmF/8Rt0FCf7H8TY9TiBwWLeavGlWo6hXaGyvm28XVTocqGEm0S1jvR9kUslUa82Bv3knELmIJoe/f1dPKplAQPzUaOpuQ+/krdJJhEZREps/VkftH2WIP2fYGzyW5NFXROTUDoxOyC+pD5dWq5GZaXvXOR+To5cLm5FyZW+6CQA==;25:/qfWp1GGfKUb/iggC4qlBnIopmHtd9owh9bNPGIoGuGyxgJWgyzo6KlKKkVb/KWTdods2Mc2XCaengCzNKTNj6vfINlwNQcwFj9YaI708AjMrwfDuSnFK6ur/SAbG1jswMOp1zhJl0YRi7etRvx1mqzAVcPgb7fRuk5qr+vsxwwDvYrMTyWBGTv4fCacw/Eb9hgMqsq0ItY/5p7/vF+qoCn4xAOybUt4791XgQHhAWtxHKzRBrusfkw8x/MeHJmJqTuDLNkqYGREzqofd6K7iw== X-Microsoft-Antispam: UriScan:;BCL:0;PCL:0;RULEID:(8251501001);SRVR:DB5PR05MB1704; X-Microsoft-Antispam-PRVS: X-Exchange-Antispam-Report-Test: UriScan:; X-Exchange-Antispam-Report-CFA-Test: BCL:0;PCL:0;RULEID:(601004)(2401047)(520078)(8121501046)(5005006)(10201501046)(3002001);SRVR:DB5PR05MB1704;BCL:0;PCL:0;RULEID:(400006);SRVR:DB5PR05MB1704; X-Microsoft-Exchange-Diagnostics: 1;DB5PR05MB1704;4:yVtBymoFGv2u6rYwJNjNv+YcAJ746Nm0WbeLhoGpFV/vkhnua+5wydzxTneM4i+UmQmwKJUdFOQ7Vw0OT17t5ZHSZqPEsLA1MMlsLTgauOTxC6+3UaECldCCFGw9mwWSQdJAh/bmOKAc1CmFSrLaqt6FHJsoE5NgjcEuzVr2ilGhXGi9tTmQdoKlBeukaR2eHk+fhtpn09KJsy2a7cMiOHPokblIgvQeXU6lrnDhDVKzwBcw1WQ2cEvc8jmu3Z6SggRkb1czA1TY3zZ26ulp1kxkRSowgeDRIXC/AKI6tXZY/XktLGGqmn2nLfZO2v02PqYHLbDJpeXlmlTnK/3b4cvQUn4LABLKYuudbYN2B+Mac2FgAHP5PXRAYqPYw1/B X-Forefront-PRVS: 0812095267 X-Microsoft-Exchange-Diagnostics: =?iso-8859-1?Q?1;DB5PR05MB1704;23:SeT51ToiHh3dwvAv5pJzdzYgXb1fhgkhqm3Cyre?= =?iso-8859-1?Q?vrBQ4nQ9X9f2VdlZALWGUrrxbjeVld89f9V5jWPKry1IBkZQsW7bJTZtip?= =?iso-8859-1?Q?O5DUgevK2XD2Wm53UxcH3pEDNWsWbMgg+zkHqD0DPERT1etAKJx8pKTXts?= =?iso-8859-1?Q?wwl2Roh66yNIPggNUhYpKFXDKWyIVJYFQ5fylQ4LLiIIeKd5dT7gprbDtR?= =?iso-8859-1?Q?xQaLgUmL9lTxIM1CSKZ9RmnAmc+BU05BaJwPoZVqEXxeVUoo9Q3q/4fiGY?= =?iso-8859-1?Q?8qsLj23kTREMh3Zo2IFX8R5Yj1iv4AsQaLXn5lwN7pCNu7r90xUV3JAMI7?= =?iso-8859-1?Q?n9ASuhtbGHapo/Q6rQQnhJBQLk+90Lyj+qbaWrIFkgzoN0fvCkLmgSa/7c?= =?iso-8859-1?Q?RSW9AlJzG9H2dC/CMQi+YV3Hsyz9eIQFxJbjqLfjMIK/owJEoPkh6gJQKd?= =?iso-8859-1?Q?6h06wmu/DN0K3hW+75ku2oiNKnJl0amxvPsBUBcA0/k64RSrO6nJKwLar4?= =?iso-8859-1?Q?OCokPPBqxon824yOKz5xJ8oozHLtgun/df/XcZtDXFT/Zs0o5EHE8MltWA?= =?iso-8859-1?Q?Rb4Ucn/Y8EV2P4s7Lx0U9SrXEaq4Xz+ie+JgpY3ZxMkSOfgd0OFLA9UbNn?= =?iso-8859-1?Q?8k52Hu/O6M0lvbAp8S0zRxnHUe4Ie9ddm+qmjzhbKAXw5OvEgjc7+UbXX0?= =?iso-8859-1?Q?O3NamPUG2o5xz9zh/C6OoCo7XzBzqK+iJo+oAojTdZWLOeqG8MiwInlRM/?= =?iso-8859-1?Q?fVqqFQ4JovjGifSIzo6SUxOrSkDVIpYG67byOkiQDXZpF3W3PT2sOrdNkp?= =?iso-8859-1?Q?iCpFK9JL0cYNB5/5MlJV+x2RF2hmLOoX/3/3vN4gWurRlHMZUt00RN+nct?= =?iso-8859-1?Q?egLzKOgDd+WMzwdnKFOCEqzm/BWKOvqk5MGa/GL1TAlxWA5+YIOKNE9lJo?= =?iso-8859-1?Q?2W+Qwar+LX9R6diRgYiKwHfnu1sP8erJtPo5azlS86ppenMBGovs7ZCQGS?= =?iso-8859-1?Q?ikMENtnaarvblCNJDygmc2cr42lGCZzN2SVvfX50e8SiWroQOn92H5SH3d?= =?iso-8859-1?Q?IVuEqreHdBUPO94YfOB0g=3D=3D?= X-Microsoft-Exchange-Diagnostics: 1;DB5PR05MB1704;5:aYevCupfQjzR3vvdKedZhIKb/L0/284sZMCjHYWTAl6dB/Joqu7hcsrHyzf8iwjn8bU7H6avp36h/yVc/PzovDN92pVyr/SjNWchtq8UpSUKOm8Bsw8DkZJGKWf0cwMcUhyiiV4dlj9Hxxc3y2WPB77f1CdvUktcacbcR/QWyqE=;24:he+QsymCSXNr4X4Q2kjfqdDVeQY2LzD0mGjv4JSICpOzxDEB8SXisZrwKid2/lwpnquBk+aph6pnyQjCV4PeINs1uFdN9bdlFlY7S/wohzw= SpamDiagnosticOutput: 1:23 SpamDiagnosticMetadata: NSPM X-MS-Exchange-CrossTenant-OriginalArrivalTime: 05 Jan 2016 13:46:31.5952 (UTC) X-MS-Exchange-CrossTenant-Id: 5afe0b00-7697-4969-b663-5eab37d5f47e X-MS-Exchange-CrossTenant-OriginalAttributedTenantConnectingIp: TenantId=5afe0b00-7697-4969-b663-5eab37d5f47e;Ip=[193.190.208.132];Helo=[smtp.umons.ac.be] X-MS-Exchange-CrossTenant-FromEntityHeader: HybridOnPrem X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB5PR05MB1704 Subject: Re: [Caml-list] Coding style: mixing tabs and spaces in indentation 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.