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 37FA57F0B9 for ; Mon, 5 Sep 2016 17:39:26 +0200 (CEST) IronPort-PHdr: 9a23:HO3PQhRpAh5waqhe+jWNKCzhU9psv+yvbD5Q0YIujvd0So/mwa65ZhKN2/xhgRfzUJnB7Loc0qyN4vmmBDxLvsvJ8ChbNscdD1ld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbshsi6n9q/54fUK10RwmHsOPUvfF7p8E2R7pBQ2to6bP5pi1PgmThhQ6xu32RmJFaezV7Xx/yb29pdyRlWoO8r7MVaUK/3LOwSRL1cCyk6YShuvJW4/TGKdwaE52MdX2MKiVIIRlGdtFCpaKzsqTP3vfZR3yyTPMu+DexlGGfq06A+ZBbtiSoBfxI+9GDYh9442K5SpROsoVpzxIrVb4yHHPt4ZKLUO90AEzlvRMFUAgNICJm9Yo9HNOEBMPxVtcGpqFIEtxqzAU+3D+Pi0DJSrnDz1Kw+le8mFFeVj0QbA9sSvSGM/53OP6AIXLXwkfDF Authentication-Results: mail3-smtp-sop.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-it0-f53.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.214.53 as permitted sender) identity=mailfrom; client-ip=209.85.214.53; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-it0-f53.google.com) identity=helo; client-ip=209.85.214.53; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-it0-f53.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A0AQAqkc1XhjXWVdFDGhoBAQEBAgEBAQEWAQEBAwEBAYMOAQEBAQE8OXwHg0CJZ5kmhg+KXAZuggIZC4JCgzYCgUAHOBQBAQEBAQEBAQEBARIBAQEICwsJGS+CMgQBFQWCEQEBBAECDxEdARsSCwEDDAYFCw0CAgkdAgIiAQUMAQUBChIGExIQiA0BAxcOLaJigTI+Mos9gWqCXgWDYgoZJwMKU4JIAQEBAQEBBAEBAQEBGgIGEHWFKoROgliBRYMlgloFhmMMkmSBZIQ9gwGCRoNOgW5OhBCJDYZyVUuEOoI4Ex6BER6DCA0RCoFpIDQBAYQtbYFAAQEB X-IPAS-Result: A0A0AQAqkc1XhjXWVdFDGhoBAQEBAgEBAQEWAQEBAwEBAYMOAQEBAQE8OXwHg0CJZ5kmhg+KXAZuggIZC4JCgzYCgUAHOBQBAQEBAQEBAQEBARIBAQEICwsJGS+CMgQBFQWCEQEBBAECDxEdARsSCwEDDAYFCw0CAgkdAgIiAQUMAQUBChIGExIQiA0BAxcOLaJigTI+Mos9gWqCXgWDYgoZJwMKU4JIAQEBAQEBBAEBAQEBGgIGEHWFKoROgliBRYMlgloFhmMMkmSBZIQ9gwGCRoNOgW5OhBCJDYZyVUuEOoI4Ex6BER6DCA0RCoFpIDQBAYQtbYFAAQEB X-IronPort-AV: E=Sophos;i="5.30,287,1470693600"; d="scan'208";a="192129532" Received: from mail-it0-f53.google.com ([209.85.214.53]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Sep 2016 17:39:24 +0200 Received: by mail-it0-f53.google.com with SMTP id i184so152041609itf.1; Mon, 05 Sep 2016 08:39:24 -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; bh=VxokeutO+RDrmBCBK1Nao6CvvKtAPyP21HC5i+g6F3I=; b=QwqbBNa5wv3zaNVCMWUD8WfAgZ5YaSlDQHfvSlARIsoNcABJzJdlIsT33nRt54Rc39 8vkDmGAzxXZEIwf7sw2c5YYcZEP0lHy2s8RoEHQlhUOOk/iRv682cypYco8xKZjzNS11 d0pEv0pifcdIaSuAz0ijiAQUCiJJYnO/URUCfjDlW3wEWoxEu4PYDTCvh8K07UtiMeFx LhONjtRRWmIvNK82Ove3N0PP9BANbeXQLyanrfUVJkw7XnQka+NlTLoQkn027ZDGgJ0/ TourZ0hVZISHvA376AFY570R1Z/LAxD81kSr2pBbZDNUTs4rLYf7chqL3c3iwmk1dsBu oNnQ== 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:from:date :message-id:subject:to:cc; bh=VxokeutO+RDrmBCBK1Nao6CvvKtAPyP21HC5i+g6F3I=; b=ifw27wd+3IA4kdg5vFfqUpZWl+gWwffrqcnhIcjOfUSfqJyZEhoGtuV3bgI7vtnHmK 6bxiSkYoIkhVA724Ee72JGDAA0Q4e6D8pftXsXAxFMbtz8/BZGsHOwsfUZamVnKdV5Ru 7Zbft8FFq/5kNxEhQfjMcxkXuUrfntUMeVrJPRBIGRE63yhIJaAUFDgqRctKqNj43uKD UPfz1dfbwX7Apw9BICC8e4amJNKqYOgmWYXwKamuppPMjfClOnY0O882aGBF5FTByiQS qG7S6ICyVz8kKl4duuZWgseAZk7FZbeNUuLO6PDbSQkndOyxrDPIPs/9jRr7L4pWOzgh PR6Q== X-Gm-Message-State: AE9vXwOLwugMS8WodtgAP+ue8fYi2KfkjU/2CVxYYHZUdUm4qYYoxngjxrPltLTAo/AhxBrHGiARtHLeGNeSlg== X-Received: by 10.36.19.16 with SMTP id 16mr26346246itz.41.1473089963468; Mon, 05 Sep 2016 08:39:23 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.31.129 with HTTP; Mon, 5 Sep 2016 08:38:43 -0700 (PDT) In-Reply-To: <87DC4D8E-4C3F-4F91-B4FE-983B27991BE0@inria.fr> References: <87DC4D8E-4C3F-4F91-B4FE-983B27991BE0@inria.fr> From: Gabriel Scherer Date: Mon, 5 Sep 2016 11:38:43 -0400 Message-ID: To: Damien Doligez Cc: caml users , Fabrice Le Fessant Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Ocaml 4.04.0+beta2 Between beta+1 and now, Damien and myself invested some amount of time in checking the OPAM packages that fail to build on 4.04, understanding the issue and fixing it (either in the packages or upstream). I was able to do that thanks to Fabrice Le Fessant's opam-builder tool, which I think is a fantastic help for opam-repository quality analysis: http://opam.ocamlpro.com/builder/html/report-full.html (One non-intuitive thing about this output is that the big red "Deps" square are actually not a very problematic things, the orange "Fail" nodes are the things that really need to be fixed. In general opam-builder is in need of some improvements and I'm sure any contribution is welcome.) Early adopters may have noticed that the previous 4.03 release was rather painful: many third-party packages remained non-working on 4.03 for weeks or months after the release. I'm confident that this beta-time quality-analysis work will make 4.04 a smooth release in comparison. If you are interested in further discussion on these upgrade pains, see the ocaml-platform thread: "Is it taking too long for OCaml software to become 4.03-compatible? Would release process changes help?" http://lists.ocaml.org/pipermail/platform/2016-June/000671.html Hopefully Fabrice will soon update the opam-builder servers to build from 4.04+beta2 instead of 4.04+beta1; a large part of the remaining 4.04-only failures reported in the current output are fixed in beta2. Many thanks to the many third-party upstreams that reacted quickly to requests to improve compatibility by making new releases supporting 4.04. Thanks as well to Fabrice Le Fessant and Hongbo Zhang that did the bulk of the work on those "main differences" implemented in beta2 to fix or limit breakage of the OCaml ecosystem introduced by some 4.04+dev changes, and to Damien Doligez that is investing an impressive (and mostly invisible) amount of work into all aspects the release process -- and has been for years. If you are a package maintainer, you may want to check in the opam-builder output that your package has at least a version that builds correctly under 4.04 betas. If it is currently reported as failing under beta1, it may build correctly on beta2. In the long term, users should never experience a build failure when trying to install a package. Non-building combinations should be ruled out by the packaging constraints (on library dependencies or the compiler version). If a release of your package fails to build for some reason, whether or not you release a new version that does build, please remember to update the old OPAM metadata to make the package uninstallable instead of broken. On Mon, Sep 5, 2016 at 11:19 AM, Damien Doligez wrote: > Dear OCaml users, > > The release of OCaml 4.04.0 will take place in a few weeks. We have created a second beta version to help you adapt your software to the new features ahead of the release. > > The source code is available at this address: > > https://github.com/ocaml/ocaml/archive/4.04.0+beta2.tar.gz > > and the compiler will soon be available as the "4.04.0+beta2" OPAM switch. > > We want to know about all bugs. Please report them here: > http://caml.inria.fr/mantis/bug_report_page.php > > Happy hacking, > > -- Damien Doligez for the OCaml team. > > > > > In addition to bug fixes, the main differences from beta1 are: > > - restored the following primitives (GPR#596, GPR#772) > %string_safe_set > %string_unsafe_set > caml_create_string > caml_fill_string > - fixed the order of arguments given to the C linker > (GPR#761, GPR#758, GPR#464, MPR#6475, MPR#5890) > > > -- > 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