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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 9E7FC7ED7A for ; Sat, 22 Sep 2012 15:22:00 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=pra; client-ip=46.105.75.36; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=mailfrom; client-ip=46.105.75.36; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mo3.mail-out.ovh.net) identity=helo; client-ip=46.105.75.36; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="postmaster@mo3.mail-out.ovh.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuYAAF26XVAuaUskmWdsb2JhbABFvk4BAQEBAQgLCwcUJ4IgAQEFMgEFNQwQCw4KCSUPAkYGDQEFAgKIBQe4QoschioDlWWBFZF2 X-IronPort-AV: E=Sophos;i="4.80,467,1344204000"; d="scan'208";a="156597713" Received: from 2.mo3.mail-out.ovh.net (HELO mo3.mail-out.ovh.net) ([46.105.75.36]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Sep 2012 15:22:00 +0200 Received: from mail181.ha.ovh.net (b7.ovh.net [213.186.33.57]) by mo3.mail-out.ovh.net (Postfix) with SMTP id 37883FF88D9 for ; Sat, 22 Sep 2012 15:30:20 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 22 Sep 2012 15:21:59 +0200 Received: from amontsouris-554-1-48-46.w82-123.abo.wanadoo.fr (HELO ?192.168.1.12?) (romain%bardou.fr@82.123.199.46) by ns0.ovh.net with SMTP; 22 Sep 2012 15:21:57 +0200 Message-ID: <505DBBB3.10105@inria.fr> Date: Sat, 22 Sep 2012 15:22:59 +0200 From: Romain Bardou User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.6esrpre) Gecko/20120817 Icedove/10.0.6 MIME-Version: 1.0 To: Kristopher Micinski CC: caml-list@inria.fr X-Ovh-Mailout: 178.32.228.3 (mo3.mail-out.ovh.net) References: <5050A32C.9090809@inria.fr> <20120917.222210.832076572642519350.Christophe.Troestler@umons.ac.be> <505C6EAF.5080301@inria.fr> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Ovh-Tracer-Id: 13507702659416033800 X-Ovh-Remote: 82.123.199.46 (amontsouris-554-1-48-46.w82-123.abo.wanadoo.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: -100 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrkeegucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoehrohhmrghinhdrsggrrhguohhusehinhhrihgrrdhfrheqnecuffhomhgrihhnpegvmhgrtghssghlohhgrdhorhhgnecujfgurhepkfffhfgfggfvufhfjggtgfesthekrgdttdefud X-Spam-Check: DONE|U 0.5/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrkeegucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoehrohhmrghinhdrsggrrhguohhusehinhhrihgrrdhfrheqnecuffhomhgrihhnpegvmhgrtghssghlohhgrdhorhhgnecujfgurhepkfffhfgfggfvufhfjggtgfesthekrgdttdefud X-Validation-by: romain.bardou@inria.fr Subject: Re: [Caml-list] Tuareg mode: Indentation of application arguments Le 21/09/2012 22:11, Kristopher Micinski a écrit : > On Fri, Sep 21, 2012 at 9:42 AM, Romain Bardou wrote: >>> a configuration variable to change this behavior. (BTW, do you know >>> that M-q re-indent the current expression, so re-indenting after a name >>> change is effortless.) >> >> >> I know about M-q but I disagree that it is effortless: if you change a >> variable name, and this name is used in N places, you have to go to all >> those N places and re-indent there. Note that those N places can be >> different files. >> > > Hmm.... why don't you simply try an indent-buffer, ...? > > http://emacsblog.org/2007/01/17/indent-whole-buffer/ > > If I have a large amount of stuff I need to reindent I either select > and indent-region, or write some elisp to hack things up as needed.. > > kris Thank you for your input, Kristopher. One big issue I have with indent-buffer (and also with M-q, actually) is that it will reindent stuff I have indented by hand to bypass some rules of Tuareg I don't like. Even if I had an "indent correctly and instantly all files of my project" button, I still would not find the current indentation rule for application acceptable. I believe that good indentation rules should not rely on automation to actually be usable. I'm not fluent at all with elisp and that's not something I am really interested in learning. That's just personal taste really though. Cheers, -- Romain Bardou