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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 6F52F7F20B for ; Fri, 15 Feb 2013 01:00:42 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjkBAIJ5HVFKN1ZKnGdsb2JhbABFhkm5I4EHDgEBAQEBCAsJCRQngiABBSMEUhALQgICAlUGG4gKBKptkjeNOguDLDJhA48VgSWLSBONaoFpCBc X-IPAS-Result: AjkBAIJ5HVFKN1ZKnGdsb2JhbABFhkm5I4EHDgEBAQEBCAsJCRQngiABBSMEUhALQgICAlUGG4gKBKptkjeNOguDLDJhA48VgSWLSBONaoFpCBc X-IronPort-AV: E=Sophos;i="4.84,666,1355094000"; d="ml'?scan'208";a="2955581" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Feb 2013 01:00:41 +0100 Received: from [172.20.10.2] (123-232.197-178.cust.bluewin.ch [178.197.232.123]) by smtp.webfaction.com (Postfix) with ESMTP id 47CE659A3C90; Fri, 15 Feb 2013 00:00:39 +0000 (UTC) Date: Fri, 15 Feb 2013 01:00:35 +0100 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Louis Gesbert Cc: caml-list@inria.fr Message-ID: In-Reply-To: <1F8AABE110B94A03A92DDB149BE31A46@erratique.ch> References: <201302081625.29881.louis.gesbert@ocamlpro.com> <511A1C84.8010605@inria.fr> <201302121220.16247.gesbert@antislash.info> <1F8AABE110B94A03A92DDB149BE31A46@erratique.ch> X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="511d7aa3_52d7b105_5083" Subject: Re: [Caml-list] ocp-indent beta release --511d7aa3_52d7b105_5083 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Le jeudi, 14 f=C3=A9vrier 2013 =C3=A0 17:18, Daniel B=C3=BCnzli a =C3=A9cri= t : > By the way there's one big issue for me, in my whole code base I strictly= stick to 80 columns and use the other acceptable convention mentioned here= [1]. This means that I do not indent the top most cases so that you don't = run into the 80 character limit too quickly. >=20=20 > Here's what I mean: >=20=20 > let f =3D function > | A -> ... > | B -> ... >=20=20 > let f x =3D match x with > | A -> ... > | B -> ... In fact it's not only the top most cases. These ones: let f =3D=20=20 let g =3D function=20=20 | A -> "A" | B -> "B" in g also seem to be annoyingly indented to=20=20 let f =3D=20=20 let g =3D function=20=20 | A -> "A" | B -> "B" in g this really wastes too much space and is unusable for me, especially if you= have local, nested function definitions.=20=20 I have attached a file with the examples (email rendering is not very relia= ble). For me there should be a setting that lets that file unchanged.=20=20 In typerex I could get this behaviour by having at least (don't remember ex= actly which conjunction does the thing): (setq typerex-let-always-indent nil) (setq typerex-with-indent 0) (setq typerex-function-indent 0) (setq typerex-fun-indent 0) (setq typerex-type-indent 0) (setq typerex-if-then-else-indent 0) Best, Daniel --511d7aa3_52d7b105_5083 Content-Type: application/octet-stream Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="fundefbycase.ml" bGV0IGYgeCA9IG1hdGNoIHggd2l0aAp8IGBBIC0+ICJBIgp8IGBCIC0+ICJC IgogICAgCmxldCBmID0gZnVuY3Rpb24KfCBgQSAtPiAiQSIKfCBgQiAtPiAi QiIKICAgIApsZXQgZiA9IGZ1biB4IC0+IG1hdGNoIHggd2l0aAp8IGBBIC0+ ICJBIgp8IGBCIC0+ICJCIgogICAgCmxldCBmID0gCiAgbGV0IGcgeCA9IG1h dGNoIHggd2l0aAogIHwgYEEgLT4gIkEiCiAgfCBgQiAtPiAiQiIKICBpbgog IGcKICAgIApsZXQgZiA9IAogIGxldCBnID0gZnVuY3Rpb24gCiAgfCBgQSAt PiAiQSIKICB8IGBCIC0+ICJCIgogIGluCiAgZwogICAgCmxldCBmID0gCiAg bGV0IGcgPSBmdW4geCAtPiBtYXRjaCB4IHdpdGgKICB8IGBBIC0+ICJBIgog IHwgYEIgLT4gIkIiCiAgaW4KICBnCgo= --511d7aa3_52d7b105_5083--