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 83A6F7F20B for ; Fri, 8 Feb 2013 16:55:21 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of kerneis@pps.jussieu.fr) identity=pra; client-ip=213.186.56.95; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="kerneis@pps.jussieu.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel@kerneis.info designates 213.186.56.95 as permitted sender) identity=mailfrom; client-ip=213.186.56.95; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="gabriel@kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@witko.kerneis.info designates 213.186.56.95 as permitted sender) identity=helo; client-ip=213.186.56.95; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel@kerneis.info"; x-sender="postmaster@witko.kerneis.info"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjQFAGQdFVHVujhf/2dsb2JhbABFhgYBuwwWc4IfAQEFOgYBATcBDwsYCRMSDwUoIYgoCKxLhDsBBY5oBpB7YZYmgR6ER4pugwE X-IPAS-Result: AjQFAGQdFVHVujhf/2dsb2JhbABFhgYBuwwWc4IfAQEFOgYBATcBDwsYCRMSDwUoIYgoCKxLhDsBBY5oBpB7YZYmgR6ER4pugwE X-IronPort-AV: E=Sophos;i="4.84,630,1355094000"; d="scan'208";a="2024804" Received: from witko.kerneis.info ([213.186.56.95]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 08 Feb 2013 16:55:21 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=kerneis.info; s=witko-rsa1; h=Subject:In-Reply-To:Content-Type:MIME-Version:References:Message-ID:Cc:To:From:Date; bh=jN7VQoh0H+FdRuNykX4SYRAIDfQAX504iWALZk/hpts=; b=eThipmZE948QA79QfO3c3c0pN+mRCSuCAepzZobour5EdGlbstk3n8rWbFjv71YWSbEhj/u7ds22frhI36B/47eUs8+BdHGLCnXLavzr/qA4j8xUYrTfIc9HwYleD4ow; Received: from gabriel by witko.kerneis.info with local (Exim 4.72) (envelope-from ) id 1U3qIK-0004Er-9z; Fri, 08 Feb 2013 16:55:20 +0100 Date: Fri, 8 Feb 2013 16:55:20 +0100 From: Gabriel Kerneis To: Louis Gesbert Cc: caml-list@inria.fr Message-ID: <20130208155520.GD11513@kerneis.info> References: <201302081625.29881.louis.gesbert@ocamlpro.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <201302081625.29881.louis.gesbert@ocamlpro.com> User-Agent: Mutt/1.5.20 (2009-06-14) X-SA-Exim-Connect-IP: X-SA-Exim-Mail-From: gabriel@kerneis.info X-Spam-Checker-Version: SpamAssassin 3.3.1 (2010-03-16) on witko.kerneis.info X-Spam-Level: X-SA-Exim-Version: 4.2.1 (built Mon, 22 Mar 2010 06:51:10 +0000) X-SA-Exim-Scanned: Yes (on witko.kerneis.info) Subject: Re: [Caml-list] ocp-indent beta release Hi, 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-tests/blob/master/status.html How do you evaluate which line is "correctly" indented on this page? Best, -- Gabriel