From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 89CA4BC57 for ; Wed, 26 May 2010 18:34:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4EAFbq/EtbefWq/2dsb2JhbACSDIx9wkaFEwQ X-IronPort-AV: E=Sophos;i="4.53,304,1272837600"; d="scan'208";a="60078700" Received: from upsilon.hackadomia.org (HELO upsilon.upsilon.cc) ([91.121.245.170]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 May 2010 18:34:37 +0200 Received: from usha.takhisis.invalid (unknown [10.19.0.6]) by upsilon.upsilon.cc (Postfix) with ESMTPS id D304C10753 for ; Wed, 26 May 2010 18:34:36 +0200 (CEST) Received: by usha.takhisis.invalid (Postfix, from userid 1000) id 57D6384130; Wed, 26 May 2010 18:34:36 +0200 (CEST) Date: Wed, 26 May 2010 18:34:36 +0200 From: Stefano Zacchiroli To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] New emacs tuareg mode Message-ID: <20100526163436.GA11283@upsilon.cc> References: <20100526.163107.618177699151860158.Christophe.Troestler+ocaml@umons.ac.be> <20100526.180139.645298207919674756.Christophe.Troestler+ocaml@umons.ac.be> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20100526.180139.645298207919674756.Christophe.Troestler+ocaml@umons.ac.be> User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; zacchiroli:01 zack:01 emacs:01 tuareg:01 0200,:01 christophe:01 troestler:01 ocaml's:01 defaults:01 ocaml:01 tuareg:01 cheers:01 zacchiroli:01 postdoc:01 zack:01 On Wed, May 26, 2010 at 06:01:39PM +0200, Christophe TROESTLER wrote: > > Why don't you simply make the default according to OCaml's programming > > guidelines [1] ? > > I am in favor of that (it was suggested by others too > https://forge.ocamlcore.org/tracker/?func=detail&atid=258&aid=646&group_id=43 ) > but the question is whether some people would object to (or be upset > by) a change of defaults. I don't see any valid reason to oppose the official coding guidelines, really. Guidelines exist exactly to uniform the implementation of OCaml indentation in different tools; tools should use them as their specification. If the tuareg default is different, then it's buggy. Cheers. -- Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7 zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/ Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime