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 8F0388239C for ; Sun, 11 Mar 2018 11:49:22 +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=3AtMwIWRLjloGxcDqzktmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRKvXxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhj?= =?us-ascii?q?kHOTAk82/ZhMJ/g61HrxyuvBF/343ZbZuJOPZicK7Qf9UXTndBUMZLUCxBB5ux?= =?us-ascii?q?YYwVAOodI+lYrZT2qV4JrRixGw6sB/7kxzhNhnDs3K061/8sEQTc0ww8Ad0Osm?= =?us-ascii?q?3YrNbyNKcJUOC1z7PEzTPdYPNKwDrw7pXDfBM5ofyUQL59fsrcxVMxGw7Lilic?= =?us-ascii?q?s4/oMj2P2ugQr2SW7/JsWf+thmMksQ18rSSjyt0yhoXVmI4Z0FHJ+Ct/zY0oP9?= =?us-ascii?q?O3UlR7bsShEJZItyGVKY92QsQ6TmFtoik61qMJuZyicCgJz5Qn3B/fa/+df4iO?= =?us-ascii?q?/B3jSP6dITZ+hH17ZLKynwu+/Eegx+HmSMW53lJHojBGn9TCrHwBygDf58ifRv?= =?us-ascii?q?t45Eih2DKP1w7J6uFDJEA5ja/bJIQgwr40jZcTtF7MHjPol0X0laOWdUIk+vOp?= =?us-ascii?q?6+TkeLnmoIGTN5NshgHkLqsugtC/Afg/MgUWQ2eU4+G81Ln68U39QbVKleE2n7?= =?us-ascii?q?LCsJHaIMQbvrS2DxVU0oYl8Ra/Di2p3M4WnXkdfxp5f0eMho3tflXPO+zQDPGl?= =?us-ascii?q?gl3qni046erBO+jEC4nALDDgl0Vkfv4p7kddzCI2xMxS5ddXDaoAI7T1V1On54?= =?us-ascii?q?+QNQMwLwHhm7WvM956zI5LATveUJ/cC7vbtBqz3sxqJuCNYIEPvzOkdKog7uLj?= =?us-ascii?q?jzo6nkQcfu+v0IdFMynkTMQjGF2QZD/XuvlECX0D51VsSeX2hV/HUjlIZnX0Wa?= =?us-ascii?q?8gtGliVdCWSLzbT4Xou4SvmSe2GpoPOTJDA0yBEzLrcJ6FWLEKZT7AecI=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C2ZQArCaVa/2lT75FdHQEBBQELAYNQa?= =?us-ascii?q?WyDeIohcZAXlDOCFIhBHQkFNg0BAgEBAQEBAQEBAWongjgignMPAXsCJgJsCAE?= =?us-ascii?q?BhRipSoImhG+DRCeCGoENhCiDAoMRiHKCPIJiBJpWCZBcgVqHOIVWknRMCiaBL?= =?us-ascii?q?HsKgn6ER4xfAQEB?= X-IPAS-Result: =?us-ascii?q?A0C2ZQArCaVa/2lT75FdHQEBBQELAYNQaWyDeIohcZAXlDO?= =?us-ascii?q?CFIhBHQkFNg0BAgEBAQEBAQEBAWongjgignMPAXsCJgJsCAEBhRipSoImhG+DR?= =?us-ascii?q?CeCGoENhCiDAoMRiHKCPIJiBJpWCZBcgVqHOIVWknRMCiaBLHsKgn6ER4xfAQE?= =?us-ascii?q?B?= X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.47,455,1515452400"; d="scan'208";a="257762400" 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; 11 Mar 2018 11:49:21 +0100 Received: from [192.168.1.11] (bband-dyn63.178-40-202.t-com.sk [178.40.202.63]) by matej-kosik.net (Postfix) with ESMTPSA id E11E6201A3 for ; Sun, 11 Mar 2018 11:49:20 +0100 (CET) To: caml-list@inria.fr From: =?UTF-8?B?TWF0ZWogS2/FocOtaw==?= Openpgp: id=1CD41D0A52319DC7ABC1B79F50AFFA128CE48649; url=http://matej-kosik.net/doc/kosik.asc Message-ID: <69417de2-73cc-c14f-fef9-c8fb2a7b6c2b@matej-kosik.net> Date: Sun, 11 Mar 2018 11:49:19 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 8bit Subject: [Caml-list] a question about compiler-libs and Ocaml toplevel Hi, When I load compiler-libs #require "compiler-libs.common";; then I can use various modules contained therein, but not "Location". (which is referenced from "Parsetree") Something like: open Location;; or Location.none;; fails with: Error: Unbound module Location It seems that I am missng something very basic. Why can't "Location" be used when "compiler-libs.common" package was loaded? (While other modules (which use "Location") can be used in the toplevel just fine.)