From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id F1A2E7EDD9 for ; Sun, 7 Oct 2012 03:28:53 +0200 (CEST) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="avsm@dark.recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of avsm@dark.recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="avsm@dark.recoil.org"; x-sender="avsm@dark.recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="avsm@dark.recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlEDAMXZcFBZELGagWdsb2JhbABEunOEUgEBFiYngiABAQU6PxALDgouFEmIHAe4ZotPhhADlWoBgRWSBw X-IronPort-AV: E=Sophos;i="4.80,545,1344204000"; d="scan'208";a="158134350" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail4-smtp-sop.national.inria.fr with SMTP; 07 Oct 2012 03:28:53 +0200 Received: (qmail 27354 invoked by uid 10000); 7 Oct 2012 01:28:53 -0000 Date: Sun, 7 Oct 2012 02:28:53 +0100 From: Anil Madhavapeddy To: Malcolm Matalka Cc: Mike McClurg , T?r?k Edwin , caml-list@inria.fr Message-ID: <20121007012853.GG15159@dark.recoil.org> References: <50709949.9020002@etorok.net> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] opam update failing On Sun, Oct 07, 2012 at 02:51:03AM +0200, Malcolm Matalka wrote: > On a side note, I was very surprised when an 'opam upgrade' didn't > actually bring me to the latest versions of everything. Specifically > all of the jane st stuff was an older version than the latest. I > ended up wiping my entire opam, "opam remove" was not working for me > either, and starting from scratch, which worked. I'm sure that makes > sense for someone that knows opam but I found it counter intuitive. This is actually correct behaviour, although OPAM could explain its reasoning to the user better. The latest JSC packages (108.07.00+) introduced a backwards-incompatible API change in type_conv. Type_conv is very commonly used by third-party packages such as OASIS (via ODN) and would break if compiled against the newest version. Luckily, OPAM supports constraints on the package versions that let it figure out a workable strategy, which in this case will use the older version of type_conv. Since the Core suite has an exact dependency on type_conv, this will also pin the rest of Core and Async to that older version. I've been patching a few of the type_conv packages to support the newer API, and once these are merged [1], an 'opam upgrade' should recompile your packages up to the latest version. [1] https://github.com/OCamlPro/opam-repository/pull/107 -- Anil Madhavapeddy http://anil.recoil.org