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 8FA447F198 for ; Tue, 26 Jan 2016 15:50:48 +0100 (CET) IronPort-PHdr: 9a23:IaDJxxB+8vd5oQhR8ur7UyQJP3N1i/DPJgcQr6AfoPdwSP7zpcbcNUDSrc9gkEXOFd2CrakU1KyO6+u8ByQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTokbjqsMGNKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvCweK8xSLgdBzM8Pkg648rksRTMVwyS/mBaWWIT2FIcBAPM6RW/VZDrvwP1se1y3CSVJ8rrVatyUjOnufRFUhjt3QUKLTM88Wyfps11jaRc6Eajqx16wojTSIOcMvdlYrnQcM9cTm1ECJUCHxddC5+xOtNcR9EKOvxV+tHw Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=PermError 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: PermError (mail2-smtp-roc.national.inria.fr: cannot correctly interpret sender authenticity information from domain of jdimino@janestreet.com) 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: A0CTAABmhqdWnHDIaSZehHkGiFGyGgENgWOGDwKBQAc4FAEBAQEBAQEBEAEBAQEBBhYJRAuCLYIVAQEDARIRHQEBNwEECwsEBzcCAiISAQUBHAYTIodxCAOhcYExPjGKTWeEQAEEimMBAQEBAQEEAQEBAQEBAQESBgqGKIRth0yBOpZ+iDgFhRmOeUSMQhEfgQ0eAQGCNg0RBxuBNWqIRAEBAQ X-IPAS-Result: A0CTAABmhqdWnHDIaSZehHkGiFGyGgENgWOGDwKBQAc4FAEBAQEBAQEBEAEBAQEBBhYJRAuCLYIVAQEDARIRHQEBNwEECwsEBzcCAiISAQUBHAYTIodxCAOhcYExPjGKTWeEQAEEimMBAQEBAQEEAQEBAQEBAQESBgqGKIRth0yBOpZ+iDgFhRmOeUSMQhEfgQ0eAQGCNg0RBxuBNWqIRAEBAQ X-IronPort-AV: E=Sophos;i="5.22,350,1449529200"; d="scan'208,217";a="199453671" 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; 26 Jan 2016 15:50:47 +0100 Received: from tot-qpr-mailcore2.delacy.com ([172.27.56.106] helo=tot-qpr-mailcore2) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1aO4xC-0001YW-KS for caml-list@inria.fr; Tue, 26 Jan 2016 09:50:46 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore2 with JS-mailcore (0.1) (envelope-from ) id BWp4fG-AAAEqq-SX; 2016-01-26 09:50:46.588663-05:00 Received: from mail-ig0-f182.google.com ([209.85.213.182]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1aO4xC-0000H1-Gr for caml-list@inria.fr; Tue, 26 Jan 2016 09:50:46 -0500 Received: by mail-ig0-f182.google.com with SMTP id ik10so58255288igb.1 for ; Tue, 26 Jan 2016 06:50:46 -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:content-type; bh=ohQ+Sxh6iAPvIFt0Ily+BmSqINMT1U7YLdLekc2fU3k=; b=QY+gp4ftPiWDpn0Y6czzqenlKcz8jOvdT1U2j/qLVSLHoEMxCMcAlvJXrTWGrZVMbb kgh5mG65LlqJvopkbOIzemXf5CI0+mit2qQRbgJNAphV8+zk3wFUahaLcAu8GBcNADPI zPy/N8L8Z9rMbFTjhTJ5cAUe517VFCD8z42M4= 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:content-type; bh=ohQ+Sxh6iAPvIFt0Ily+BmSqINMT1U7YLdLekc2fU3k=; b=lnI8Z7SBYniuRET62gxBlBtJIRmC4+kBPuQjGvqOjIO6hqmd/xiGdBfkW1ci++J4vI AnZ+Y3HYywIyxD4a/yx2oSpDcfNMhm962QCi+7TYRmLTSkAJbd1usMWbpoBTmSCn93W9 thz/prwtRG/tCkuBncYYLe87xOHKNCA9ViboCKBRT5PVAK8LyzQZTqlyHC+NHrCXg51R LcmZVMQX9xgIggp9ayAAYdul5Sc57olXcUXwlziKtOqSAwRGTOXATaNmrjyUxpkAJwME 0kD4W0EjbhxgXezJGxwiZhy4PTbTYtxQ9eUlP2hmulTSALHeoC1hHyE0NQCZUmBEOUwf ligQ== X-Gm-Message-State: AG10YORKBpVt36uOmZCRbQBHAjNyFtBlhbGPuyYwdbWH9aSscWzkLaT2gM+l+Hp7sW3D8mrCJK4lqxbKSdEDSBL7FHet8wBtqbCjP1WEO1esvNUgEYSORc+CSPJ5dfwJexo3JhWhiQGSF/JcX2x5LD0KZA== X-Received: by 10.50.138.5 with SMTP id qm5mr25055086igb.53.1453819846204; Tue, 26 Jan 2016 06:50:46 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.50.138.5 with SMTP id qm5mr25055068igb.53.1453819846050; Tue, 26 Jan 2016 06:50:46 -0800 (PST) Received: by 10.50.30.193 with HTTP; Tue, 26 Jan 2016 06:50:46 -0800 (PST) In-Reply-To: References: Date: Tue, 26 Jan 2016 14:50:46 +0000 Message-ID: From:Jeremie Dimino To:"ocaml-core@googlegroups.com" Cc:"caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a1135f1467df3b3052a3dcf78 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions --001a1135f1467df3b3052a3dcf78 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Tue, Jan 26, 2016 at 1:57 PM, Ivan Gotovchits wrote: > I hope that the change will not modify library names retrospectively? > I.e., the old versions will be still available under the `.syntax` names? > =E2=80=8BThe '.syntax' names are gone. I thought about keeping them as alia= ses, but eventually they'll go away and this split already breaks opam dependencies, so it's simpler to just do the full upgrade right now. Also, presumably some tools rely on the `.syntax` extension, maybe it is > better to preserve the extension, i.e., to use `pa_sexp_conv.syntax`? > So far we only did this for syntax extensions with a runtime part. For instance type_conv doesn't have a .syntax package. Do you know of any tool that rely on this? --=20 Jeremie --001a1135f1467df3b3052a3dcf78 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Tue, Ja= n 26, 2016 at 1:57 PM, Ivan Gotovchits <ivg@ieee.org> wrote:
I hope that the= change will not modify library names retrospectively? I.e., the old versio= ns will be still available under the `.syntax` names?

=E2=80=8BThe '.syntax' nam= es are gone. I thought about keeping them as aliases, but eventually they&#= 39;ll go away and this split already breaks opam dependencies, so it's = simpler to just do the full upgrade right now.

Also, presumably some to= ols rely on the `.syntax` extension, maybe it is better to preserve the ext= ension, i.e., to use `pa_sexp_conv.syntax`?
<= div class=3D"gmail_extra">
So far we only did this for syntax e= xtensions with a runtime part. For instance type_conv doesn't have a .s= yntax package. Do you know of any tool that rely on this?

--= =C2=A0
Jeremie
--001a1135f1467df3b3052a3dcf78--