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 9FB197FF99 for ; Wed, 9 Mar 2016 16:56:03 +0100 (CET) IronPort-PHdr: 9a23:dnv+ixAZXEblIvKJR2qAUyQJP3N1i/DPJgcQr6AfoPdwSP7zp8bcNUDSrc9gkEXOFd2CrakU1KyG7eu/BiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokbDssMKMKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WbwaV634dXy06kx9JBQ+NuBP2X5LwtCzStON71TKGJ8D7UfY/XjH0vIlxTxq9qjoBLDk//ynzi4QkiKBA5h6ovR9xwpXUSI6QPft6OKjaeIVJFiJ6Qs9NWnkZUcuHZIwVAr9EZL4Aog== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ljs.darkfish@gmail.com; spf=Pass smtp.mailfrom=ljs.darkfish@gmail.com; spf=None smtp.helo=postmaster@mail-pa0-f42.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ljs.darkfish@gmail.com) identity=pra; client-ip=209.85.220.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ljs.darkfish@gmail.com designates 209.85.220.42 as permitted sender) identity=mailfrom; client-ip=209.85.220.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@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-pa0-f42.google.com) identity=helo; client-ip=209.85.220.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="postmaster@mail-pa0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AaDQDZRuBWcircVdFeg1k0bQamXwYBAQEBBoEPh22KcYFtIYVuAoFABzkTAQEBAQEBAQEQAQoLDAgfMUEOAYFdghUBAQQSER0BGx0BAwwGBQsDCgICJgICIgERAQUBHAYTIodsAQMSDqJcgTE+MYs2gWqCV4VXChknDVGDaAEBAQEBAQEDAQEBAQEBFAEBBAoFbYRUhQqHOoE6BY4liRKFZYJzBYUVgWSNGESFOYcjER6BDyEBgjY6gVUbLoJHhwwBAQE X-IPAS-Result: A0AaDQDZRuBWcircVdFeg1k0bQamXwYBAQEBBoEPh22KcYFtIYVuAoFABzkTAQEBAQEBAQEQAQoLDAgfMUEOAYFdghUBAQQSER0BGx0BAwwGBQsDCgICJgICIgERAQUBHAYTIodsAQMSDqJcgTE+MYs2gWqCV4VXChknDVGDaAEBAQEBAQEDAQEBAQEBFAEBBAoFbYRUhQqHOoE6BY4liRKFZYJzBYUVgWSNGESFOYcjER6BDyEBgjY6gVUbLoJHhwwBAQE X-IronPort-AV: E=Sophos;i="5.24,311,1454972400"; d="scan'208";a="206848346" Received: from mail-pa0-f42.google.com ([209.85.220.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Mar 2016 16:56:02 +0100 Received: by mail-pa0-f42.google.com with SMTP id tt10so42786363pab.3 for ; Wed, 09 Mar 2016 07:56:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=E4BauZsxX1UzTv5UUEZKHjxo3LzMpZveltpPhKf2FDs=; b=uH9Y+v+xjhY8T2NhqEW1UCSRx/nYFn3Ckff4SibQ36klmrfpfCThZa9oX1d0opkt9M EJ6uhrv4XIqU1WH1r69dIoeTpaZ4eXf9IXo3wS1VbczwW/QEPU/ns5dbex4q3EKTOaRM sif0UaiRauUgWaDgCLSZDQgIXRCmIXkUNe5U2JoNSUrjiMnCn4lbonBAFlCiBitv7mdB 7PRyb2GIikV9U56DwH7/R0F2nwl3jPK11et4+fdWpzsK6scY+EfUgsi/u0gFLD+kc1Ct uDHpDlsS3WHDDTbe/Xnbb/XEioo5/gLiBDYkLz988gbg+4D/1a1fsbU8ZLu+Ythuxbp2 YR4Q== 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=E4BauZsxX1UzTv5UUEZKHjxo3LzMpZveltpPhKf2FDs=; b=IrX5kU+76ncdMT+5QffMuwpLZD1WktR1loU3xNde1EqgxVQYi0gwkdd9thYzq2XvoX RXNx4lRoZ1anEuvxwmKxFJwUM4DHN0DEtXlfHLkuTTO1bJ4DX0vddYi/bg1PEpSCAWmh 2vKG6ZgMBSm1ZLG8iRXKHdl2LV49Zd1ItKb+nJ+17D3zusIwf64HtQTzeqAs0+E4cYVE z6T2wMpxlPtlXUH2qZue81JfbQIxRVXMKgdQVmk0cODOpSd34toxZNLqppliFKjY2GLD 8r7LZd6+svmLBHPjzyog5dXjsgX5nWIBEsLH/FVQFVKlp2oflm5iKRG4mMJU7tKvelWA lXKA== X-Gm-Message-State: AD7BkJIG0k00VkE9aJIMO9S6sj9UpJ2kv0ERy6FC2evQXzBwDOmyO6CB6p/+eSU7xCsdoZItl5y8FFdZ/67Acw== MIME-Version: 1.0 X-Received: by 10.66.193.226 with SMTP id hr2mr51108502pac.20.1457538960885; Wed, 09 Mar 2016 07:56:00 -0800 (PST) Received: by 10.66.2.167 with HTTP; Wed, 9 Mar 2016 07:56:00 -0800 (PST) In-Reply-To: References: <20160203112009.5a536810@kiwi.local.tld> Date: Wed, 9 Mar 2016 07:56:00 -0800 Message-ID: From: Junsong Li To: Jeremie Dimino Cc: ygrek , "caml-list@inria.fr" Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions 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