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 5DABB7F6CB for ; Thu, 29 Jan 2015 07:24:20 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of aryx.padator@gmail.com) identity=pra; client-ip=209.85.220.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aryx.padator@gmail.com"; x-sender="aryx.padator@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of aryx.padator@gmail.com designates 209.85.220.50 as permitted sender) identity=mailfrom; client-ip=209.85.220.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aryx.padator@gmail.com"; x-sender="aryx.padator@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-pa0-f50.google.com) identity=helo; client-ip=209.85.220.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="aryx.padator@gmail.com"; x-sender="postmaster@mail-pa0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0C9BwDZ0clUlDLcVdFag1hZgwGEcqojAQaSQYVvAoEaQwEBAQEBEQEBAQEHCwsJEjCEDAEBAQMBEhEdARsdAQMBCwYFBAcDCicDAgIjEQEFAQsRBhMih3UBAwkIBQizUj4xiy6Ba4J3ixwKGScNVIRbAQEBAQEBAQECAQEBAQEBAQEBAQERAQEEDoV2h2eCCQQHgmgugRMFig2DBoUsg16BeYEnhRGKRDWBFYIkHIFxTgEBgkABAQE X-IPAS-Result: A0C9BwDZ0clUlDLcVdFag1hZgwGEcqojAQaSQYVvAoEaQwEBAQEBEQEBAQEHCwsJEjCEDAEBAQMBEhEdARsdAQMBCwYFBAcDCicDAgIjEQEFAQsRBhMih3UBAwkIBQizUj4xiy6Ba4J3ixwKGScNVIRbAQEBAQEBAQECAQEBAQEBAQEBAQERAQEEDoV2h2eCCQQHgmgugRMFig2DBoUsg16BeYEnhRGKRDWBFYIkHIFxTgEBgkABAQE X-IronPort-AV: E=Sophos;i="5.09,485,1418079600"; d="scan'208,217";a="98067545" Received: from mail-pa0-f50.google.com ([209.85.220.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Jan 2015 07:24:19 +0100 Received: by mail-pa0-f50.google.com with SMTP id rd3so35003675pab.9 for ; Wed, 28 Jan 2015 22:24:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date:cc :message-id:references:to; bh=3KqKrkg427F31DnLN2NCfAjxYNkXmiFFO4keFJhSgrc=; b=f/evTbGGT0zDUlBxBYXOEmIcrIotqT+CqOp9QbvM0Lw53z57gY4PTKLBYxxG+rgpg4 v5+/fmlJb2sNy9FNB8T9S+sZ+1DMz/s28H9xkP19s9VuaFRkp1TTof67ZKKp84lwYfrp a2SMFY0LJxhFtZTAf7LmiSHR9zIEITQUx0L+q2ASnZzfz+jMQhhGHelpawMUu2GNWpbX JtTCIp/uSmvaU2cEOqJgzk+8tvHUKw43i28ia8o5gGKW2d4j2ak5ylDkgHlzZKq9+d0t WNkyIOil+rETly9txU1YFYt1K4kljS37Ta/0HND4mW1LCRBUZgFX/R/mROrNTmLEia2B a5Ag== X-Received: by 10.70.1.7 with SMTP id 7mr12155341pdi.74.1422512657473; Wed, 28 Jan 2015 22:24:17 -0800 (PST) Received: from [10.0.0.10] ([24.130.9.140]) by mx.google.com with ESMTPSA id kg12sm6576876pbb.44.2015.01.28.22.24.15 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 28 Jan 2015 22:24:16 -0800 (PST) Content-Type: multipart/alternative; boundary="Apple-Mail=_749DBDCB-2E45-4EAF-A1E3-C9E31E1F7E42" Mime-Version: 1.0 (Mac OS X Mail 8.1 \(1993\)) From: yoann padioleau In-Reply-To: Date: Wed, 28 Jan 2015 22:24:11 -0800 Cc: =?utf-8?Q?Daniel_B=C3=BCnzli?= , caml users Message-Id: <990B49F8-A93F-491F-9421-02BF480FE429@gmail.com> 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> To: Arnaud Spiwack X-Mailer: Apple Mail (2.1993) Subject: Re: [Caml-list] Detecting dead code, discovering a project's structure... --Apple-Mail=_749DBDCB-2E45-4EAF-A1E3-C9E31E1F7E42 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=utf-8 Yes in the configure script cmt is enabled only for certain ocaml versions. The problem is that the caml AST format (stored in the .cmt) has changed in= every versions =E2=80=A6 I would have hoped for a more stable type. #TODO: not yet ported to 4.02 if($ocaml_version >=3D 4000 && $ocaml_version < 4020) { $cmt=3D1; > On Jan 23, 2015, at 6:52 AM, Arnaud Spiwack wrote: >=20 > 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 f= or pfff in the corresponding opam switch. I'll have to try other versions. >=20 > On 23 January 2015 at 15:26, Daniel B=C3=BCnzli > wrote: >=20 >=20 > Le vendredi, 23 janvier 2015 =C3=A0 15:02, Arnaud Spiwack a =C3=A9crit : >=20 > > I'm confused. I've got a version of pfff compiled from today's github v= ersion. I get the following: > > > > $ codegraph -lang cmt -build . > > Fatal error: exception Failure("language not supported: cmt") >=20 > Did you get it by pinning opam ? This may explain: >=20 > https://github.com/ocaml/opam-repository/blob/master/packages/pfff/pfff.0= .27.3/opam#L5 >=20 > Best, >=20 > Daniel >=20 >=20 >=20 >=20 --Apple-Mail=_749DBDCB-2E45-4EAF-A1E3-C9E31E1F7E42 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=utf-8
Ye= s in the configure script cmt is enabled only for
cert= ain ocaml versions.
The problem is that the caml AST f= ormat (stored in the .cmt) has changed in every versions =E2=80=A6 I would = have hoped for a more
stable type.

#TODO: not yet ported to 4.02
<= div class=3D"">if($ocaml_version >=3D 4000 && $ocaml_version <= ; 4020) {
    $cmt=3D1;


On Jan 23, 2015, at 6:52 AM, Arna= ud Spiwack <= aspiwack@lix.polytechnique.fr> wrote:

No, I actually j= ust 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 cor= responding opam switch. I'll have to try other versions.

On 2= 3 January 2015 at 15:26, Daniel B=C3=BCnzli &l= t;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'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/oca= ml/opam-repository/blob/master/packages/pfff/pfff.0.27.3/opam#L5

Best,

Daniel





= --Apple-Mail=_749DBDCB-2E45-4EAF-A1E3-C9E31E1F7E42--