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 C11247F084 for ; Fri, 20 Nov 2015 21:26:39 +0100 (CET) IronPort-PHdr: 9a23:2afE9hCNZ+HnNZXiYvz3UyQJP3N1i/DPJgcQr6AfoPdwSP7zocbcNUDSrc9gkEXOFd2CrakU1qyO6+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6PyZzvn8mJuLTtICxwzAKnZr1zKBjk5S7wjeIxxbVYF6Aq1xHSqWFJcekFjUlhJFaUggqurpzopM0r221qtvkg789NV7nhN+R9FOQATWduD2dgzcv3tR7FXEOz72URVGgM2k5BBRTF6xfrGIv4rCb8u/BV1yyTPMmwRrcxD2eM9aBuHTPhjiYKMwkTZGfFjs042K5SphOso1p13oPScoWUHPdkZKrBfMoHSCxKXpACBGR6HoqgYt5XXKI6NuFCoty4/gNWoA== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=pra; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of daniel.buenzli@erratique.ch) identity=mailfrom; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="daniel.buenzli@erratique.ch"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@smtp.webfaction.com) identity=helo; client-ip=74.55.86.74; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="daniel.buenzli@erratique.ch"; x-sender="postmaster@smtp.webfaction.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CBAAADgU9Wm0pWN0pexgCGDwKCAxEBAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQjVhALGgImAgJHEAYbiCYEsFeQJgEKAQEBH4EBilGEWYMcL4EVBZZMjwyEQIJyEI87g3I3glOBXYYdAQEB X-IPAS-Result: A0CBAAADgU9Wm0pWN0pexgCGDwKCAxEBAQEBAQEBARABAQEBAQYLCwkhLoItgggBAQQjVhALGgImAgJHEAYbiCYEsFeQJgEKAQEBH4EBilGEWYMcL4EVBZZMjwyEQIJyEI87g3I3glOBXYYdAQEB X-IronPort-AV: E=Sophos;i="5.20,324,1444687200"; d="scan'208";a="188466050" Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74]) by mail2-smtp-roc.national.inria.fr with ESMTP; 20 Nov 2015 21:26:38 +0100 Received: from [192.168.0.2] (cpc16-cmbg14-2-0-cust300.5-4.cable.virginm.net [86.6.157.45]) by smtp.webfaction.com (Postfix) with ESMTP id BCB802078033; Fri, 20 Nov 2015 20:26:37 +0000 (UTC) Date: Fri, 20 Nov 2015 20:26:35 +0000 From: =?utf-8?Q?Daniel_B=C3=BCnzli?= To: Anthony Tavener Cc: OCaml List Message-ID: <38BE958ADF8643359AFC7419699A989D@erratique.ch> In-Reply-To: References: X-Mailer: sparrow 1.6.4 (build 1178) MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Subject: Re: [Caml-list] [ANN] Tsdl 0.8.2 Le vendredi, 20 novembre 2015 =C3=A0 19:39, Anthony Tavener a =C3=A9crit : > Thanks Daniel! >=20=20 > I wasn't sure if your next release would change the result type to the (r= ecently) common one. So I wonder if there is any plan to change it sometime? Oh sure, there's no reason why it shouldn't. I'm not using tsdl at the mome= nt so that just slipped from my mind. The change should be rather easy sinc= e the polyvar result type is never composed with other polyvar cases in the= API.=20=20 However I won't have time for this soon. So first, please do file an issue,= so that I don't forget. Second if anyone's willing to do the slightly tedi= ous =E2=80=94 but compiler guided =E2=80=94 change on a boring day so that = it happens more quickly please announce yourself on the issue and make a PR= . I can then quickly make a new incompatible release. Best, Daniel