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 3DF147F917 for ; Wed, 18 Jun 2014 11:28:28 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yminsky@janestreet.com) identity=pra; client-ip=38.105.200.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yminsky@janestreet.com designates 38.105.200.115 as permitted sender) identity=mailfrom; client-ip=38.105.200.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="yminsky@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.115; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap0BADdboVMmachznGdsb2JhbABag19agmynJwaCV41AiREBgQQeDwEBAQEBBhYJPIQDAQEBAwESER0BASwLAQQLCwQHDQ0dAgIiEgEFAQoSBhMSEIgMAwkIAwIIoEZqijB3hQEBBZNEA4ZAEQaFYokPBAeCd4FMhGcFlVuBQ5AkGCmFDg X-IPAS-Result: Ap0BADdboVMmachznGdsb2JhbABag19agmynJwaCV41AiREBgQQeDwEBAQEBBhYJPIQDAQEBAwESER0BASwLAQQLCwQHDQ0dAgIiEgEFAQoSBhMSEIgMAwkIAwIIoEZqijB3hQEBBZNEA4ZAEQaFYokPBAeCd4FMhGcFlVuBQ5AkGCmFDg X-IronPort-AV: E=Sophos;i="5.01,499,1400018400"; d="scan'208";a="80711002" Received: from mxout2.mail.janestreet.com (HELO mxout1.mail.janestreet.com) ([38.105.200.115]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Jun 2014 11:28:14 +0200 Received: from tot-smtp.delacy.com ([172.27.22.15] helo=tot-smtp) by mxout1.mail.janestreet.com with esmtps (TLSv1.2:DHE-RSA-AES256-GCM-SHA384:256) (Exim 4.82) (envelope-from ) id 1WxCA8-0000jr-6N for caml-list@inria.fr; Wed, 18 Jun 2014 05:28:12 -0400 Received: from tot-dmz-mxgoog1.delacy.com ([172.27.224.14] helo=mxgoog2.janestreet.com) by tot-smtp with esmtps (TLSv1:AES256-SHA:256) (Exim 4.72) (envelope-from ) id 1WxCA8-0003qN-2j for caml-list@inria.fr; Wed, 18 Jun 2014 05:28:12 -0400 Received: from mail-la0-f49.google.com ([209.85.215.49]) by mxgoog2.janestreet.com with esmtp (Exim 4.76) (envelope-from ) id 1WxCA7-0000qO-Th for caml-list@inria.fr; Wed, 18 Jun 2014 05:28:12 -0400 Received: by mail-la0-f49.google.com with SMTP id gf5so333027lab.8 for ; Wed, 18 Jun 2014 02:28:11 -0700 (PDT) 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=NxwRtHo+bMRapvWCh7xpfGI+hSBJW4d/Hmqq/BIcilE=; b=vkIr/QBiCl6mHFeEcJEowmRB2i1NCqjM+4vMs5lu944Y+PA3Dub1tYwBFkMZAkjc1g 9Vb6fwV2MJlIijq6xIla7m0jK5kd0Gj/NmBcBvrXxaSY54D+//d0aQcm1upnkEvLfd4C cQFb6B8/vy1YDENaIs6DZMfcZbDPWwrghL94k= 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=NxwRtHo+bMRapvWCh7xpfGI+hSBJW4d/Hmqq/BIcilE=; b=Wis+SgFowaB+aYd6KF2gfiYRg94d5v9bbT0G4857jWT1uGUH1WggWs4+VAF0eoeCLi HNK0STHpJPj1xSjpsgvdfTJZ973oYkMsA+KFWQcBs2/Q81bnrp80cKIR7yu14LztcIbz mjp1w2jzjO0jA8LwZb/yvS7QGS7tozLgRhMDB+nZXmOA4slcrK6ZBKvaVew0JfJ9dZ60 kgXlmHYILYSWIXPHdgrurwbA0faFKk1Iit1+loID7f/+YWC/uCgunDPiXNzHOG7TtRRu irjHT6qOVAte01EUtsgjGTkN0qw+hhrfjk7RHve5k60zKD20LdZ2Z9bDmEc4CkCKtC7d YObw== X-Gm-Message-State: ALoCoQkOqkRilHHe8BUii5h69AFea9lQjG2JW2JLr7oLG65FbaNcGszt8/sSm3P0l4fqH/fJpuE/CEgAtyh1ObBFv0DYRDtMG3a3HOEk1UpUyk2/b/ljs8kYN9onh9nW18j9s5wfgQyZ X-Received: by 10.152.5.230 with SMTP id v6mr514939lav.33.1403083691251; Wed, 18 Jun 2014 02:28:11 -0700 (PDT) MIME-Version: 1.0 X-Received: by 10.152.5.230 with SMTP id v6mr514930lav.33.1403083691112; Wed, 18 Jun 2014 02:28:11 -0700 (PDT) Received: by 10.112.3.39 with HTTP; Wed, 18 Jun 2014 02:28:10 -0700 (PDT) Received: by 10.112.3.39 with HTTP; Wed, 18 Jun 2014 02:28:10 -0700 (PDT) In-Reply-To: <53A14140.2060502@cea.fr> References: <53A14140.2060502@cea.fr> Date: Wed, 18 Jun 2014 05:28:10 -0400 Message-ID: From: Yaron Minsky To: =?UTF-8?Q?Fran=C3=A7ois_Bobot?= Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=089e0149333effd30504fc18e0a2 Subject: Re: [Caml-list] [ANN] Core Suite 111.17.00 --089e0149333effd30504fc18e0a2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable This change isn't really part of that transition, but that transition will likely be necessary. My sense is that the right thing is to rewrite the syntax extensions using extension points, and then write a shim camlp4 extension that converts "with sexp" to the correct annotation. That said, this is a long and tricky process that won't happen immediately on 4.02's release. On Jun 18, 2014 3:35 AM, "Fran=C3=A7ois Bobot" wrot= e: > Hi, > > Thank you for this new release of all these great libraries. > > On 17/06/2014 18:43, Ben Millwood wrote: > > ## sexplib > > > > - Make the camlp4 dependency optional > > Is it linked to a path toward extension points (4.02)? It is mentionned[1] > that the syntax will > changed, from: > > type t =3D int * string with sexp > > to: > > type t =3D int * string [@@sexp] . > > But is there some plan for a version of type-conv and sexp/bin-prot/... > that will accept the new > syntax with camlp4 for old compiler and without camlp4 but with extension > point for new one? > > Thanks, > > > [1] > https://blogs.janestreet.com/extension-points-or-how-ocaml-is-becoming-mo= re-like-lisp/ > > -- > Fran=C3=A7ois Bobot > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --089e0149333effd30504fc18e0a2 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

