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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id B40937ED7A for ; Mon, 1 Oct 2012 18:22:16 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of philippe.veber@gmail.com) identity=pra; client-ip=209.85.210.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="philippe.veber@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of philippe.veber@gmail.com designates 209.85.210.54 as permitted sender) identity=mailfrom; client-ip=209.85.210.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="philippe.veber@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-da0-f54.google.com) identity=helo; client-ip=209.85.210.54; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="philippe.veber@gmail.com"; x-sender="postmaster@mail-da0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkICALTBaVDRVdI2k2dsb2JhbABFrGaIawGIXQgjAQEBAQkJCwkUBCOCOQITGQEbHgMSEF0BEQEFASI1h1ABAw+YA4JhCQOMJYJ1hQMKGScNWYh1AQUMixiGRgOVaYEVig2DKhYphAk X-IronPort-AV: E=Sophos;i="4.80,517,1344204000"; d="scan'208";a="157483340" Received: from mail-da0-f54.google.com ([209.85.210.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Oct 2012 18:22:10 +0200 Received: by dadz9 with SMTP id z9so1739772dad.27 for ; Mon, 01 Oct 2012 09:22:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:from:date:message-id:subject:to:content-type; bh=peOxsd++/oVmRyHF+1bwb1z0c+fse/xtnZSOpVokkdA=; b=COxl5TbbFJneELdch/nrU3eRPQqIFNbZ7QQlhwt/jqcYHyjgNmk8Lwc2nz1Wid5VrA GjuFnvedsSQ5NEqbjwr+xjIwu1W2ahi7w1c13It1GfyZs8FrNi+VP2SGyBcBH12cl/vK mBD0MQpY2mGlXHiLrx/8ezCpJm7oBJWW29g+0LQ87hhHaU5V/wVx3oiuXmDR39WlcpSu nesAUu9VlRoI+DC/UiG1qtVxllos0yxZ+fJVb+nJRy3Qe2bVs8Y8G6IJYFwWoTSxM/hg FpgjtRlvChLAGgU34kAk7al3uMhxqBeb3lVvZBCbD0lKB4aMzgwi1da+76EUd4O00oZj GE/Q== Received: by 10.68.204.66 with SMTP id kw2mr42264671pbc.110.1349108528319; Mon, 01 Oct 2012 09:22:08 -0700 (PDT) MIME-Version: 1.0 Received: by 10.66.254.129 with HTTP; Mon, 1 Oct 2012 09:21:48 -0700 (PDT) From: Philippe Veber Date: Mon, 1 Oct 2012 18:21:48 +0200 Message-ID: To: caml users Content-Type: multipart/alternative; boundary=047d7b10ce5f980c9b04cb01ced3 X-Validation-by: philippe.veber@gmail.com Subject: [Caml-list] Strange camlp4 issue --047d7b10ce5f980c9b04cb01ced3 Content-Type: text/plain; charset=ISO-8859-1 Dear camlp4ers, A syntax extension of my own fails or succeeds on a given file depending on the output : [gesundheit:~/fitdistrplus 18:11]$camlp4o ~/.opam/3.12.1/lib/R/R_syntax.cma src/fitdistrplus.ml open Batteries open Rbase [...] method scale = List.nth (R.floats_of_t (let a7818b19c = r in let _ () = let _ = (a7818b19c#compound : Rbase.compound 'abdf89974) in fun (ab922d605 : 'abdf89974) -> (ab922d605#estimate : 'a8ec34edb) in (a7818b19c#component "estimate" : 'a8ec34edb))) 1 method location_sd = assert false method scale_sd = assert false method fitdistcens = fitdistcens end end [gesundheit:~/fitdistrplus 18:11]$camlp4o ~/.opam/3.12.1/lib/R/R_syntax.cma src/fitdistrplus.ml > rien.ml File "src/fitdistrplus.ml", line 157, characters 47-48: Failure: "invalid type" I observe this behaviour with versions 3.12.1 and 4.00.0 Does it ring a bell to someone? Cheers, Philippe. --047d7b10ce5f980c9b04cb01ced3 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Dear camlp4ers,

A syntax extension of my own fails or succeeds on a = given file depending on the output :

[gesundheit:~/fitdistrplus 18:11]$camlp4o ~/.opam/3.12.1= /lib/R/R_syntax.cma src/fitdistrplus.ml<= /a>
open Batteries
=A0
open Rbase

[...]=A0

= =A0=A0=A0=A0=A0=A0=A0=A0=A0 method scale =3D
=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0 List.nth
=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0 (R.floats_of_t
=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0 (let a7818b19c =3D r in
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 let _ () =3D<= br style=3D"font-family:courier new,monospace"> =A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 let _ =3D (a7818b19c#compound : Rbase.com= pound 'abdf89974)
=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 in
=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 fun (ab922d605 : 'abdf89974) -&= gt;
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0 (ab922d605#estimate : 'a8ec34edb) =A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0=A0=A0=A0=A0=A0 in (a7818b19c#component "estimate" : = 'a8ec34edb)))
=A0=A0=A0=A0=A0=A0=A0=A0=A0= =A0=A0=A0=A0 1
=A0=A0=A0=A0=A0=A0=A0=A0= =A0 method location_sd =3D assert false
=A0=A0= =A0=A0=A0=A0=A0=A0=A0 method scale_sd =3D assert false
=A0=A0=A0=A0=A0=A0=A0=A0= =A0 method fitdistcens =3D fitdistcens
=A0=A0= =A0=A0=A0=A0=A0 end
=A0=A0=A0=A0=A0 =A0 end
=A0

[gesundheit:~/fitdistrplus 18:11]$camlp4o ~/.opam/3.= 12.1/lib/R/R_syntax.cma src/
fitdistrplus= .ml > rien.ml
File "src/fitdistrplus.ml", line 157, characters 47= -48:
Failure: "invalid type"<= br style=3D"font-family:courier new,monospace">
I observe this behaviour with= versions 3.12.1 and 4.00.0

Does it ring a bell to someone?

C= heers,
=A0 Philippe.


--047d7b10ce5f980c9b04cb01ced3--