From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 238067F785 for ; Fri, 13 May 2016 11:03:15 +0200 (CEST) IronPort-PHdr: 9a23:VgTCPRYbfFn48/+eqrBEDKv/LSx+4OfEezUN459isYplN5qZpcm8bnLW6fgltlLVR4KTs6sC0LqH9fq5EjRaqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh7H0ocSYO18ArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIYTGZn9Kq8xSLgdCDU9L0g04tfqvF/NV1ih/HwZB0AfjhdKSyvC9xD5FsOs7XWmvbIniSPEbZ39FLtsVW7+5v1mGUDjhHhZazAR/2Tei8g2h6Ve9kHy7ydjypLZNdnGfMF1ebnQKIsX Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f47.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 74.125.82.47 as permitted sender) identity=mailfrom; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@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-wm0-f47.google.com) identity=helo; client-ip=74.125.82.47; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-wm0-f47.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CvAADelzVXiC9SfUpegjuBUn6nF4c2iwsBDYF2GoMYgmICgTA4FAEBAQEBAQEBEQEBAQgLCwkfMYItghYBAQQSEQ8BDQEbHAIDDAYFCw0CAgUWCwICCQMCAQIBEREBBQEcEwgCHodyAQMXBKAugTE+MYs7gWqCWAWHLgoZJw1SRIMXAQEBBwIBHAIGEHGJcYQLgQCCNIJZBZgmAYV+iCCJMQ6FWo4DMIEOHgEBgjoNEQqBTWyIWgEBAQ X-IPAS-Result: A0CvAADelzVXiC9SfUpegjuBUn6nF4c2iwsBDYF2GoMYgmICgTA4FAEBAQEBAQEBEQEBAQgLCwkfMYItghYBAQQSEQ8BDQEbHAIDDAYFCw0CAgUWCwICCQMCAQIBEREBBQEcEwgCHodyAQMXBKAugTE+MYs7gWqCWAWHLgoZJw1SRIMXAQEBBwIBHAIGEHGJcYQLgQCCNIJZBZgmAYV+iCCJMQ6FWo4DMIEOHgEBgjoNEQqBTWyIWgEBAQ X-IronPort-AV: E=Sophos;i="5.24,613,1454972400"; d="scan'208";a="218138888" Received: from mail-wm0-f47.google.com ([74.125.82.47]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 May 2016 11:03:10 +0200 Received: by mail-wm0-f47.google.com with SMTP id g17so18770083wme.1 for ; Fri, 13 May 2016 02:03:10 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=w0yYQckoYxo9q4SHXbVQLqdznBbvA+NY2U33G9ToR1s=; b=w+2LXpTkGNjf0Sui01xPkldk1gHSUerep9vXwde/dF1REggzVZ27jDeJ3D37zuaPos G8jnLPXGcsFXIolc4JGD/erluQHyqQGMpfntuuc3YeKA8AQSFxw3QNokyUXXw8Ce8C9Y VKI/n7+9/mG9CF/ucTBYW5v3LSUys2KNH4jB6CmKyE807UccmBsSmCgJYs347IBnjADh OWAUnIQz6CLi6+R++GbAJh95dSzpvY+5ZjrBalvImNnQYYggnS2EWj7nx18ZSlD1XjRk 2QgRkCafAHJGTy4aLiX5vhQCIsddTCoWyNRXT9/iCqB3vt8YymORSV7w/iw11NdStt97 KV3w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=w0yYQckoYxo9q4SHXbVQLqdznBbvA+NY2U33G9ToR1s=; b=f8IHrvX7thevz+0VrsjCr/LcdZEfLKNc1+olwQ4Wr6AgAagGjwgK6TSdojbg02K+vM NZgr/rR6O3OXXoU/Dq411HW1K13RmNDFXOroyTzRbmWVk5iX0fyKlKXGB33ug0Xa0uez /g8JbxwPxjoIM8eptIG4gmriQVBAgKwInXImppXLpdPfNzuEqpmn8+Nv8gKqi41bJ1L3 4OQgraM43Gd9aKNvmgU2Sn+cR5593EiSeVrXA0X5Ila4NpYn39chBDnpJcXO9yOpcsDV kVBD0BOWpdXYWr3Limf/+T1MKMeitWGXwkktRpe4g4oHQ2JSFXhoQ6rYa0zGJKUDkuNZ VK6A== X-Gm-Message-State: AOPr4FWRiOIRazml8dj94MnXoDmPTrRjwjpLVkhZYBRcVybjLseVDDffL4qXiuTY6+KzBw== X-Received: by 10.194.76.137 with SMTP id k9mr14613632wjw.3.1463130190274; Fri, 13 May 2016 02:03:10 -0700 (PDT) Received: from [172.23.36.255] (maths.r-prg.net.univ-paris7.fr. [81.194.27.158]) by smtp.googlemail.com with ESMTPSA id f188sm2211258wma.2.2016.05.13.02.03.09 for (version=TLSv1/SSLv3 cipher=OTHER); Fri, 13 May 2016 02:03:09 -0700 (PDT) To: caml-list@inria.fr References: <5c240ab2-3a40-3b5d-72bb-16bb4f6ad75e@tu-berlin.de> From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> Message-ID: <5735975B.4000200@gmail.com> Date: Fri, 13 May 2016 10:59:07 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Icedove/38.7.0 MIME-Version: 1.0 In-Reply-To: <5c240ab2-3a40-3b5d-72bb-16bb4f6ad75e@tu-berlin.de> Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] [ANN] Batteries 2.5.0, compatible with OCaml 4.03 Hi, On 05/13/2016 09:53 AM, Christoph Höger wrote: > Unfortunately, I am unable to use some modules: > > consider the following simple test: > > % cat foo.ml > let () = 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.