This change isn't really part of that transition, but th= at transition will likely be necessary.=C2=A0 My sense is that the right th= ing is to rewrite the syntax extensions using extension points, and then wr= ite a shim camlp4 extension that converts "with sexp" to the corr= ect annotation.=C2=A0 That said, this is a long and tricky process that won= 't happen immediately on 4.02's release.

On Jun 18, 2014 3:35 AM, "Fran=C3=A7ois Bob= ot" <francois.bobot@cea.fr= > wrote:
Hi,

Thank you for this new release of all these great libraries.

On 17/06/2014 18:43, Ben Millwood wrote:
> ## sexplib
>
> - Make the camlp4 dependency optional

Is it linked to a path toward extension points (4.02)? It is mentionned[1] = that the syntax will
changed, from:

type t =3D int * string with sexp

to:

type t =3D int * string [@@sexp] .

But is there some plan for a version of type-conv and sexp/bin-prot/... tha= t will accept the new
syntax with camlp4 for old compiler and without camlp4 but with extension p= oint for new one?

Thanks,


[1] https://blogs.janestreet.com/= extension-points-or-how-ocaml-is-becoming-more-like-lisp/

--
Fran=C3=A7ois Bobot

--
Caml-list mailing list. =C2=A0Subscription management and archives:
ht= tps://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
--089e0149333effd30504fc18e0a2--