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 EB24E7F20B for ; Fri, 8 Feb 2013 17:09:22 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of louis.gesbert@ocamlpro.com) identity=pra; client-ip=212.227.17.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="louis.gesbert@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of louis.gesbert@ocamlpro.com) identity=mailfrom; client-ip=212.227.17.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="louis.gesbert@ocamlpro.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.10 as permitted sender) identity=helo; client-ip=212.227.17.10; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="louis.gesbert@ocamlpro.com"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuwAAOYiFVHU4xEKk2dsb2JhbABFwRQWDgEBAQEJCQsJFAMkgh8BAQV5EAsYLlcGiCgIv2GIc4hpA4gwjxGSNg X-IPAS-Result: AuwAAOYiFVHU4xEKk2dsb2JhbABFwRQWDgEBAQEJCQsJFAMkgh8BAQV5EAsYLlcGiCgIv2GIc4hpA4gwjxGSNg X-IronPort-AV: E=Sophos;i="4.84,630,1355094000"; d="scan'208";a="2028721" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Feb 2013 17:09:22 +0100 Received: from agaric.localnet (jua06-3-88-189-115-104.fbx.proxad.net [88.189.115.104]) by mrelayeu.kundenserver.de (node=mrbap1) with ESMTP (Nemesis) id 0MC7cW-1UCbwI0HK4-00936u; Fri, 08 Feb 2013 17:09:22 +0100 From: Louis Gesbert Organization: OCamlPro To: Gabriel Kerneis Date: Fri, 8 Feb 2013 17:09:20 +0100 User-Agent: KMail/1.13.7 (Linux/3.2.0-4-amd64; KDE/4.8.4; x86_64; ; ) Cc: caml-list@inria.fr References: <201302081625.29881.louis.gesbert@ocamlpro.com> <20130208155520.GD11513@kerneis.info> In-Reply-To: <20130208155520.GD11513@kerneis.info> MIME-Version: 1.0 Content-Type: Text/Plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Message-Id: <201302081709.20352.louis.gesbert@ocamlpro.com> X-Provags-ID: V02:K0:wrM9JIztZHtyTHofeyXuJdAiEIjmqM7pemFAw0zYoUp QKXMofmLOfETDIlTYOStK0dwYN2Dq6xy+1SO02cCb46GII6DWF L8rmOpGq0OaF2YBNi+pUKGbD7KA4Mqm7aPqZ6zDBQU2Xi1uVvr WPxE8Ygno5J8u0CuQH3HYyJAzh6IobvxjoyM1bUFIAPXXx0c70 9nom79N8bQ3gMbhz9I4O5bXa1ia1mjJxnA/UeyFaF/aQTcY45i XkJwGQelRZ1hMvH6snd+ALaUCLl/5hQwL0+vOv4hLB11K7IBYt Z+ub9zfB6fwVtXFnTpc/9rKhRE9mljYT0YZwmyeXo9czghfo0Q 2fLOMJDfd68c8LPmNqFobBDGA+GDrlmx5VjEKv5s+LcBuZKebr rovOJXW24UeDg== X-Validation-by: louis.gesbert@ocamlpro.com Subject: Re: [Caml-list] ocp-indent beta release Le vendredi 8 f=E9vrier 2013 16:55:20, Gabriel Kerneis a =E9crit : > Hi, >=20 > On Fri, Feb 08, 2013 at 04:25:29PM +0100, Louis Gesbert wrote: > > Some comparison with tuareg on a few big OCaml projects can be seen at > > http://htmlpreview.github.com/?https://github.com/AltGr/ocp-indent-test= s/ > > blob/master/status.html >=20 > How do you evaluate which line is "correctly" indented on this page? >=20 > Best, Well, the assumption, admittedly quite wrong, is that the existing source c= ode=20 is already "well" indented (ie, any change made by the indenter is wrong). = That=20 is why we should'nt aim for a 100% score in this table. I take the opportunity to point out that most of these projects has probabl= y=20 been written using tuareg, which gives a certain bias. On the other hand, o= ur=20 unit tests (of which most have been written to show tuareg's weaknesses) ha= ve an=20 opposite bias, and tuareg fails the vast majority of them. -- Louis Gesbert, OCamlPro