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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 867AF7ED26 for ; Sat, 9 Jun 2012 23:19:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AnsBAAG900/RVdQ2kGdsb2JhbAArGqQAh2UBiGwIIgEBAQEJCQ0HFAQjghgBAQEDAQwGAiwBGxILAQMBCwYFCw0NISIBEQEFAQoSBhMSEIdaAQMGBQspmVQJA4wignCEBwoZJwMKV4hxAQUMixuFaQOVHoESjQw+hAE X-IronPort-AV: E=Sophos;i="4.75,743,1330902000"; d="scan'208";a="162071092" Received: from mail-vb0-f54.google.com ([209.85.212.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 09 Jun 2012 23:19:31 +0200 Received: by vbmv11 with SMTP id v11so2608350vbm.27 for ; Sat, 09 Jun 2012 14:19:30 -0700 (PDT) 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=S+kYXv8BN8A/z5uExB08z0na46XJn7tRVBprhka2lL4=; b=oqWfR+9JKevWfAKiKt34fIpUYTfD9mPX5WH3iLuCEC+6KGdAw8sWFA7cnWMixdb8Fc wuRFuk7n8Lu/suw/M7ExRSs2W7HNoBvLpeFa7RyjJaDcRHcL3dKO2Ux2MYm1lc1KQbjk 9l+VNOSkZFSP1OBtHGZ4lo4ZSa3/qDbVA9jgA3clrkRqZRZLxp5SpFNGKhGmrp4820ii sypZjyzCba/6IZkZFCoOTBz0QncHZCrPFco2NRjQkCXBIx3jjtfktB3hM/+UK7gQ6vvb 4+no4QezVQFTY1neb04kD5dKlBPYtaIGtcdCNOIoNHhdksfv0BTjoowZtM9NEsFvvT5e UHGA== Received: by 10.220.214.139 with SMTP id ha11mr9578695vcb.16.1339276770649; Sat, 09 Jun 2012 14:19:30 -0700 (PDT) MIME-Version: 1.0 Received: by 10.52.94.116 with HTTP; Sat, 9 Jun 2012 14:19:10 -0700 (PDT) In-Reply-To: <4FD3A53F.4080407@etorok.net> References: <48BE1C34-0459-4E72-AD89-8DABD92CAD5F@inria.fr> <20120609050957.GA25625@yeeloong.happyleptic.org> <20120609170545.GB11065@annexia.org> <4FD3A53F.4080407@etorok.net> From: Philippe Veber Date: Sat, 9 Jun 2012 23:19:10 +0200 Message-ID: To: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec54eeeb42ba48404c210ac25 X-Validation-by: philippe.veber@gmail.com Subject: Re: [Caml-list] Beta release of OCaml 4.00.0 --bcaec54eeeb42ba48404c210ac25 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I can confirm this issue is fixed in the current version of oasis. Note that all packages using oasis should be updated as soon as possible (preferably before ocaml 4.00 is released and widely included in linux/macos distros), otherwise I fear we'll be hearing about that scanf bug for a looong time. In particular, all packages on oasis-db should be taken care of rapidly, as they are used by odb. Maybe we could organize a bit so that this is done collaboratively *and* efficiently? ph. 2012/6/9 T=F6r=F6k Edwin > On 06/09/2012 08:19 PM, Gabriel Scherer wrote: > > This is related to a segfault in Scanf that was discovered (by > > Jianzhou Zhao, on this list) a few months ago : > > http://caml.inria.fr/mantis/view.php?id=3D5380 . The compability break > > was also reported previously on mantis : > > http://caml.inria.fr/mantis/view.php?id=3D5605 > > > > On Sat, Jun 9, 2012 at 7:05 PM, Richard W.M. Jones > wrote: > >> On Sat, Jun 09, 2012 at 07:09:58AM +0200, rixed@happyleptic.org wrote: > >>>> The release of OCaml version 4.00.0 is approaching. We have > >>>> created a beta version for your testing pleasure. Please > >>>> download the sources, compile, install, and test your favourite > >>>> software with it. Then let me know what happened, one way or > >>>> the other. > >>> > >>> The first failure I got is from oUnit setup.ml which attempt to > >>> scanf "%S %S@\n", but using the @ after a %S (not %s) does not > >>> work the same as in 3.12.1 : it looks for a '@' instead of interpreti= ng > >>> it as a scanning indication. > >>> The manual says that scanning indications are for %s and %[range], > >>> so it seams setup.ml is to blame, though. > > OASIS 0.3.0~rc6 should have a fix for this, quoting from its CHANGES.txt: > " * Version 0.3.0 > > * EXTREMLY IMPORTANT changes (read this): > > * Fix bug with scanf %S@\n for ocaml 3.13. We were unfortunetaly using > an > undocumented tolerance of Scanf in the previous version. You should > consider making new release using this version that fixed this." > > Best regards, > --Edwin > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --bcaec54eeeb42ba48404c210ac25 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable I can confirm this issue is fixed in the current version of oasis. Note tha= t all packages using oasis should be updated as soon as possible (preferabl= y before ocaml 4.00 is released and widely included in linux/macos distros)= , otherwise I fear we'll be hearing about that scanf bug for a looong t= ime.

In particular, all packages on oasis-db should be taken care of rapidly= , as they are used by odb. Maybe we could organize a bit so that this is do= ne collaboratively *and* efficiently?

ph.



2012/6/9 T=F6r=F6k Edwin <edwin+ml-ocaml@etorok.net>=
On 06/09/2012 08:19 PM, Gabriel Scherer wrote:
> This is related to a segfault in Scanf that was discovered (by
> Jianzhou Zhao, on this list) a few months ago :
> http://caml.inria.fr/mantis/view.php?id=3D5380 . The compability= break
> was also reported previously on mantis :
> http://caml.inria.fr/mantis/view.php?id=3D5605
>
> On Sat, Jun 9, 2012 at 7:05 PM, Richard W.M. Jones <rich@annexia.org> wrote:
>> On Sat, Jun 09, 2012 at 07:09:58AM +0200, rixed@happyleptic.org wrote:
>>>> The release of OCaml version 4.00.0 is approaching. =A0We = have
>>>> created a beta version for your testing pleasure. =A0Pleas= e
>>>> download the sources, compile, install, and test your favo= urite
>>>> software with it. =A0Then let me know what happened, one w= ay or
>>>> the other.
>>>
>>> The first failure I got is from oUnit setup.ml which attempt to
>>> scanf "%S %S@\n", but using the @ after a %S (not %s= ) does not
>>> work the same as in 3.12.1 : it looks for a '@' instea= d of interpreting
>>> it as a scanning indication.
>>> The manual says that scanning indications are for %s and %[ran= ge],
>>> so it seams setu= p.ml is to blame, though.

OASIS 0.3.0~rc6 should have a fix for this, quoting from its CHANGES.= txt:
" * Version 0.3.0

=A0* EXTREMLY IMPORTANT changes (read this):

=A0 =A0* Fix bug with scanf %S@\n for ocaml 3.13. We were unfortunetaly us= ing an
=A0 =A0 =A0undocumented tolerance of Scanf in the previous version. You sh= ould
=A0 =A0 =A0consider making new release using this version that fixed this.= "

Best regards,
--Edwin

--
Caml-list mailing list. =A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--bcaec54eeeb42ba48404c210ac25--