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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id A433EBC57 for ; Thu, 27 May 2010 11:46:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqgEADbc/UvRVaE0gWdsb2JhbACRY4wtCBUBARYiIq9WggGFTy6ITwEBAwWFDgSEdYpi X-IronPort-AV: E=Sophos;i="4.53,310,1272837600"; d="scan'208";a="51294473" Received: from mail-fx0-f52.google.com ([209.85.161.52]) by mail3-smtp-sop.national.inria.fr with ESMTP; 27 May 2010 11:46:12 +0200 Received: by fxm8 with SMTP id 8so3108700fxm.39 for ; Thu, 27 May 2010 02:46:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:reply-to :in-reply-to:references:date:message-id:subject:from:to:cc :content-type:content-transfer-encoding; bh=awK1RGor7Fg+ynfwPRSkDrBAMHKeshIiEA0qwt7eaDc=; b=pvYZNJ35MSjLrxlaU0/zBGRaUyRZ0kukKLoknrIbaVWM8o6Ar2YLq5NbOZKztYj7xF VT/4zEfgVBIn8uXnPyWv067XYwu0AhEIagg2DEAYTBwqTX6lEk3IqNXvsM9YM3MPWcZj iC20uVwdkcMN9iEwhIf8n5s7kohPaF2afZ3VA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:cc:content-type:content-transfer-encoding; b=uxJl1a0ntd3GYJi/ijr2X1hYcZrNkSRpkbnTtUW17kteUtVk56Myma467F3nHkrS1g 3VExU0fmgxUucd0KP+qldX3gMBqBhm3r4gQNK3F1Ai4P159SeWeqjjtkmJkX+NooncxP YDDYt/XFNfca8PBA0eGL8mg1qF/zml91en5dw= MIME-Version: 1.0 Received: by 10.103.81.39 with SMTP id i39mr6606256mul.28.1274953571908; Thu, 27 May 2010 02:46:11 -0700 (PDT) Received: by 10.103.233.19 with HTTP; Thu, 27 May 2010 02:46:11 -0700 (PDT) Reply-To: david.baelde@ens-lyon.org In-Reply-To: <20100526.163107.618177699151860158.Christophe.Troestler+ocaml@umons.ac.be> References: <4BFB2148.5060603@colba.net> <20100526.163107.618177699151860158.Christophe.Troestler+ocaml@umons.ac.be> Date: Thu, 27 May 2010 11:46:11 +0200 Message-ID: Subject: Re: [Caml-list] New emacs tuareg mode From: David Baelde To: Christophe TROESTLER Cc: OCaml Mailing List Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; emacs:01 tuareg:01 christophe:01 troestler:01 christophe:01 troestler:01 ocaml:01 foo:01 cheers:01 26,:98 wrote:01 caml-list:01 umh:01 argument:02 let:03 On Wed, May 26, 2010 at 4:31 PM, Christophe TROESTLER wrote: > =A0COULD PEOPLE WHO FIND THE DEFAULT USEFUL SPEAK UP NOW ? I prefer the default: let x =3D ... in let y =3D ... in foo For what it's worth: I agree with the guidelines that two let-in are like two assumptions and should be indented the same. But I like to visualize the separation between the set of assumptions and what we do with it. Another argument is that let-in creates a new scope, and captures sequences of expressions. Visualizing it helps to understand the structure of code. For example: if blah then let () =3D f () in g () ; h () is not the same as if blah then f () ; g () ; h () Cheers, --=20 David