From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gclci-caml-list@m.gmane.org>
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id B2D7A7EE51
	for <caml-list@sympa.inria.fr>; Thu, 18 Apr 2013 14:34:05 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  monnier@iro.umontreal.ca) identity=pra;
  client-ip=80.91.229.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gclci-caml-list@m.gmane.org";
  x-sender="monnier@iro.umontreal.ca";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  gclci-caml-list@m.gmane.org designates 80.91.229.3 as
  permitted sender) identity=mailfrom; client-ip=80.91.229.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gclci-caml-list@m.gmane.org";
  x-sender="gclci-caml-list@m.gmane.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  postmaster@plane.gmane.org designates 80.91.229.3 as
  permitted sender) identity=helo; client-ip=80.91.229.3;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="gclci-caml-list@m.gmane.org";
  x-sender="postmaster@plane.gmane.org";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiMBANnnb1FQW+UDmWdsb2JhbABQxSIWDgEBAQEBCAsLBxQogh8BAQQBfgsLRhQoG4gnBgS+MY83gzADpjuFBg
X-IPAS-Result: AiMBANnnb1FQW+UDmWdsb2JhbABQxSIWDgEBAQEBCAsLBxQogh8BAQQBfgsLRhQoG4gnBgS+MY83gzADpjuFBg
X-IronPort-AV: E=Sophos;i="4.87,501,1363129200"; 
   d="scan'208";a="13857730"
Received: from plane.gmane.org ([80.91.229.3])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Apr 2013 14:34:04 +0200
Received: from list by plane.gmane.org with local (Exim 4.69)
	(envelope-from <gclci-caml-list@m.gmane.org>)
	id 1USo2I-0000Is-Il
	for caml-list@inria.fr; Thu, 18 Apr 2013 14:33:58 +0200
Received: from 206-248-176-29.dsl.teksavvy.com ([206.248.176.29])
        by main.gmane.org with esmtp (Gmexim 0.1 (Debian))
        id 1AlnuQ-0007hv-00
        for <caml-list@inria.fr>; Thu, 18 Apr 2013 14:33:58 +0200
Received: from monnier by 206-248-176-29.dsl.teksavvy.com with local (Gmexim 0.1 (Debian))
        id 1AlnuQ-0007hv-00
        for <caml-list@inria.fr>; Thu, 18 Apr 2013 14:33:58 +0200
X-Injected-Via-Gmane: http://gmane.org/
To: caml-list@inria.fr
From: Stefan Monnier <monnier@iro.umontreal.ca>
Date: Thu, 18 Apr 2013 08:33:53 -0400
Message-ID: <jwvwqs0aujx.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org>
References: <20130413130640.GA702@jrm.no-ip.org>
	<jwv38urbjp4.fsf-monnier+gmane.comp.lang.caml.inria@gnu.org>
	<516FB537.6000606@inria.fr>
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: usenet@ger.gmane.org
X-Gmane-NNTP-Posting-Host: 206-248-176-29.dsl.teksavvy.com
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux)
Cancel-Lock: sha1:b6cy5RNXK7rwhax0n+VhPPRo7QA=
X-Validation-by: monnier@iro.umontreal.ca
Subject: [Caml-list] Re: tuareg clause indentation in pattern matching

> Indeed that does the trick but this causes all sort of other annoying
> indentation rules, such as:

> foooooo bar
>         bla

> instead of:

> foooooo bar
>   bla

Indeed, SMIE likes to align arguments.  As the author, I of course agree
with this decision and think it only makes a lot of sense.  If you want
less indentation then you have to use

   foooooo
     bar
     bla


-- Stefan