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 82A817EE78 for ; Tue, 26 Apr 2016 19:16:28 +0200 (CEST) IronPort-PHdr: 9a23:7oEGvRLMnZd1WfI9G9mcpTZWNBhigK39O0sv0rFitYgUKPvxwZ3uMQTl6Ol3ixeRBMOAu6IC1Lud4vGocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34LohqvjqtX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqz/e+E8TKdEJDUgKWE8osPx5jfZSg7awnYbGloWkwZFS1zB4RbSWo/u6Ha8sOdhjnrJdfbqRKw5DGzxp5xgTwXl3X8K Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=None smtp.helo=postmaster@out2-smtp.messagingengine.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=pra; client-ip=66.111.4.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of leo@lpw25.net) identity=mailfrom; client-ip=66.111.4.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="leo@lpw25.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@out2-smtp.messagingengine.com) identity=helo; client-ip=66.111.4.26; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="leo@lpw25.net"; x-sender="postmaster@out2-smtp.messagingengine.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BbAgBgoR9XjxoEb0JehQi6DYF0hg4CgT05EwEBAQEBAQEBEQEBAQEHCwsJIS9BAQQNAYFZghUBAQMBQDoECwtGLCuIOwiyQoUtiQyDTAEBAQcBAQEBFgaIHoJOhQuCX4IrmBQBiHQFlC+PMCIDgkIRCoFnIDCERYEmgxUBAQE X-IPAS-Result: A0BbAgBgoR9XjxoEb0JehQi6DYF0hg4CgT05EwEBAQEBAQEBEQEBAQEHCwsJIS9BAQQNAYFZghUBAQMBQDoECwtGLCuIOwiyQoUtiQyDTAEBAQcBAQEBFgaIHoJOhQuCX4IrmBQBiHQFlC+PMCIDgkIRCoFnIDCERYEmgxUBAQE X-IronPort-AV: E=Sophos;i="5.24,537,1454972400"; d="scan'208";a="175852802" Received: from out2-smtp.messagingengine.com ([66.111.4.26]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Apr 2016 19:16:27 +0200 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id 297D520C2B for ; Tue, 26 Apr 2016 13:16:24 -0400 (EDT) Received: from web1 ([10.202.2.211]) by compute5.internal (MEProxy); Tue, 26 Apr 2016 13:16:24 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=lpw25.net; h= content-transfer-encoding:content-type:date:from:in-reply-to :message-id:mime-version:references:subject:to:x-sasl-enc :x-sasl-enc; s=mesmtp; bh=VR8AYNcuR0CJ9I4MxQ2XOgN13m0=; b=UKsANC lDgBsTk2PwgFfFmoB5KosSzORPZPVJe0K9Gue3nOyZmRlEKJN/Gy/OuC6AUPhEsh eZP5sgJ0MjkIAG4kmj/Dz+h+Lhs1QDzjeBCYposbPDCiglJOU7dw7fNG2CQbJFAx jq3IJCZMakuFx1xZEN2Pg5fcwebTyHfnCnIYk= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=content-transfer-encoding:content-type :date:from:in-reply-to:message-id:mime-version:references :subject:to:x-sasl-enc:x-sasl-enc; s=smtpout; bh=VR8AYNcuR0CJ9I4 MxQ2XOgN13m0=; b=uRgm0PoiCsZrQJl7v0avkSqEa4QxZWAYYbjpqPDETi6xtns LVRrcVMVkGO8PEKZF6+OQWxj+8gpwHZO3VuDpTswtbBjtmeK7Y4IO1X8J+rzmRS0 56jvKXiojQAmbru1Jw3rDuRgrJvO+5t1JIIhk+u3iujpnv9/Sht/VLL6M6+s= Received: by web1.nyi.internal (Postfix, from userid 99) id ED327AE5859; Tue, 26 Apr 2016 13:16:23 -0400 (EDT) Message-Id: <1461690983.2521722.590256673.26E0228E@webmail.messagingengine.com> X-Sasl-Enc: 2hqfAg/lAhuTuwXaSuSzPUuUPTTAyXk+ZGBth0SSckjy 1461690983 From: Leo White To: caml-list@inria.fr MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Type: text/plain X-Mailer: MessagingEngine.com Webmail Interface - ajax-b462e126 In-Reply-To: <20160426162143.GA15142@traveler> References: <20160426143541.GB21686@pl-59055.rocqadm.inria.fr> <20160426162143.GA15142@traveler> Date: Tue, 26 Apr 2016 13:16:23 -0400 Subject: Re: [Caml-list] parmap package broken in opam switch 4.03.0 > It seems that in 4.03 one needs to add the -opaque flag when compiling > such stubs, otherwise things go astray, and it seems ocamlbuild does not > detect automatically such situations, so one needs to explicitly pass > the -opaque option when compiling setcore.mli (and only it). I would not have thought that adding `-opaque` would be sufficient. It should get you past the compilation of modules which depend on `setcore.mli`, but I would expect linking to fail still. If that is not the case I guess it should be considered a bug because in 4.03 referencing an `external` is supposed to force linking of the containing module. The change was made because the existing behaviour was said to confuse people -- using a normal value from a module caused it to get linked whilst using an external value didn't. Regards, Leo