From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 890767EDD9 for ; Mon, 8 Oct 2012 17:17:32 +0200 (CEST) Received-SPF: None (mail1-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=mail1-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 (mail1-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=mail1-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 (mail1-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=mail1-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: AucIAP3sclBQW+UDgWdsb2JhbABFi2WyMwQEgQojAQEWJieCIAEBBAF+CwtGFCgbiBgGBLlRjj6DIQOkPYRl X-IronPort-AV: E=Sophos;i="4.80,554,1344204000"; d="scan'208";a="176304006" Received: from plane.gmane.org ([80.91.229.3]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 08 Oct 2012 17:17:31 +0200 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1TLF5K-0003Zj-8h for caml-list@inria.fr; Mon, 08 Oct 2012 17:17:34 +0200 Received: from 69-196-180-6.dsl.teksavvy.com ([69.196.180.6]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 08 Oct 2012 17:17:34 +0200 Received: from monnier by 69-196-180-6.dsl.teksavvy.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 08 Oct 2012 17:17:34 +0200 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Stefan Monnier Date: Mon, 08 Oct 2012 11:17:17 -0400 Message-ID: References: <5050A32C.9090809@inria.fr> <20120917.222210.832076572642519350.Christophe.Troestler@umons.ac.be> <505C6EAF.5080301@inria.fr> <505DBBB3.10105@inria.fr> Mime-Version: 1.0 Content-Type: text/plain X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 69-196-180-6.dsl.teksavvy.com User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.2.50 (gnu/linux) Cancel-Lock: sha1:ALyKlgNS31opKKEjdtHxvXTHHlw= X-Validation-by: monnier@iro.umontreal.ca Subject: [Caml-list] Re: Tuareg mode: Indentation of application arguments > One big issue I have with indent-buffer (and also with M-q, actually) is > that it will reindent stuff I have indented by hand to bypass some rules of > Tuareg I don't like. If the places where you need to override Tuareg's indentation are very few, and if you use Tuareg's SMIE indenter, then you might be able to use the (* fixindent *) comment, which tells Tuareg to not mess with this line's indentation. Lots of "if"s, I know. But for now, it's best I could come up with. Of course, maybe the particular indentation you want to use could be mechanized as well, so you might want to report the "poorly indented" cases as bugs. Stefan