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 A5AE37FA15 for ; Mon, 30 Nov 2015 12:12:43 +0100 (CET) IronPort-PHdr: 9a23:2m7/gRUEJSrEI9A2Q81Ji9FfKzHV8LGtZVwlr6E/grcLSJyIuqrYZxWGt8tkgFKBZ4jH8fUM07OQ6PC9Hzxfqszd+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8CVM1oD3mb1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHj20+2AEX24Kvh1NCgnDpFGmD9ai+hf948Z03iiXOfrc2bYmXTXqu6tiTh7ljGENKjM/4mXWosFqlqtHoQu8qlp0w9iHTpuSMa9Rd6nHfN4eDVFKXstLWjYJVoy1ZZEOAu5HJu1YopPwvXMBqBK/AU+nA+a5mWwAvWP/waBvi7dpKgrBxgF1Wo9XvQ== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f176.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.223.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.223.176 as permitted sender) identity=mailfrom; client-ip=209.85.223.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@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-io0-f176.google.com) identity=helo; client-ip=209.85.223.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f176.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AkAgBoLlxWnLDfVdFeg1o0bwauR4U4iioBAYFwIYVuAoEjBz0PAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEDARIRHQEbEgsBAwELBgUEAQYaHQICIgERAQUBChIGExIQh3YBAwoIDZwhgTE+MYtIgWqCeYYqChknAwpWg2kBAQEHAQEBAQEBFwEFDoZGhH6FCIJtgUQFhhEMkDqFKogOgiSYcBIkgRcRKAEBAYIrI4FePTSFcQEBAQ X-IPAS-Result: A0AkAgBoLlxWnLDfVdFeg1o0bwauR4U4iioBAYFwIYVuAoEjBz0PAQEBAQEBAQEQAQEBAQEGDQkJIS6CLYIIAQEDARIRHQEbEgsBAwELBgUEAQYaHQICIgERAQUBChIGExIQh3YBAwoIDZwhgTE+MYtIgWqCeYYqChknAwpWg2kBAQEHAQEBAQEBFwEFDoZGhH6FCIJtgUQFhhEMkDqFKogOgiSYcBIkgRcRKAEBAYIrI4FePTSFcQEBAQ X-IronPort-AV: E=Sophos;i="5.20,364,1444687200"; d="scan'208";a="189689839" Received: from mail-io0-f176.google.com ([209.85.223.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 30 Nov 2015 12:12:42 +0100 Received: by ioc74 with SMTP id 74so168034720ioc.2 for ; Mon, 30 Nov 2015 03:12:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=ZEIi60kOmZjNY+AgAlMX9dotLYP4p57TVlMxg6Yqea8=; b=KIitRlQWTfPmrovPAHTuX76tRmrt6sor9tKmY4xFjbH+waGAYhE6ean+aIWHPUdEax YNPaZ5NpCvFAB6OKvGNCbAUC3qsfKAt2TjGQXTKLZaq0TrAm3HesTY3FmuDFw+dRuTfg ejM7rUOxlCw7A3mWDTOuPR3zAselv6yYTh/jKHYjkA+JAtYu4ZrRR3zrnH2UMmJwUOis 0OqH/0i+3Abbl5VK7Nphcx8ltuRkPq27u1vuPvsIi8oHg1ghDNan0oqUkWAvql3NaZi3 eZrNOBTQPNB3VmVYab6JRhuZTCgQdb5Sa4MTVOy1Yuye4rZDoUYdiDncP7vnl01vLJdG 77kg== X-Received: by 10.107.167.9 with SMTP id q9mr57501944ioe.84.1448881961578; Mon, 30 Nov 2015 03:12:41 -0800 (PST) MIME-Version: 1.0 Received: by 10.79.39.200 with HTTP; Mon, 30 Nov 2015 03:12:02 -0800 (PST) In-Reply-To: <4B640CE6ADCE40899B3FE753B6DE0694@erratique.ch> References: <38BE958ADF8643359AFC7419699A989D@erratique.ch> <4B640CE6ADCE40899B3FE753B6DE0694@erratique.ch> From: Gabriel Scherer Date: Mon, 30 Nov 2015 12:12:02 +0100 Message-ID: To: =?UTF-8?Q?Daniel_B=C3=BCnzli?= Cc: Anthony Tavener , OCaml List Content-Type: multipart/alternative; boundary=001a1142a30ea435230525c01eff Subject: Re: [Caml-list] [ANN] Tsdl 0.9.0 --001a1142a30ea435230525c01eff Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Yes! On Mon, Nov 30, 2015 at 12:10 PM, Daniel B=C3=BCnzli wrote: > Le vendredi, 20 novembre 2015 =C3=A0 20:26, Daniel B=C3=BCnzli a =C3=A9cr= it : > > I can then quickly make a new incompatible release. > > So here it is. tsdl 0.9.0 was released and uses the result value > compatibility package. > > Many thanks to Florian Angeletti for taking up this slightly unglamorous > task. > > Best, > > Daniel > > P.S. To the compiler developers: compiling tsdl with 4.01.0 takes 3.291s > while it is 1m33s with 4.02.3. Is worth checking a bug in mantis about th= is > ? > > > > -- > 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 --001a1142a30ea435230525c01eff Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Yes!

On Mon, Nov 30, 2015 at 12:10 PM, Daniel B=C3=BCnzli <daniel.buenzli@erratique.ch> wrote:
Le vendredi, 20 novembre 2015 =C3=A0 20:26, Daniel B=C3=BCnzl= i a =C3=A9crit :
> I can then quickly make a new incompatible release.

So here it is. tsdl 0.9.0 was released and uses the result value compatibil= ity package.

Many thanks to Florian Angeletti for taking up this slightly unglamorous ta= sk.

Best,

Daniel

P.S. To the compiler developers: compiling tsdl with 4.01.0 takes 3.291s wh= ile it is 1m33s with 4.02.3. Is worth checking a bug in mantis about this ?=



--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocam= l_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs<= /blockquote>

--001a1142a30ea435230525c01eff--