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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6BC117F61E for ; Tue, 24 Jan 2017 14:00:34 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=louis.gesbert@ocamlpro.com; spf=None smtp.mailfrom=louis.gesbert@ocamlpro.com; spf=None smtp.helo=postmaster@vps119294.ovh.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of louis.gesbert@ocamlpro.com) identity=pra; client-ip=37.187.244.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="louis.gesbert@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of louis.gesbert@ocamlpro.com) identity=mailfrom; client-ip=37.187.244.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="louis.gesbert@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@vps119294.ovh.net) identity=helo; client-ip=37.187.244.36; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="postmaster@vps119294.ovh.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A7UGqDhAxmucMetTqP55iUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT+o8bcNUDSrc9gkEXOFd2CrakV16yL6uu8ACQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9GiTe5br5+NhW7oRjeusQZnIdpN7o8xAbOrnZUYe?= =?us-ascii?q?pd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQbNXEDopPWY15Nb2tRbY?= =?us-ascii?q?VguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu86FmQwLzhS?= =?us-ascii?q?wZKzA27n3Yis1ojKJavh2hoQB/w5XJa42RLfZyY7/Rcc8fSWdHQ81fVTFOApmk?= =?us-ascii?q?YoUPEeQPIOhWoYr6p1QMoxuxCgaiC//0xz9Un3/7x7E23/g9HQ3b2gErAtIAsG?= =?us-ascii?q?7TrNXwLKocV+e1zLTJzTXYcvhY2Cny6JPTfR8/u/GMQa97fM3VyUkoCgPFj06Q?= =?us-ascii?q?pZbqPzyLzeQCqHaU7/B8Ve+0jG4otxt+oj2rxsc0kInJgZgZxUzD9SV82Ys4I8?= =?us-ascii?q?CzRkB8Yd6hCpRQtieaOpNxQsw+WW5ovSI6xqcBuZ6hcygG0Jsnxx/Da/yHboiH?= =?us-ascii?q?+QjvW/qWITd9gn9uZbGxhw6q/EWuyODwTNS43VVIoyZfjNXBuX8A2wbd58WGTP?= =?us-ascii?q?Z2412v1iyV1w/J7+FJOUA0mrTfK54m2rMwiIITsV/eEiPrnEj6kqube0o+9uiv?= =?us-ascii?q?9eTnYq/qppmCOI9okg3+M6IuldKjAekgPAUDXXKX9fm/2bDh50H1XrpHg/Isnq?= =?us-ascii?q?TXsZ3WPcEbqbS4Aw9R3IYj8RG/DzK+3dQcmnkHMVNFeAmdg4jmJV7OO+v3Auml?= =?us-ascii?q?g1SwizprwOzJMafkApXJNnjDirDhcaxh5E5bzQo/1cpf6I5MCrEdPPLzXVf8u8?= =?us-ascii?q?DCAR88Nwy42uLnCNRm1oMCQm+PGa+YMKbKsVCS/O4vIu+MZJUUuDnnMfQl6eTu?= =?us-ascii?q?3jcFngoxdK+o0J9fQuS+DPBnaxGVaHztj9NHG3oHuBg6TcTnkkeLTT9Kenv0VK?= =?us-ascii?q?JqtR8hD4fzKYDeR5vlr7Ga1iqhAtUCYmdbC0vKHnrzfYieR98LYyuXJtd7lXoP?= =?us-ascii?q?Ur33GNxp7g2nqAKvk+kvFeHT4CBN8Mu7jNU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DTBAB8TodY/yT0uyVeHAEFAQsBGAEFA?= =?us-ascii?q?QsBgwoBAQEBAX+BCo5NkRWMSoIgiFEqhXQCAgIIglIUAQEBAQEBAQEBAQFhKII?= =?us-ascii?q?zGwGCGwEFJ1IQCxgJJQ8BRwaJMQqvOTqKWwEBAQcCASWGS4NmgQmESYVlBY9ui?= =?us-ascii?q?1+BfIRmjVOHW4ZKknc2IYEYEx1Phjo9iAoBAQE?= X-IPAS-Result: =?us-ascii?q?A0DTBAB8TodY/yT0uyVeHAEFAQsBGAEFAQsBgwoBAQEBAX+?= =?us-ascii?q?BCo5NkRWMSoIgiFEqhXQCAgIIglIUAQEBAQEBAQEBAQFhKIIzGwGCGwEFJ1IQC?= =?us-ascii?q?xgJJQ8BRwaJMQqvOTqKWwEBAQcCASWGS4NmgQmESYVlBY9ui1+BfIRmjVOHW4Z?= =?us-ascii?q?Kknc2IYEYEx1Phjo9iAoBAQE?= X-IronPort-AV: E=Sophos;i="5.33,278,1477954800"; d="scan'208";a="210671295" Received: from antislash.info (HELO vps119294.ovh.net) ([37.187.244.36]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 24 Jan 2017 14:00:33 +0100 From: Louis Gesbert To: Daniel =?ISO-8859-1?Q?B=FCnzli?= Cc: caml-list@inria.fr, Christophe Raffalli Date: Tue, 24 Jan 2017 14:00:31 +0100 Message-ID: <4372910.SfsLsx3Fc8@agaric> Organization: OCamlPro In-Reply-To: <1479F3A46A244541857BCDA472901816@erratique.ch> References: <20170123081914.khlfptehb33wmflf@delli7.univ-savoie.fr> <2754948.nqurzsgqqR@agaric> <1479F3A46A244541857BCDA472901816@erratique.ch> MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="iso-8859-1" X-Validation-by: louis.gesbert@ocamlpro.com Subject: Re: [Caml-list] type keyword indentation with tuareg `fun` does indeed get indented (by 2), as mentionned in the issue you linke= d to. The issue Christophe Raffalli was having here had to do with the `type` key= word in the function type leading to a much higher indentation level, thoug= h, if I understood correctly: a problem that is apparently solved by either= ocp-indent or a more recent version of Tuareg+SMIE. Best, Louis Gesbert - OCamlPro > - Daniel B=FCnzli, 24/01/2017 13:35 - > On Tuesday, 24 January 2017 at 09:46, Louis Gesbert wrote: > > Try ocp-indent (http://opam.ocaml.org/packages/ocp-indent/) for better = indentation, based on a token stack rather than regexps. It plugs in to tua= reg easily. > >=20 > > (and gives: > >=20 > > let f : type a.a -> a =3D > > fun x -> x > > ) >=20 > Is this released ? With [2], the `fun` gets indented. There's an old issu= e about this [1] >=20 > Best,=20 >=20 > Daniel >=20 > [1] https://github.com/OCamlPro/ocp-indent/issues/188 > [2] > > ocp-indent --version > 1.5.3 > > ocp-indent --print-config > base =3D 2 > type =3D 2 > in =3D 0 > with =3D 0 > match_clause =3D 2 > ppx_stritem_ext =3D 2 > max_indent =3D 4 > strict_with =3D never > strict_else =3D always > strict_comments =3D false > align_ops =3D true >=20 > align_params =3D auto