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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 3DDBA7EF21 for ; Wed, 18 Jun 2014 14:57:08 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of francois.bobot@cea.fr) identity=pra; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of francois.bobot@cea.fr designates 132.167.192.145 as permitted sender) identity=mailfrom; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="francois.bobot@cea.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@sainfoin-out.extra.cea.fr) identity=helo; client-ip=132.167.192.145; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="francois.bobot@cea.fr"; x-sender="postmaster@sainfoin-out.extra.cea.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApMBAPOLoVOEp8CRnGdsb2JhbABahyW9SIMUAYEKFg8BAQEBAQgLCQkUKIQDAQEFIw8BRQEQCw4KAgIFFgsCAgkDAgECAUUGDQEHAog+rSWfBReBKo1LB4J3gUwBA6E9kCI X-IPAS-Result: ApMBAPOLoVOEp8CRnGdsb2JhbABahyW9SIMUAYEKFg8BAQEBAQgLCQkUKIQDAQEFIw8BRQEQCw4KAgIFFgsCAgkDAgECAUUGDQEHAog+rSWfBReBKo1LB4J3gUwBA6E9kCI X-IronPort-AV: E=Sophos;i="5.01,499,1400018400"; d="scan'208";a="67750866" Received: from sainfoin-out.extra.cea.fr ([132.167.192.145]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Jun 2014 14:57:07 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.3) with ESMTP id s5ICv7Da008791; Wed, 18 Jun 2014 14:57:07 +0200 Received: from pisaure.intra.cea.fr (localhost [127.0.0.1]) by localhost (Postfix) with SMTP id 4AAF22020BF; Wed, 18 Jun 2014 14:58:54 +0200 (CEST) Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (Postfix) with ESMTP id 34B8D20200E; Wed, 18 Jun 2014 14:58:54 +0200 (CEST) Received: from [10.8.32.80] (is222783.intra.cea.fr [10.8.32.80]) by muguet2.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.2) with ESMTP id s5ICv7W0023537; Wed, 18 Jun 2014 14:57:07 +0200 Message-ID: <53A18CA3.7030402@cea.fr> Date: Wed, 18 Jun 2014 14:57:07 +0200 From: =?UTF-8?B?RnJhbsOnb2lzIEJvYm90?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Icedove/24.5.0 MIME-Version: 1.0 To: Yaron Minsky CC: caml-list@inria.fr References: <53A14140.2060502@cea.fr> In-Reply-To: Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] Core Suite 111.17.00 On 18/06/2014 11:28, Yaron Minsky wrote: > 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. Thank you for the quick answer. That seems the right transition path for the code of a project, but I wonder what happen at a bigger scale. After the transition projects will need to support older versions of ocaml that perhaps don't have extension points. Moreover every projects will not do the transition at the same time. It seems, IMHO, that type-conv will have to work for the following cases transparently: - camlp4 (with ocaml < 4.02 or >= 4.02) old syntax - camlp4 (with ocaml < 4.02 or >= 4.02) new syntax - extension point (with ocaml >= 4.02) new syntax Do you agree with that? Do you think it is doable/maintainable until ocaml < 4.02 are not used anymore? Best, -- François