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 6640180198 for ; Tue, 11 Jul 2017 15:03:21 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=francois.bobot@cea.fr; spf=Pass smtp.mailfrom=francois.bobot@cea.fr; spf=None smtp.helo=postmaster@oxalide-smtp-out.extra.cea.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.168.224.13; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of francois.bobot@cea.fr designates 132.168.224.13 as permitted sender) identity=mailfrom; client-ip=132.168.224.13; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@oxalide-smtp-out.extra.cea.fr) identity=helo; client-ip=132.168.224.13; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@oxalide-smtp-out.extra.cea.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AexXwBx01XEcI+6GAsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIWL/ad9pjvdHbS+e9qxAeQG96KtLQc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXYQhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmlT?= =?us-ascii?q?kJNzA5/m/UhMJ/gq1UrxC9qBJw2IPUfIKYOeBicq/Bc94XR2xMVdtRWSxbBYO8?= =?us-ascii?q?apMCAeobPelCqYn6v1wOrRqlBQa0Ge7vzSRHhnjq3aYn1OkhHxvG0xYmH90St3?= =?us-ascii?q?TUrc71OL0JXuCy16bIyinDYuhK1jjj8ofEaB4hoeuVUL92bMHfx04vFwbfgVWR?= =?us-ascii?q?r4zoJzSV2fgXvGie6+psT+Wvi3Qoqw1prTmiwtsjhpPHhoIPzF3P6CZ3wJ4tKN?= =?us-ascii?q?GlRkN3f8SoHIZRuiyZLYd6XN0uTm5ytConxLAKoYO3cSYUxJg92hLSav2Kf5KV?= =?us-ascii?q?7h/nSuqdOzZ1iXR4c7ylnRmy61KvyujkW8m0zllKqi1Fn8HLtnECzRPT7smHRe?= =?us-ascii?q?Zj8Uu4wjaP0hzT6vldLUAziKrbN4QtzaA/l5oPq0TMBDX6l1nog6CMbEkk9PKo?= =?us-ascii?q?5/zmYrXguJCcK5d5hhzwP6gwgMCzHOU1PwsUU2SF5+ix26fv8VD3TblSi/05iK?= =?us-ascii?q?jZsJTUJcQBoa65BhdY0og56xmlCTepzNMYnXgcLF5fYx2HiJPmO1bSIP3jEfiw?= =?us-ascii?q?nU6jnC1lx/DcJrHhGInCLmDfkLf9erZw81JTxxA2zdBb/p5UDrABIOnvWkLqr9?= =?us-ascii?q?zZDho5MxSuzOr9CdV90JkeWWOVDaODPqPSqwzA2uV6KOCJYMoRuS3hA/kj/f/n?= =?us-ascii?q?y3EjynEHeqz884Eebv+/H+9RCUKTZmak1tkbGGEBuQslCubtglqeeTVebjC8Rf?= =?us-ascii?q?RvtXkAFIu6ANKbFciWi7ub0XLjEw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DzAQC6y2RZhw3gqIRdHRgHDBgHhAeQE?= =?us-ascii?q?KZ+ghEohU4CgzpBFgEBAQEBAQEBAQEBEgEBAQoLCQgoL0IMgWUigkQDAyMPAQV?= =?us-ascii?q?RCxoCJgICVxMIAQGKKxCrY4ImizUygQuCHYVZgW2BDIU2gkeCYQWfJHmGT444A?= =?us-ascii?q?W6IQ4Z/lUcmDWNLUidahSOBdYY2gmwBAQE?= X-IPAS-Result: =?us-ascii?q?A0DzAQC6y2RZhw3gqIRdHRgHDBgHhAeQEKZ+ghEohU4Cgzp?= =?us-ascii?q?BFgEBAQEBAQEBAQEBEgEBAQoLCQgoL0IMgWUigkQDAyMPAQVRCxoCJgICVxMIA?= =?us-ascii?q?QGKKxCrY4ImizUygQuCHYVZgW2BDIU2gkeCYQWfJHmGT444AW6IQ4Z/lUcmDWN?= =?us-ascii?q?LUidahSOBdYY2gmwBAQE?= X-IronPort-AV: E=Sophos;i="5.40,346,1496095200"; d="scan'208";a="282956173" Received: from oxalide-smtp-out.extra.cea.fr ([132.168.224.13]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Jul 2017 15:03:20 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by oxalide-sys.extra.cea.fr (8.14.7/8.14.7/CEAnet-Internet-out-4.0) with ESMTP id v6BD3K5G134433 for ; Tue, 11 Jul 2017 15:03:20 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 7828C204E3F for ; Tue, 11 Jul 2017 15:03:20 +0200 (CEST) Received: from muguet1.intra.cea.fr (muguet1.intra.cea.fr [132.166.192.6]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 6588120146C for ; Tue, 11 Jul 2017 15:03:20 +0200 (CEST) Received: from [10.8.35.73] (is231324.intra.cea.fr [10.8.35.73]) by muguet1.intra.cea.fr (8.15.2/8.15.2/CEAnet-Intranet-out-1.4) with ESMTP id v6BD3KqN028051 for ; Tue, 11 Jul 2017 15:03:20 +0200 To: caml-list@inria.fr References: <20170704140128.GA18152@annexia.org> <20170711122221.k4grfilv4mczhrqa@pl-59055.rocqadm.inria.fr> From: =?UTF-8?Q?Fran=c3=a7ois_Bobot?= Message-ID: <7923d3cf-9cdc-2aa3-0be1-04fa498c4851@cea.fr> Date: Tue, 11 Jul 2017 15:03:20 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.7.0 MIME-Version: 1.0 In-Reply-To: <20170711122221.k4grfilv4mczhrqa@pl-59055.rocqadm.inria.fr> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] OCaml code style and syntax checking Hi, Le 11/07/2017 à 14:22, Sébastien Hinderer a écrit : > You may also be interested in Xavier Clerc's Mascot tool: > http://mascot.x9c.fr/ It seems to be a great tool, but it seems only available for old ocaml version 4.00 <= ocaml-version < 4.02 : http://opam.ocaml.org/packages/mascot/ Best, -- François