From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 5C5EF7EE99 for ; Wed, 11 Dec 2013 15:57:11 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of renaud@pps.univ-paris-diderot.fr) identity=pra; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="renaud@pps.univ-paris-diderot.fr"; x-sender="renaud@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of renaud@pps.univ-paris-diderot.fr) identity=mailfrom; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="renaud@pps.univ-paris-diderot.fr"; x-sender="renaud@pps.univ-paris-diderot.fr"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@korolev.univ-paris7.fr) identity=helo; client-ip=194.254.61.138; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="renaud@pps.univ-paris-diderot.fr"; x-sender="postmaster@korolev.univ-paris7.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkEAPp8qFLC/j2KlWdsb2JhbABZgmZZU4MDoyCKI4hXgRQIFg4BAQEBCQsJCRIqgiUBAQQBI0sQCwsEAQYaHQICIhIBBQEKEhkSh14DCQYBAwmmHowGiG0DhnEXjwQLFoJWgUgEmBSBMI52GCmCaYFt X-IPAS-Result: AhkEAPp8qFLC/j2KlWdsb2JhbABZgmZZU4MDoyCKI4hXgRQIFg4BAQEBCQsJCRIqgiUBAQQBI0sQCwsEAQYaHQICIhIBBQEKEhkSh14DCQYBAwmmHowGiG0DhnEXjwQLFoJWgUgEmBSBMI52GCmCaYFt X-IronPort-AV: E=Sophos;i="4.93,872,1378850400"; d="scan'208";a="48329526" Received: from korolev.univ-paris7.fr ([194.254.61.138]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 Dec 2013 15:57:11 +0100 Received: from potemkin.univ-paris7.fr (potemkin.univ-paris7.fr [IPv6:2001:660:3301:8000::1:1]) by korolev.univ-paris7.fr (8.14.4/8.14.4/relay1/46573) with ESMTP id rBBEvA3L018653 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Wed, 11 Dec 2013 15:57:10 +0100 Received: from mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [81.194.30.253]) by potemkin.univ-paris7.fr (8.14.4/8.14.4/relay2/46573) with ESMTP id rBBEvAdk031263 for ; Wed, 11 Dec 2013 15:57:10 +0100 Received: from mailhub.math.univ-paris-diderot.fr (localhost [127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTP id DC7C26D81D for ; Wed, 11 Dec 2013 15:57:10 +0100 (CET) X-Virus-Scanned: amavisd-new at math.univ-paris-diderot.fr Received: from mailhub.math.univ-paris-diderot.fr ([127.0.0.1]) by mailhub.math.univ-paris-diderot.fr (mailhub.math.univ-paris-diderot.fr [127.0.0.1]) (amavisd-new, port 10023) with ESMTP id oPzdooQokgDV for ; Wed, 11 Dec 2013 15:57:08 +0100 (CET) Received: from mail-pb0-f46.google.com (mail-pb0-f46.google.com [209.85.160.46]) (Authenticated sender: renaud) by mailhub.math.univ-paris-diderot.fr (Postfix) with ESMTPSA id A05466D821 for ; Wed, 11 Dec 2013 15:57:08 +0100 (CET) Received: by mail-pb0-f46.google.com with SMTP id md12so10050755pbc.19 for ; Wed, 11 Dec 2013 06:57:07 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :content-type; bh=bnOUlzCXauz0N1Lua/elT6e7KHuDfvyMvamnMEcZsOs=; b=SPXC90Z91atQWKhCnFXFpMDo6xE61bC6MGVQM1SqjIT9zGnz4jI67OGG2C9HK+TF/y Wv8P7JgtdxpYet89Gu1PjApRJWtLrN2f3UDSD0e2k6mfN6/GI450J1IMFUwNGhQLrx19 2KPpmS/PchlIHKKFv3W92kdxlq5G9whMmjdH6Q2BJ4IwNrxidfoJRpXdkzfzOr92Xhsc 3YLepIz+X48/ppeh/6QaMgAiGUQgofPaKL34CodYKcGU+Npef+0dpAZzaz9X3bEY+vcq 9vC6EZ+eShTEdnkkxOPymobxxo6wIsTO/VBkc67hrp7rbvRo+b0GdoqXms7VkPRbyJw3 BwKA== X-Received: by 10.68.88.161 with SMTP id bh1mr2128754pbb.49.1386773827266; Wed, 11 Dec 2013 06:57:07 -0800 (PST) MIME-Version: 1.0 Received: by 10.69.26.42 with HTTP; Wed, 11 Dec 2013 06:56:47 -0800 (PST) In-Reply-To: References: From: Fabien Renaud Date: Wed, 11 Dec 2013 15:56:47 +0100 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7b4187eb5bb1b204ed4371c5 X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (korolev.univ-paris7.fr [IPv6:2001:660:3301:8000::1:2]); Wed, 11 Dec 2013 15:57:10 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.7 (potemkin.univ-paris7.fr [194.254.61.141]); Wed, 11 Dec 2013 15:57:10 +0100 (CET) X-Miltered: at korolev with ID 52A87D46.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-Miltered: at potemkin with ID 52A87D46.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 52A87D46.001 from potemkin.univ-paris7.fr/potemkin.univ-paris7.fr/null/potemkin.univ-paris7.fr/ X-j-chkmail-Enveloppe: 52A87D46.001 from mailhub.math.univ-paris-diderot.fr/mailhub.math.univ-paris-diderot.fr/null/mailhub.math.univ-paris-diderot.fr/ X-j-chkmail-Score: MSGID : 52A87D46.001 on korolev.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Score: MSGID : 52A87D46.001 on potemkin.univ-paris7.fr : j-chkmail score : . : R=. U=. O=. B=0.000 -> S=0.000 X-j-chkmail-Status: Ham X-j-chkmail-Status: Ham Subject: Re: [Caml-list] Dead code detection --047d7b4187eb5bb1b204ed4371c5 Content-Type: text/plain; charset=UTF-8 Hi, You can try https://github.com/Michaaell/dead-code-detection (which requires OCaml 4). Fabien On Wed, Dec 11, 2013 at 3:52 PM, Pierre-Yves Strub wrote: > Hi all, > > Does any of you know a tool for doing dead code detection? > > Thanks, > -- Pierre-Yves. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --047d7b4187eb5bb1b204ed4371c5 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi,

You can try https://github.com/M= ichaaell/dead-code-detection (which requires OCaml 4).

Fabien

On Wed, Dec 11, 2013 at 3:52 PM, Pierre= -Yves Strub <pierre-yves@strub.nu> wrote:
Hi all,

Does any of you know a tool for doing dead code detection?

Thanks,
-- Pierre-Yves.


--
Caml-list mailing list. =C2=A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners<= /a>
Bug reports: http://caml.inria.fr/bin/caml-bugs

--047d7b4187eb5bb1b204ed4371c5--