On Wed, May 26, 2010 at 4:31 PM, Christophe TROESTLER
<Christophe.Troestler+ocaml@umh.ac.be> wrote:
>  COULD PEOPLE WHO FIND THE DEFAULT USEFUL SPEAK UP NOW ?

I prefer the default:

let x = ... in
let y = ... 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 () = f () in
  g () ;
  h ()

is not the same as

if blah then
  f () ;
  g () ;
  h ()

Cheers,
-- 
David