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 3257A7EE25
	for <caml-list@sympa.inria.fr>; Thu, 31 Oct 2013 20:06:06 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra;
  client-ip=209.85.215.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
  209.85.215.47 as permitted sender) identity=mailfrom;
  client-ip=209.85.215.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-la0-f47.google.com) identity=helo;
  client-ip=209.85.215.47;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com";
  x-sender="postmaster@mail-la0-f47.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Am4IAGepclLRVdcvlGdsb2JhbABZgh+BIMFlFg4BAQEBBwsLCRIqgmwBGxwCAxIQFhYYAwIBAgEREQEFAS8IAodwAQMPBAEImwWDBIxXgwqENwoZJw1kiQEBBQyNdIFshBgDjFeLM4EvhQ57gwyFWUGEUQ
X-IPAS-Result: Am4IAGepclLRVdcvlGdsb2JhbABZgh+BIMFlFg4BAQEBBwsLCRIqgmwBGxwCAxIQFhYYAwIBAgEREQEFAS8IAodwAQMPBAEImwWDBIxXgwqENwoZJw1kiQEBBQyNdIFshBgDjFeLM4EvhQ57gwyFWUGEUQ
X-IronPort-AV: E=Sophos;i="4.93,611,1378850400"; 
   d="scan'208";a="40033693"
Received: from mail-la0-f47.google.com ([209.85.215.47])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 31 Oct 2013 20:05:47 +0100
Received: by mail-la0-f47.google.com with SMTP id ep20so2679698lab.34
        for <caml-list@inria.fr>; Thu, 31 Oct 2013 12:06:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=message-id:date:from:user-agent:mime-version:to:subject
         :content-type:content-transfer-encoding;
        bh=lmsme9S26dEtYzNqlt5Tm1ge4GHy1AbdHZFfUEOuw1E=;
        b=bG8M5H1PvF1gqhVBc7/stdlGsmQIfiM7Ew1j8gXmN70tKsX0988+HiGsPDlEhZmCcY
         yKNhxSVDqS/hvxvGJN+oFyfE/9xC2loh7KcGa2+PsypQaC9XZ0IPmKJ9K5oNuZuXBWps
         ecloBjxtgK3kmII2GfWtNY/sfFEdhhbKGDPA6chdNm/c1jgQLEhj1iRQ240Pqg5xIwY5
         NTzECEsHTY4CHe5QSRve1xTvBXm2Ljrlp8cCO+mxvQqmLAnYb0EVTFkDH8+zHQVld8ZM
         GcLcOTIfyr+IiZvukzAs9cfB0kP5z8T6/2XojcyE/1DhAzBUQqulD2HJ5400luz60fKL
         pG9w==
X-Received: by 10.152.19.168 with SMTP id g8mr24410lae.75.1383246364914;
        Thu, 31 Oct 2013 12:06:04 -0700 (PDT)
Received: from [172.27.6.170] ([213.106.240.92])
        by mx.google.com with ESMTPSA id vs11sm4528751lac.3.2013.10.31.12.06.04
        for <caml-list@inria.fr>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Thu, 31 Oct 2013 12:06:04 -0700 (PDT)
Message-ID: <5272AA1B.1040403@gmail.com>
Date: Thu, 31 Oct 2013 19:06:03 +0000
From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20131005 Icedove/17.0.9
MIME-Version: 1.0
To: caml-list@inria.fr
X-Enigmail-Version: 1.6
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Ubuntu + Batteries ... missing (?) Batteries_uni module

Hi,

My colleague recently updated his Ubuntu box and, after upgrade, he noticed that he cannot compile my Ocaml programs, which rely on Batteries.

I looked into the matter and noticed a version mismatch

  libbatteries-ocaml-dev version 1.4.3-1 in Debian 8 (my machine)
  http://packages.debian.org/jessie/amd64/libbatteries-ocaml-dev/filelist

  libbatteries-ocaml-dev version 2.0-1 in Ubuntu 13 (his machine)
  http://packages.ubuntu.com/saucy/amd64/libbatteries-ocaml-dev/filelist

Compilation failure is related to the fact that

  Batteries_uni

module is not present.

  # This:
  #
  #   apt-file search batteries_uni.cmi
  #
  # does not return anything on Ubuntu 13 whereas on Debian 8 it returns:
  #
  #   libbatteries-ocaml-dev: /usr/lib/ocaml/batteries/batteries_uni.cmi

so he is getting:

  Error: Unbound module Batteries_uni

I understand that the versions of the library are different (1.4.3-1 vs 2.0-1) so the API can be incompatible,
although missing Batteries_uni module is surprising because it is not declared to be removed from the latest Batteries version:

  http://ocaml-batteries-team.github.io/batteries-included/hdoc/Batteries_uni.html

I would like to ask whether this situation is correct (and I should not rely on Batteries_uni module anymore) or it is a ommision (breakage) in Ubuntu package?

Thanks in advance for the help.