From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id B8394BBAF for ; Thu, 23 Oct 2008 16:10:25 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEACAiAEnUVZsV/2dsb2JhbADATINO X-IronPort-AV: E=Sophos;i="4.33,470,1220220000"; d="scan'208";a="30662021" Received: from cerberus.snarc.org ([212.85.155.21]) by mail4-smtp-sop.national.inria.fr with ESMTP; 23 Oct 2008 16:10:25 +0200 Received: by cerberus.snarc.org (Postfix, from userid 1000) id 45451129EC; Thu, 23 Oct 2008 15:13:34 +0100 (BST) Date: Thu, 23 Oct 2008 15:13:35 +0100 From: Vincent Hanquez To: Hugo Ferreira Cc: Thomas Gazagnaire , caml-list caml-list , Romain Bardou Subject: Re: [Caml-list] What does Jane Street use/want for an IDE? What about you? Message-ID: <20081023141335.GA521@snarc.org> References: <200810200919.41561.ober.14@osu.edu> <9d3ec8300810211231j40dbbef2ifdd6c2f6b84a2048@mail.gmail.com> <20081021202649.GA11380@philou.ch> <200810220842.17128.ober.14@osu.edu> <49002C0E.5050107@inescporto.pt> <49003554.9050109@lri.fr> <9722eaea0810230313u25b2c874xc94574786e513162@mail.gmail.com> <4900596C.80406@inescporto.pt> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <4900596C.80406@inescporto.pt> X-Warning: Email may contain unsmilyfied humor and/or satire. User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; 0100,:01 alignment:01 23,:98 wrote:01 wrote:01 caml-list:01 diff:02 consistent:02 patches:03 indentation:04 indentation:04 spaces:04 spaces:04 size:95 thu:05 On Thu, Oct 23, 2008 at 12:01:00PM +0100, Hugo Ferreira wrote: > Thomas Gazagnaire wrote: >> I would prefer to not have an editor which modify completely the file I >> am working on (ie. automatically replace tab by spaces). When working >> on big project, you cannot assume that everybody use spaces-based >> editor, and you still want to minimize the diff size of your patches. >> > > That is the whole issue. If you work in a big project wherein everyone > can you use their own "tab length", maintaining consistent indentation > is difficult (if not impossible). As Romain Bardou pointed out, you > can even use the same editors with differing "tab length". Real messy. tab has no length. projects tab-indented (not talking about alignment here), is the only consistant choice that permit everyone in this same project to use any *representation* they want for their indentation (8 spaces, 2 spaces, 4 spaces, 11 spaces, ...) without making a mess. -- Vincent