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 CAC5B8240D for ; Mon, 12 Mar 2018 10:24:20 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=mail@matej-kosik.net; spf=SoftFail smtp.mailfrom=mail@matej-kosik.net; spf=SoftFail smtp.helo=postmaster@matej-kosik.net Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of mail@matej-kosik.net) identity=pra; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of mail@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=mailfrom; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="mail@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of postmaster@matej-kosik.net is inclined to not designate 145.239.83.105 as permitted sender) identity=helo; client-ip=145.239.83.105; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="mail@matej-kosik.net"; x-sender="postmaster@matej-kosik.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3AtYbe+RefbLTpRL8h1QvbeB3klGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu+bR7h7PlgxGXEQZ/co6odzbaO6Oa4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahb75+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM37X/ZisJwgqxYrhyuqRNwzIzIb4+aL/d+YqDQcMkGSWZdUMtcVSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoY7nqFsSsxS+BxSnCuboyjxHmHj23rAx3uMkEQ7c3QwgG8kDsH?= =?us-ascii?q?HOo9XpKqgSU/m5zKrPzTXYbvNW2i3x6I7WfRA9uPyBW697f8TWyUkqDQzFj1OQ?= =?us-ascii?q?pJTkPzOTzOQNsnKU4/BuVeK1jWMstgJ/oiC3y8sxhYTEhpgZxk7K+Ch92oo4Jt?= =?us-ascii?q?O1RFRmbdK4EJZcryWXOotsTs8/X21kpjw2xqMJtJO1ZiQG1poqywLZZveaaYaH?= =?us-ascii?q?+AjjW/yUITpghHJqZra/hxGq/Eil0OL8Ste70FRToipGldnMrXEN1x/J5siBVP?= =?us-ascii?q?R94l+t2TeJ1w/N9uFJOV04mKXbJpI73LI9mJ4evV7AEyL4gkn6kbOae0U89uit?= =?us-ascii?q?8evnY7HmppGGN49zjwHzKqEulda+AeQ8KQUOWnKU+fii273h5EH5Q7JKjuY3kq?= =?us-ascii?q?naqpzaI9oUprKhDw9Pzokj8wq/Dyuh0NkAgXYINldFeBaeg4jtOlHOO+z4AOyk?= =?us-ascii?q?g1WslTdr3+rJMqfgApXLNHjDka3ucaxz605Gm0IPyoVU7pdQT7UAO+7bW0nrtd?= =?us-ascii?q?WeAAVqHRazxrPCAclw1Ms9XpAKAefNNarTtXeN7/4iIayPY5QUu3D7JuRztK2m?= =?us-ascii?q?tmMwhVJIJfrh5pAQcn3tRq03cXXcWmLlh5I6KUlPuwM/SOLwj1jbDmxWbmq/Xe?= =?us-ascii?q?c/4So6C8SgAJuRHdnx0ozE5z+yG9htXk4DEkqFSCi6coyYVvVJayWJI8wnlDEY?= =?us-ascii?q?B+D4Ft0RkCq2vQq/8IJJa+rZ/ipB6sDm3cR45ajQkgoz9npyAtjPiGw=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B4MgChRqZa/2lT75FdHQEBBQELAYNQZ?= =?us-ascii?q?gNsKINQixKOToFKlkcthHgKAoMUHQkFMBMBAgEBAQEBAQEBAWongjgigkoGIw8?= =?us-ascii?q?BVgsaAiYCAlcTCAEBhRgLq0OCJoRvg0YnghqBDYQogwKDEYMFgyMLA4I8gjyCY?= =?us-ascii?q?gSaVgmGQ4oZgVpehlqFVol5iHs2IIFSewo6gkMJhD92AY10AQEB?= X-IPAS-Result: =?us-ascii?q?A0B4MgChRqZa/2lT75FdHQEBBQELAYNQZgNsKINQixKOToF?= =?us-ascii?q?KlkcthHgKAoMUHQkFMBMBAgEBAQEBAQEBAWongjgigkoGIw8BVgsaAiYCAlcTC?= =?us-ascii?q?AEBhRgLq0OCJoRvg0YnghqBDYQogwKDEYMFgyMLA4I8gjyCYgSaVgmGQ4oZgVp?= =?us-ascii?q?ehlqFVol5iHs2IIFSewo6gkMJhD92AY10AQEB?= X-IronPort-AV: E=Sophos;i="5.47,460,1515452400"; d="scan'208";a="257847523" Received: from 105.ip-145-239-83.eu (HELO matej-kosik.net) ([145.239.83.105]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Mar 2018 10:24:19 +0100 Received: from [192.168.1.11] (adsl-dyn-230.95-102-243.t-com.sk [95.102.243.230]) by matej-kosik.net (Postfix) with ESMTPSA id 3CE2B226F3 for ; Mon, 12 Mar 2018 10:24:19 +0100 (CET) To: caml-list@inria.fr References: <69417de2-73cc-c14f-fef9-c8fb2a7b6c2b@matej-kosik.net> From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= Openpgp: id=1CD41D0A52319DC7ABC1B79F50AFFA128CE48649; url=http://matej-kosik.net/doc/kosik.asc Message-ID: <2087299b-ff3e-8d0e-6b12-2f29baca6b26@matej-kosik.net> Date: Mon, 12 Mar 2018 10:24:18 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 In-Reply-To: <69417de2-73cc-c14f-fef9-c8fb2a7b6c2b@matej-kosik.net> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] a question about compiler-libs and Ocaml toplevel Sorry, the correct way to reproduce the problem is this: In an OCaml toplevel (* following the advice in the documentation * http://caml.inria.fr/pub/docs/manual-ocaml/parsing.html *) # #load "compiler-libs/ocamlcommon.cma";; (* Now, if I try to actually use some of the modules that are supposed * to be provided by this library always leads to a failure. For example: *) # open Parsetree;; Error: Unbound module Parsetree I'd like to ask if this is a bug or I just don't understand something. (Btw. loading compiler-libs via ocamlfind mechanisms works fine. No surprises there.)