From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p1902jUP021695 for ; Wed, 9 Feb 2011 01:02:45 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlsGAAxoUU1beQg5X2dsb2JhbACXJY4oHkq9OoVaBIw3 X-IronPort-AV: E=Sophos;i="4.60,444,1291590000"; d="scan'208";a="75592403" Received: from ns37873.ovh.net (HELO laposte.grenouille.com) ([91.121.8.57]) by mail3-smtp-sop.national.inria.fr with ESMTP; 09 Feb 2011 01:02:39 +0100 Received: from localhost (localhost.localdomain [127.0.0.1]) by laposte.grenouille.com (Postfix) with ESMTP id 332397F48B for ; Wed, 9 Feb 2011 01:02:39 +0100 (CET) X-Virus-Scanned: spam & virus filtering at laposte.grenouille.com X-Spam-Flag: NO X-Spam-Score: -1.687 X-Spam-Level: Received: from laposte.grenouille.com ([127.0.0.1]) by localhost (ns37873.ovh.net [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id sIeUpxM2NXDM for ; Wed, 9 Feb 2011 01:02:37 +0100 (CET) Received: from nemesis.grenouille.com (bea13-2-82-239-143-199.fbx.proxad.net [82.239.143.199]) by laposte.grenouille.com (Postfix) with ESMTP id 319307F30F for ; Wed, 9 Feb 2011 01:02:37 +0100 (CET) Received: from nemesis.grenouille.com (localhost.localdomain [127.0.0.1]) by nemesis.grenouille.com (Postfix) with SMTP id 5EE2361A4E for ; Wed, 9 Feb 2011 01:02:36 +0100 (CET) Date: Wed, 9 Feb 2011 01:02:35 +0100 From: Jerome Benoit To: caml-list@inria.fr Message-Id: <20110209010235.bc88f0b8.jerome.benoit@grenouille.com> In-Reply-To: References: Organization: grenouille.com X-Mailer: Sylpheed 3.1.0beta7 (GTK+ 2.22.0; x86_64-redhat-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg="PGP-SHA1"; boundary="Signature=_Wed__9_Feb_2011_01_02_35_+0100_D=Nk4oDmYLcR5ZtT" Subject: Re: [Caml-list] unused function detection --Signature=_Wed__9_Feb_2011_01_02_35_+0100_D=Nk4oDmYLcR5ZtT Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Le Tue, 8 Feb 2011 13:30:47 +0100,=20 Gabriel Scherer a =E9crit : > You may be interested in the Oug [1] tool >=20 > [1] http://home.gna.org/oug/ I'm using https://github.com/facebook/pfff at work.=20 Written in OCaml. Easy to extend. I've fallen in love with it :) Regards, --=20 J=E9r=F4me Benoit aka fraggle La M=E9t=E9o du Net - http://grenouille.com OpenPGP Key ID : 9FE9161D Key fingerprint : 9CA4 0249 AF57 A35B 34B3 AC15 FAA0 CB50 9FE9 161D --Signature=_Wed__9_Feb_2011_01_02_35_+0100_D=Nk4oDmYLcR5ZtT Content-Type: application/pgp-signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.16 (GNU/Linux) iEYEARECAAYFAk1R2ZsACgkQ+qDLUJ/pFh3d7QCgw5gpz6f8FMU5XGFztEsrKkhN ezsAoKq+YIkgUjgn04Yh7u1Kyp28kye5 =7d+7 -----END PGP SIGNATURE----- --Signature=_Wed__9_Feb_2011_01_02_35_+0100_D=Nk4oDmYLcR5ZtT--