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 95A107FA5C for ; Fri, 13 May 2016 13:57:30 +0200 (CEST) IronPort-PHdr: 9a23:Dx3M8BG13QglXfR56oJ/NJ1GYnF86YWxBRYc798ds5kLTJ74p82wAkXT6L1XgUPTWs2DsrQf27uQ6fmrBTVIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nhqbootaPOk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv/h7TL7icq8kYbtdBTUgeyBptYy4/SXEGC6G+nYeGkYRiRtLS1yYs0+mVc+r4yGk5rp2gSLCMZeqROo5CGup4/g1FBHAhyIONjp/+2bS3J9elqVe9T2orQZ+zoqcW4qVOeBzZOuJctoQX2tMWoBKXCxMGI6mR4QKBusFe+1fqt+u9BM1sRKiCFz0V6vUwThSiyqqjKA= 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-io0-f171.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.223.171; 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.223.171 as permitted sender) identity=mailfrom; client-ip=209.85.223.171; 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-io0-f171.google.com) identity=helo; client-ip=209.85.223.171; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-io0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DBAADxvzVXiKvfVdFeg1U3fganEIFTkHyBdiKFcgKBKAc6EgEBAQEBAQEBEQEBAQgLCwkfMYItghYBAQQSER0BGxILAQMMBgULDQICCR0CAiEBAREBBQEKEgYTEhCHcgEDFw6gfIExPjGLO4FqglgFhzoKGScDClKDWwEBAQEBAQEDAQEBAQEBGQIGEHGFJIRNgkOBSIM0glkFhjsMhxeKGDGBVoQohieBeYI3jGKHXIYnEh6BDicGgi4NEQqBZyAyiFoBAQE X-IPAS-Result: A0DBAADxvzVXiKvfVdFeg1U3fganEIFTkHyBdiKFcgKBKAc6EgEBAQEBAQEBEQEBAQgLCwkfMYItghYBAQQSER0BGxILAQMMBgULDQICCR0CAiEBAREBBQEKEgYTEhCHcgEDFw6gfIExPjGLO4FqglgFhzoKGScDClKDWwEBAQEBAQEDAQEBAQEBGQIGEHGFJIRNgkOBSIM0glkFhjsMhxeKGDGBVoQohieBeYI3jGKHXIYnEh6BDicGgi4NEQqBZyAyiFoBAQE X-IronPort-AV: E=Sophos;i="5.24,614,1454972400"; d="scan'208";a="177715269" Received: from mail-io0-f171.google.com ([209.85.223.171]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 May 2016 13:57:29 +0200 Received: by mail-io0-f171.google.com with SMTP id f89so129179413ioi.0 for ; Fri, 13 May 2016 04:57:29 -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-transfer-encoding; bh=ZWW+yhNcmbnMcV1HTqaarzPt80sC610JgQ0bD6m4XDs=; b=qGV1PkPdDkVtzVx0vhii5lmbrucHoz8YUP77UWHH8eLCkU2zpwQWgFUzIv0ipG867C ojLvPmOu5RswIf/l+9+wdQBmVng6nroAPc4j2GwZxU5KpmTmQ4A4z92pMpAmY1xhFD2+ vrFtbLZehvdxIiRfyt274r3EjznLjGSs6EFREJlvyqmDY7P5SwVPxKZoU0TW/M5CLoJz xnwzp4lGdr/HNN7wsAc2XxSEXhIUtDSHziCLLWMV5gC5Y0uljuyvYErb55ZsXC7nGGZ/ 3B8QpuqMZJA8NDOXmQ71yVnvn4cO6qRhJVxg8lAxs5kCUk/SsSNL/w3b/z083PhwFj6N 5NOA== 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:content-transfer-encoding; bh=ZWW+yhNcmbnMcV1HTqaarzPt80sC610JgQ0bD6m4XDs=; b=Ch3kLFggsqqnEWbU3pMHex6EdtAuc3qcJpcWYydsMT3qt0sxTBYcgbkxpZmwCqGG29 lP7NhveBIjmF6C5KJWaRdMzgQluGD25MOQO6j2YDRvVHEmcaLoc3XNxxB4QkO8U2JJH1 qc4x/wx5TTVtHbGC1W/5ycTzyvwcH4WkD38jf5py/HvZRHQoMG2Xtak5cygQMa+/Mm7q mhgAT3Z3n92X3+19VW1bjbk88Q+dS+vsZqvJdI8ZaCHJAYC82AbNfWM+SLoU4gWd64yw EMb7kQMKcwFhOQS39EucdpXIqMbhhyezzy8DplXX+RR4DPrzUV7/YGx1RXwHhMV+I9Qi yyVg== X-Gm-Message-State: AOPr4FX1BULF+HQXiARRmYZ0wbfOtWvxecfXITrUR0U4T8jYBJxiwUSNPM2KODq1nVhsYGhCJk6IRcZO6Ku/5A== X-Received: by 10.107.169.13 with SMTP id s13mr10728700ioe.19.1463140648271; Fri, 13 May 2016 04:57:28 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.89.195 with HTTP; Fri, 13 May 2016 04:56:48 -0700 (PDT) In-Reply-To: <5735975B.4000200@gmail.com> References: <5c240ab2-3a40-3b5d-72bb-16bb4f6ad75e@tu-berlin.de> <5735975B.4000200@gmail.com> From: Gabriel Scherer Date: Fri, 13 May 2016 07:56:48 -0400 Message-ID: To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Cc: caml users Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] [ANN] Batteries 2.5.0, compatible with OCaml 4.03 There is indeed a packaging problem with 2.5.0 -- I did two quick bugfix releases in succession, and 2.5.2 should land in opam any time now. Apologies for the hiccup. On Fri, May 13, 2016 at 4:59 AM, Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote: > Hi, > > On 05/13/2016 09:53 AM, Christoph H=C3=B6ger wrote: >> Unfortunately, I am unable to use some modules: >> >> consider the following simple test: >> >> % cat foo.ml >> let () =3D Printf.printf "%s\n" Batteries.Sys.os_type >> % ocamlbuild -pkg batteries foo.native >> ... >> File "_none_", line 1: >> Error: No implementations provided for the following modules: >> BatConcreteQueue_402 referenced from >> [..]/opam/4.02.3/lib/batteries/batteries.cmxa(BatQueue) >> BatOpaqueInnerSys referenced from >> [..]/opam/4.02.3/lib/batteries/batteries.cmxa(BatSys) >> Command exited with code 2. >> >> This is opam 1.2.2, OCaml 4.02.3 and batteries 2.5.0 >> >> Did I break something or is this an actual bug? > > In my context, after switching to 4.02.3, I noticed the same problem. > > -- > 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