From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=4/z/=FB=bik-gmbh.de=hars@srs.kundenserver.de>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 37FE3BC0B
	for <caml-list@yquem.inria.fr>; Tue, 21 Nov 2006 21:09:29 +0100 (CET)
Received: from moutng.kundenserver.de (moutng.kundenserver.de [212.227.126.183])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id kALK9SNf009636
	for <caml-list@yquem.inria.fr>; Tue, 21 Nov 2006 21:09:28 +0100
Received: from [217.83.156.233] (helo=st11)
	by mrelayeu.kundenserver.de (node=mrelayeu4) with ESMTP (Nemesis),
	id 0ML21M-1Gmbvs169j-0005Qs; Tue, 21 Nov 2006 21:09:28 +0100
Received: from [127.0.0.1] (localhost [127.0.0.1])
	by st11 (Postfix) with ESMTP id 4B82929E93
	for <caml-list@yquem.inria.fr>; Tue, 21 Nov 2006 21:09:35 +0100 (CET)
Message-ID: <45635CFF.7010403@bik-gmbh.de>
Date: Tue, 21 Nov 2006 21:09:35 +0100
From: Florian Hars <hars@bik-gmbh.de>
User-Agent: Thunderbird 1.5.0.8 (X11/20061115)
MIME-Version: 1.0
To: caml-list@yquem.inria.fr
Subject: tuareg, parens and indentation
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 7bit
X-Provags-ID: kundenserver.de abuse@kundenserver.de login:e41b7c94d40caefc4091cd96f6bfacb8
X-Miltered: at discorde with ID 45635CF8.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; hars:01 hars:01 bik-gmbh:01 tuareg:01 parens:01 tuareg:01 messes:01 foo:01 foo:01 nesting:01 cond:02 cond:02 parameter:02 match:02 match:02 

I can't seem to be able to get the same indentation from tuareg 1.46 that
I got from 1.45. While 1.46.1 is considerably less broken in this regard
than 1.46.0, it still messes up "one true paren style"
and matches (at least I couldn't find the parameter to get rid of
the two additional spaces). Code like this (from 1.45.2):

   match foo with
   | None ->
       do_something ();
   | Some bar -> (
       match bar with
       | `A -> ()
       | `B -> ()
     )

or

   if cond then (
     do_something ();
     do_something_else ();
   ) else
     do_yet_another_thing ();

ends up as:

   match foo with
   | None ->
       do_something ();
   | Some bar -> (
	match bar with
	| `A -> ()
	| `B -> ()
       )

and

   if cond then (
       do_something ();
       do_something_else ();
     ) else
     do_yet_another_thing ();

which is not only ugly (code at the same nesting level ends up on different 
indentation levels), but also litters my repository with extensive, useless
whitespace-only patches.

Yours, Florian.