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 C087D7FDC8 for ; Tue, 12 Jan 2016 10:57:19 +0100 (CET) IronPort-PHdr: 9a23:uH+YJRW6/m0FhFlGprtYw3exQQLV8LGtZVwlr6E/grcLSJyIuqrYZhCOt8tkgFKBZ4jH8fUM07OQ6PC+Hzxbqs7Y+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8OVM14D3GP1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GLdRCTBjN2Eu+OXqswPCRE2B/CgySGITxzFPGQXD8BD8Frv8+hD9q/h0kH2WMIvtSq0mUHKp6L1mTgPpjg8IMjc49Cfcjckm3/ETmw6ouxEqm92cW4qSLvcrJq4= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=de.souza.corentin@gmail.com; spf=Pass smtp.mailfrom=de.souza.corentin@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f45.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of de.souza.corentin@gmail.com) identity=pra; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="de.souza.corentin@gmail.com"; x-sender="de.souza.corentin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of de.souza.corentin@gmail.com designates 74.125.82.45 as permitted sender) identity=mailfrom; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="de.souza.corentin@gmail.com"; x-sender="de.souza.corentin@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f45.google.com) identity=helo; client-ip=74.125.82.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="de.souza.corentin@gmail.com"; x-sender="postmaster@mail-wm0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A/AgDMzJRWlC1SfUpeg1g0bQaIU6FVBAOHC4pWgWYihW2BHgc6EgEBAQEBAQEBEAEBAQEHCwsJHzCCLYIgER0BGx4DEgkBBjcCJAERAQUBV4d2AQMSDp87ggeBMT4xi0iBaoJ5h2EKGScNV4JDGwEBBA6QSx+CUYFJBZcThUOIFl+OHUSMQxEkgRcpCII3IoFlPTSGMQEBAQ X-IPAS-Result: A0A/AgDMzJRWlC1SfUpeg1g0bQaIU6FVBAOHC4pWgWYihW2BHgc6EgEBAQEBAQEBEAEBAQEHCwsJHzCCLYIgER0BGx4DEgkBBjcCJAERAQUBV4d2AQMSDp87ggeBMT4xi0iBaoJ5h2EKGScNV4JDGwEBBA6QSx+CUYFJBZcThUOIFl+OHUSMQxEkgRcpCII3IoFlPTSGMQEBAQ X-IronPort-AV: E=Sophos;i="5.20,556,1444687200"; d="scan'208";a="160124420" Received: from mail-wm0-f45.google.com ([74.125.82.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 Jan 2016 10:57:19 +0100 Received: by mail-wm0-f45.google.com with SMTP id f206so310876125wmf.0 for ; Tue, 12 Jan 2016 01:57:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=mfHM5rOWQHcsA6jyvI+hsE7+yoDtPfKnj6jYZU29tMw=; b=zgNN7T9j8bbrL0oaeO0q/hRPysC4wJH+N1Smxh9uj0jGs2Lb8gJcchDppFv00eybm+ 6gU/1NuzUjPveH/rKtBcebQZ9xNDFz4Ju3AP4Iq6BJpF8C8dvueL+Jfps0Cj19JxiSWt e/xs0dhICsCRWXZgtjTmEWYbTZu+It7LSxMEKjPnp/bGrvYS26aiYL/ClFdZi02ynv/2 6GTFNYmX0PBsDaoNMoFIGoVJfBzH+dWlHh3wT1bq96CpoJ/Ki1SmkZYd1cl+S9z4P9Gc iLsk/di0SmwLLkAY+1AlWni5pnGLov9bOHyUJPlrRpw5/eknvguVAtN5KgBRw6wSHesF J1aw== MIME-Version: 1.0 X-Received: by 10.194.95.72 with SMTP id di8mr3188595wjb.144.1452592638891; Tue, 12 Jan 2016 01:57:18 -0800 (PST) Received: by 10.28.138.17 with HTTP; Tue, 12 Jan 2016 01:57:18 -0800 (PST) Date: Tue, 12 Jan 2016 10:57:18 +0100 Message-ID: From: Corentin De Souza To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7beb90a63e9df705292014a4 Subject: [Caml-list] [ANN] dead_code_analyzer 0.9 --047d7beb90a63e9df705292014a4 Content-Type: text/plain; charset=UTF-8 Hello, I am happy to announce dead_code_analyzer version 0.9. The dead_code_analyzer works as a complement to the compiler, warning you about exported values, methods, constructors and record fields that are never used. It also looks for optional arguments always/never used. In addition it reports some coding style issues, focusing on typing information. It needs OCaml 4.03 and can be installed through OPAM and github[1]. The tool assumes that .mli files are compiled with -keep-locs and .ml files with -bin-annot. Issues and pull requests are welcomed. Happy new year, Corentin [1] https://github.com/LexiFi/dead_code_analyzer * * -- *Corentin De Souza* * * --047d7beb90a63e9df705292014a4 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hello,

I am happy to= announce dead_code_analyzer version 0.9.

The dead_code_= analyzer works as a complement to the compiler, warning you about exported<= br>values, methods, constructors and record fields that are never used.
= It also looks for optional arguments always/never used.
In addition it r= eports some coding style issues, focusing on typing information.
<= div>
It needs OCaml 4.03 and can be installed through OPAM and git= hub[1].
The tool assumes that .mli files are compiled with -k= eep-locs and .ml files with -bin-annot.

Issues and pull requests ar= e welcomed.

Happy new year,

= Corentin


[1] https://github.com/LexiFi/dead_code_analyzer=


--
Corentin De Souza
--047d7beb90a63e9df705292014a4--