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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 5E8DD7ED7A for ; Fri, 21 Sep 2012 15:41:07 +0200 (CEST) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=pra; client-ip=188.165.33.202; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of romain.bardou@inria.fr) identity=mailfrom; client-ip=188.165.33.202; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="romain.bardou@inria.fr"; x-sender="romain.bardou@inria.fr"; x-conformance=sidf_compatible Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mo3.mail-out.ovh.net) identity=helo; client-ip=188.165.33.202; receiver=mail1-smtp-roc.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: Ag4BAPFsXFC8pSHKmWdsb2JhbABFDoV9uCkBAQEBAQgLCwcUJ4IgAQEEASMVQAEFCwsaAgUWCwICCQMCAQIBRQYNAQcCh3sGBKZdknWBIY8PgRIDlWSSTj0 X-IronPort-AV: E=Sophos;i="4.80,462,1344204000"; d="scan'208";a="174129113" Received: from 13.mo3.mail-out.ovh.net (HELO mo3.mail-out.ovh.net) ([188.165.33.202]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Sep 2012 15:41:07 +0200 Received: from mail627.ha.ovh.net (b6.ovh.net [213.186.33.56]) by mo3.mail-out.ovh.net (Postfix) with SMTP id 82375FF940E for ; Fri, 21 Sep 2012 15:49:24 +0200 (CEST) Received: from b0.ovh.net (HELO queueout) (213.186.33.50) by b0.ovh.net with SMTP; 21 Sep 2012 15:41:06 +0200 Received: from guest-rocq-135221.inria.fr (HELO ?128.93.135.221?) (romain%bardou.fr@128.93.135.221) by ns0.ovh.net with SMTP; 21 Sep 2012 15:41:05 +0200 Message-ID: <505C6EAF.5080301@inria.fr> Date: Fri, 21 Sep 2012 15:42:07 +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: Christophe TROESTLER 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> In-Reply-To: <20120917.222210.832076572642519350.Christophe.Troestler@umons.ac.be> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Ovh-Tracer-Id: 7958142018395671237 X-Ovh-Remote: 128.93.135.221 (guest-rocq-135221.inria.fr) X-Ovh-Local: 213.186.33.20 (ns0.ovh.net) X-OVH-SPAMSTATE: OK X-OVH-SPAMSCORE: -100 X-OVH-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrkedvucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoehrohhmrghinhdrsggrrhguohhusehinhhrihgrrdhfrheqnecujfgurhepkfffhfgfggfvufhfjggtgfesthejrgdttdefje X-Spam-Check: DONE|U 0.5/N X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrfeehtddrkedvucetufdoteggodetrfcurfhrohhfihhlvgemucfqggfjnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenucfhrhhomheptfhomhgrihhnuceurghrughouhcuoehrohhmrghinhdrsggrrhguohhusehinhhrihgrrdhfrheqnecujfgurhepkfffhfgfggfvufhfjggtgfesthejrgdttdefje X-Validation-by: romain.bardou@inria.fr Subject: Re: [Caml-list] Tuareg mode: Indentation of application arguments > 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. Cheers, -- Romain