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 47E037FF99 for ; Wed, 9 Mar 2016 17:06:39 +0100 (CET) IronPort-PHdr: 9a23:YZZgnhBcHdkqpmodu6pBUyQJP3N1i/DPJgcQr6AfoPdwSP7+r8bcNUDSrc9gkEXOFd2CrakU1KyG7eu/BiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokbDssMKMKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDYYqIjSrpXRBAnezQx5tatuRDZTgWO/Xs0XWAfkx4OCA/AukLURJD05wn3rOd42STSEczzTLYzEWCg46ZuSRnvoCUOMTMi7Hvah9A2h6Ve9kHy7ydjypLZNdnGfMF1ebnQKIsX Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.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@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CIAAAzSeBWjnDIaSZehA1tBrpOAQ2BbSGFbgKBQQc4FAEBAQEBAQEBEAEBAQEHFglQgi2CFAEBAQMBEhEdAQE3AQQLCwQHAwoqAgIhARIBBQEcBhMIEweHbQMKCAMLolyBMT4xik9nhEEBBIYbDYQ9AQEBAQEBAQMBAQEBAQEBAQEBAQ8CBAqGDoRCgj2CKoJTgTqXPIVlgnMFgyCBdYFkjRhEhTmBFIYPER6BDx4BAYI4HhyBNGqJUwEBAQ X-IPAS-Result: A0CIAAAzSeBWjnDIaSZehA1tBrpOAQ2BbSGFbgKBQQc4FAEBAQEBAQEBEAEBAQEHFglQgi2CFAEBAQMBEhEdAQE3AQQLCwQHAwoqAgIhARIBBQEcBhMIEweHbQMKCAMLolyBMT4xik9nhEEBBIYbDYQ9AQEBAQEBAQMBAQEBAQEBAQEBAQ8CBAqGDoRCgj2CKoJTgTqXPIVlgnMFgyCBdYFkjRhEhTmBFIYPER6BDx4BAYI4HhyBNGqJUwEBAQ X-IronPort-AV: E=Sophos;i="5.24,311,1454972400"; d="scan'208,217";a="206850643" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 09 Mar 2016 17:06:38 +0100 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1adgdB-0000XA-6B for caml-list@inria.fr; Wed, 09 Mar 2016 11:06:37 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BW4EoN-AAABz2-Eg; 2016-03-09 11:06:37.145268-05:00 Received: from mail-ig0-f178.google.com ([209.85.213.178]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1adgdB-00079z-2P for caml-list@inria.fr; Wed, 09 Mar 2016 11:06:37 -0500 Received: by mail-ig0-f178.google.com with SMTP id av4so19523814igc.1 for ; Wed, 09 Mar 2016 08:06:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=dR7qnla/Nqr48X/pbY5xW0JxAQKkHPzukkNiEDNloB0=; b=JwDA1rzubtNppIh9VTHAiOHqWBTZF5BGJwh2ActcmDywM/6lvGc3bBh7I7NS1bVbwL FjR5diXC6SjsTwys+BSuQWCFosZW9fhjJl6vW/3qBthsQ1fv0GxQ5Nd6SO4T41avts56 ERxbgUiO44JYx+w9r7v7p/Ybnho13uCGfFRIE= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=dR7qnla/Nqr48X/pbY5xW0JxAQKkHPzukkNiEDNloB0=; b=hFLMFzsyoJ3FlH7yp6Kp8G/X0Dg7/uRuS4hWTmsKP3618oSVGmGgdixt5WX4xJZnZw vWhN11dRDFJ82WLdYRhDCVYIsUFEXooFPBjJiUwMe0+WF+x7h+0OqvptG2gTvUfEtsD0 rOqrGhUJsCPF2DY+gYC6qM8sUEURyq9dWzURq47HYA/s+9n41EH2hpAOSUbH2sqdYxKy dUAQaxHkqb5HAzXB0J1aktEjwzqtf6X4s75oH+8eJsHeRTReBQrGNAgnMSh8SC/ElddU gkElIAojT2XTF6XakKsk1wN8NJeXvxZMs1+U6vC00jVJ3Ed5kVxg5OECnJ0PjRy8yuYP o6GA== X-Gm-Message-State: AD7BkJLDG4KBEkLvTlsVlSxLCLADr9avjFmLsaSKNu2bDtWIvt+54rJIp8REhL8nMH/b6yMGUj/8y7aS/ExEAytM5a3j8Rn1kPEc19XrVxBCbncgvcOi2lQPVDmcZzB6lE6vfNrBmoHi0OPzmrL1 X-Received: by 10.50.90.193 with SMTP id by1mr26970078igb.53.1457539596740; Wed, 09 Mar 2016 08:06:36 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.50.90.193 with SMTP id by1mr26970067igb.53.1457539596624; Wed, 09 Mar 2016 08:06:36 -0800 (PST) Received: by 10.50.30.193 with HTTP; Wed, 9 Mar 2016 08:06:36 -0800 (PST) In-Reply-To: References: <20160203112009.5a536810@kiwi.local.tld> Date: Wed, 9 Mar 2016 16:06:36 +0000 Message-ID: From:Jeremie Dimino To:Junsong Li Cc:ygrek , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=047d7bd76bd6e75784052d9fe1db X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions --047d7bd76bd6e75784052d9fe1db Content-Type: text/plain; charset=UTF-8 Hi Junsong, It's possible that you have a package installed that has no version compatible with sexplib 113.24. You can try to explicitly upgrade sexplib to see what solution opam suggests On Wed, Mar 9, 2016 at 3:56 PM, Junsong Li wrote: > Hi Jeremie, > > I have 4.02.1 OCaml installed on my Mac. opam update; opam upgrade > didn't upgrade the sexplib to 113.24. opam list still shows 113.00. > Any ideas? > > My fresh installed 4.02.3 OCaml on a Linux machine has 113.24 sexplib > though. > > On Fri, Feb 5, 2016 at 1:36 AM, Jeremie Dimino > wrote: > > On Wed, Feb 3, 2016 at 7:20 PM, ygrek wrote: > >> > >> I wonder if keeping empty sexplib.syntax subpackage with only > >> requires="pa_sexp_conv" line > >> will prevent build breakage (one will only need to fix opam > dependencies)? > > > > > > That would work for now. However, sooner or latter some change in > > > > sexplib will break the code generated by pa_sexp_conv and we'll have the > > same problem again. > > The current forced upgrade is simple (one sed command [1]) and it's a > hint > > that it's a good time to switch to ppx. We published a tool to help with > > this BTW [2] > > > > [1] https://github.com/ocaml/opam-repository/blob/master/CHANGES.md > > [2] > https://blogs.janestreet.com/converting-a-code-base-from-camlp4-to-ppx > > > > https://github.com/janestreet/camlp4-to-ppx > > > > -- > > Jeremie > -- Jeremie --047d7bd76bd6e75784052d9fe1db Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hi Junsong,

It's possible that= you have a package installed that has no version compatible with sexplib 1= 13.24. You can try to explicitly upgrade sexplib to see what solution opam = suggests

On Wed, Mar 9, 2016 at 3:56 PM, Junsong Li <ljs.darkfish@gmail.com= > wrote:
Hi Jeremie,

I have 4.02.1 OCaml installed on my Mac. opam update; opam upgrade
didn't upgrade the sexplib to 113.24. opam list still shows 113.00.
Any ideas?

My fresh installed 4.02.3 OCaml on a Linux machine has 113.24 sexplib thoug= h.

On Fri, Feb 5, 2016 at 1:36 AM, Jeremie Dimino <jdimino@janestreet.com> wrote:
> On Wed, Feb 3, 2016 at 7:20 PM, ygrek <ygrek@autistici.org> wrote:
>>
>> I wonder if keeping empty sexplib.syntax subpackage with only
>> requires=3D"pa_sexp_conv" line
>> will prevent build breakage (one will only need to fix opam depend= encies)?
>
>
> That would work for now. However, sooner or latter some change in
>
> sexplib will break the code generated by pa_sexp_conv and we'll ha= ve the
> same problem again.
> The current forced upgrade is simple (one sed command [1]) and it'= s a hint
> that it's a good time to switch to ppx. We published a tool to hel= p with
> this BTW [2]
>
>=C2=A0 [1] https://github.com/oca= ml/opam-repository/blob/master/CHANGES.md
>=C2=A0 [2] https://blogs.j= anestreet.com/converting-a-code-base-from-camlp4-to-ppx
>
> https://github.com/janestreet/camlp4-to-ppx
>
> --
> Jeremie



--
=
Jeremie
--047d7bd76bd6e75784052d9fe1db--