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 478687FBFE for ; Fri, 23 Jan 2015 15:53:17 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of arnaud.spiwack@gmail.com) identity=pra; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="arnaud.spiwack@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of arnaud.spiwack@gmail.com designates 74.125.82.44 as permitted sender) identity=mailfrom; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="arnaud.spiwack@gmail.com"; 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@mail-wg0-f44.google.com) identity=helo; client-ip=74.125.82.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="arnaud.spiwack@gmail.com"; x-sender="postmaster@mail-wg0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjIBAN9fwlRKfVIsm2dsb2JhbABag1hYBIJ8w1KFb4ERB0MBAQEBAREBAQEBAQYLCwkULoQNAQEDARIRHQE4AQMBCwEFBQQBBjcCAiISAQUBHAYTIod2AwkIDbFAPjGLLoRiil8nDYRlDAEZAQEEDo1dggmCc4FBBZIwg1iBd4Ekj0cSI4EVW4M2PTEBAYJBAQEB X-IPAS-Result: AjIBAN9fwlRKfVIsm2dsb2JhbABag1hYBIJ8w1KFb4ERB0MBAQEBAREBAQEBAQYLCwkULoQNAQEDARIRHQE4AQMBCwEFBQQBBjcCAiISAQUBHAYTIod2AwkIDbFAPjGLLoRiil8nDYRlDAEZAQEEDo1dggmCc4FBBZIwg1iBd4Ekj0cSI4EVW4M2PTEBAYJBAQEB X-IronPort-AV: E=Sophos;i="5.09,454,1418079600"; d="scan'208";a="118342591" Received: from mail-wg0-f44.google.com ([74.125.82.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jan 2015 15:53:16 +0100 Received: by mail-wg0-f44.google.com with SMTP id z12so7930464wgg.3 for ; Fri, 23 Jan 2015 06:53:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=EtfPx93VRNmCLdsHS0FZH1RqbXOBuOlymkbXt4kgHGQ=; b=O3eMzSG3FTLsSEVPN8sJgFpp+9oww24lWMhXmNA5oK2OmxAEId68MYgz9JCPEFUcUu NhExUJ7iUOWiJPSLjZdvGV+zzDGC5jyO5jO0WJ+Duhj2JebxkI3Za4Csgq/tZqYQyvXy YyuT8vIOgJeA03MgVEHl3u8rHk77WBaxnWMDM5fr7vHlfacn3Gxjg2V88a52t8oDuwGD FnZrGM8wKL3TleaPjBEwmA8SjgqOMszN8ArXDXlyPngQLeLzin5cwUUsdzP7h6bH1s59 56BI1mdHV2E8tW+AF4YvKcusTXdqMwAz95xBfA3tQtXYj8bKAfA1JQprV5gkgOZhIbJQ YsYA== X-Received: by 10.180.105.68 with SMTP id gk4mr4509675wib.30.1422024796706; Fri, 23 Jan 2015 06:53:16 -0800 (PST) MIME-Version: 1.0 Sender: arnaud.spiwack@gmail.com Received: by 10.217.180.9 with HTTP; Fri, 23 Jan 2015 06:52:36 -0800 (PST) In-Reply-To: <5953C6BC82FE49A593A4FD68F7343657@erratique.ch> References: <20150108133111.GA3745@pl-59055.rocqadm.inria.fr> <54AE8A9C.5090304@glondu.net> <20150108153342.GB4890@frosties> <171D9BA6-40AA-4B44-BA06-24AE4A156715@gmail.com> <5953C6BC82FE49A593A4FD68F7343657@erratique.ch> From: Arnaud Spiwack Date: Fri, 23 Jan 2015 15:52:36 +0100 X-Google-Sender-Auth: fp9sTQkEsG8TUKJwuSssrNdP-RQ Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: yoann padioleau , caml users Content-Type: multipart/alternative; boundary=f46d04426a60de9c3d050d52f2c1 X-Validation-by: arnaud@spiwack.net Subject: Re: [Caml-list] Detecting dead code, discovering a project's structure... --f46d04426a60de9c3d050d52f2c1 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable No, I actually just downloaded the sources and compiled them. Maybe it's because I compiled pfff with ocaml 4.02.1, I notice there isn't a package for pfff in the corresponding opam switch. I'll have to try other versions. On 23 January 2015 at 15:26, Daniel B=C3=BCnzli wrote: > > > Le vendredi, 23 janvier 2015 =C3=A0 15:02, Arnaud Spiwack a =C3=A9crit : > > > I'm confused. I've got a version of pfff compiled from today's github > version. I get the following: > > > > $ codegraph -lang cmt -build . > > Fatal error: exception Failure("language not supported: cmt") > > Did you get it by pinning opam ? This may explain: > > > https://github.com/ocaml/opam-repository/blob/master/packages/pfff/pfff.0= .27.3/opam#L5 > > Best, > > Daniel > > > > --f46d04426a60de9c3d050d52f2c1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
No, I actually just downloaded the sources and compiled th= em. Maybe it's because I compiled pfff with ocaml 4.02.1, I notice ther= e isn't a package for pfff in the corresponding opam switch. I'll h= ave to try other versions.

On 23 January 2015 at 15:26, Daniel B=C3=BCnzli <daniel.buenzli@erratique.ch> wrote:


Le vendredi, 23 janvier 2015 =C3=A0 15:02, Arnaud Spiwack a =C3=A9crit :

> I'm confused. I've got a version of pfff compiled from today&#= 39;s github version. I get the following:
>
> $ codegraph -lang cmt -build .
> Fatal error: exception Failure("language not supported: cmt"= )

Did you get it by pinning opam ? This may explain:

https://github.com/ocaml/opam-rep= ository/blob/master/packages/pfff/pfff.0.27.3/opam#L5

Best,

Daniel




--f46d04426a60de9c3d050d52f2c1--