From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <grettke@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id C2023BC57
	for <caml-list@yquem.inria.fr>; Thu, 27 May 2010 17:42:01 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsECAGsv/kvRVdQ0kGdsb2JhbACeFwgVAQEBAQkJDAcRAx+zIoVeiH0BAQMFhQ4Eg0KKKA
X-IronPort-AV: E=Sophos;i="4.53,312,1272837600"; 
   d="scan'208";a="51318863"
Received: from mail-vw0-f52.google.com ([209.85.212.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 27 May 2010 17:42:00 +0200
Received: by vws5 with SMTP id 5so80855vws.39
        for <caml-list@yquem.inria.fr>; Thu, 27 May 2010 08:41:59 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:received:sender:received
         :in-reply-to:references:date:x-google-sender-auth:message-id:subject
         :from:to:cc:content-type:content-transfer-encoding;
        bh=nntIGj/uLBjrKLyMJP+ApnuJnzboeYVN9ZA/xSpnl3s=;
        b=xlaaFp9vX5rAwJI1XUfYwrASHzHwi2H0qznnAwySIs7KNpx5xbqKolYMID64PwTxOB
         a5WKiQljbmBKfbB+8cNbBIHVKPfbfIwUWD9DhbvJRvPRUvGNpPeROJQRCBEBqI894Rjn
         YME44EIA5QuRhEuX0Mwnvb5qH+QotKjuMloyk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:cc:content-type
         :content-transfer-encoding;
        b=WENZKOBuINLlmy4xkqF+syALB+99zXkKZsrtSQswSl2xbKGLpbiYN8zxcA0HH0ZKt4
         r4/LYPzgqe3XTpTTW0T2RhIdQxmPTp9SwCaGDABB/1gYT5zmslZOKf1SkGGPTMqV5Ai0
         5sZDlh8qY+bOpudUnh2djAljNuPq4Xtlb4f/k=
MIME-Version: 1.0
Received: by 10.220.124.136 with SMTP id u8mr7721107vcr.76.1274974919452; Thu, 
	27 May 2010 08:41:59 -0700 (PDT)
Sender: grettke@gmail.com
Received: by 10.220.170.200 with HTTP; Thu, 27 May 2010 08:41:59 -0700 (PDT)
In-Reply-To: <AANLkTin8N2sCEOm8upVOcml0CVeHWisu2o8bxSFQlJWP@mail.gmail.com>
References: <AANLkTinx7e3olalMAeehOJdEND-SF4WBctrAG9OycACS@mail.gmail.com>
	<4BFB2148.5060603@colba.net>
	<AANLkTinaEKqRmatLmFxhjf9I_eu7UD1HxsUZlxtGnJVj@mail.gmail.com>
	<20100526.163107.618177699151860158.Christophe.Troestler+ocaml@umons.ac.be>
	<AANLkTilHVyK36kPZnLfU0yZU7lwBEFx8SPPXgQz1C-o9@mail.gmail.com>
	<AANLkTin8N2sCEOm8upVOcml0CVeHWisu2o8bxSFQlJWP@mail.gmail.com>
Date: Thu, 27 May 2010 10:41:59 -0500
X-Google-Sender-Auth: CS84DF8PzkGOqO3grTUXVORnlHg
Message-ID: <AANLkTin9i-Lxv1fWsiItnpdqIUC4QRelWQdu79GuBFjk@mail.gmail.com>
Subject: Re: [Caml-list] New emacs tuareg mode
From: Grant Rettke <grettke@acm.org>
To: Eray Ozkural <examachine@gmail.com>
Cc: david.baelde@ens-lyon.org,
	OCaml Mailing List <caml-list@yquem.inria.fr>,
	Christophe TROESTLER <Christophe.Troestler+ocaml@umh.ac.be>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam: no; 0.00; emacs:01 tuareg:01 eray:01 ozkural:01 christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 foo:01 nesting:01 26,:98 wrote:01 wrote:01 avoids:01 

On Thu, May 27, 2010 at 9:25 AM, Eray Ozkural <examachine@gmail.com> wrote:
> On Thu, May 27, 2010 at 12:46 PM, David Baelde <david.baelde@gmail.com> w=
rote:
>> On Wed, May 26, 2010 at 4:31 PM, Christophe TROESTLER
>> <Christophe.Troestler+ocaml@umh.ac.be> wrote:
>>> =A0COULD PEOPLE WHO FIND THE DEFAULT USEFUL SPEAK UP NOW ?
>>
>> I prefer the default:
>>
>> let x =3D ... in
>> let y =3D ... in
>> =A0foo
>>
>> For what it's worth: I agree with the guidelines that two let-in are
>> like two assumptions and should be indented the same.
>
> Seconded, I think it looks neat and it avoids too much nesting clutter.

Agreed.