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 575CB8239C for ; Mon, 12 Mar 2018 11:15:57 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=leo@lpw25.net; spf=None smtp.mailfrom=leo@lpw25.net; spf=Pass 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: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@out2-smtp.messagingengine.com designates 66.111.4.26 as permitted sender) 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-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3ALksP8RXuN7C+yKB3AI51ZqdMcpfV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYYxGEt8tkgFKBZ4jH8fUM07OQ7/i7HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba98IRmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhsVRHolT?= =?us-ascii?q?wHNyYn/27Llsx+gqVboBe7qBx+xY7ffYWZOfV6c6/Ye94RWGhPUdtLVyFZAY2y?= =?us-ascii?q?b5UBAOUOM+lEqIfzulUOoxW8CgS3GOPv0yVFimPs0KEm0eksFxzN0gw6H9IJtX?= =?us-ascii?q?TZtNP7O7kVUeuozKbIzTTDb+9I1jzg74XIdg4uofaXULJ0acrQx1cjGgPfglWW?= =?us-ascii?q?t4PlIyqY2+IQuGaV6OpgUPigi28hqwxpozivwN0siojTiY4PxFDE7z11wYYvKt?= =?us-ascii?q?24T057ZsSoH4dXtyGfMYZ9X8AsQ3lwtSs7y7AKo4O3cDUXxJg9yBPTceKLfomO?= =?us-ascii?q?7xn+TuieOy14i2hgeL+nhxa970ygyurkW8mzzVZKsjRJnsDXtnAIyxzT8tKLSv?= =?us-ascii?q?5j8Ue6wjaAzQ/T6uBCIUA7i6XbLZEhwr82lpUNq0jMAij2mEDugK+XcEUr5PSo?= =?us-ascii?q?5vzmb7jnvJOQKpJ4hhzkPqkhgMCzH+U1PhALX2eB+OS80LPj/Vf+QLVPlvA2lr?= =?us-ascii?q?fWsJfBKMQfvq64DRFZ34Y55xa5ETimzMwUnWMbI1JdZBKHk4/pNknSL//iCPe/?= =?us-ascii?q?h02gkDNqx/DdIr3sGY7NL3jGkLf5Z7lx8U9cyAwpzdBe/Z1YEL8BIOigEnP24d?= =?us-ascii?q?fRCxt8Nw2v387mDs9838UQQzGhGKicZYffthe35uMzLqHYYIISkDLlNKJ4ofjj?= =?us-ascii?q?kSlqyhcmYaC10M5POziDFfN8LhDFMCO90OdEKn8Du08FdMKvjVSDVTBJYHPrBv?= =?us-ascii?q?A4/i5hVcSgAJuRHtnx0ozE5z+yG9htXk4DEkqFSC66c52bAapKbi+OcJc4z240?= =?us-ascii?q?EIO5Qopk7imA8Q/3z708d7jT5zFC8InmyMAz4uDIjhg99Dp7AsKS0meACWpzmz?= =?us-ascii?q?FRSg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0A8AgBXUqZahxoEb0JdGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQ2byiDUIsSjH6BWymBFoFTkmCCFAojhQICgxUaBQIENxEBAgEBAQE?= =?us-ascii?q?BAQEBARIBAQEIDQkIKC6COAyCYAEFIx0BASwMDwkCGAICCR0CAiwZAhArhG4DF?= =?us-ascii?q?Q+NTJ0AbYImgwEBAQWEFwOBMweCEgiBDYQogi6DcYJ5gyMLA4FwTII8MIIyhmg?= =?us-ascii?q?Ik2oIAYZDjFGMMIl5h0+BLDgLgWVNLgo6gkMJghofgiEkNwGNdAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0A8AgBXUqZahxoEb0JdGgEBAQEBAgEBAQEIAQEBAYQ2byi?= =?us-ascii?q?DUIsSjH6BWymBFoFTkmCCFAojhQICgxUaBQIENxEBAgEBAQEBAQEBARIBAQEID?= =?us-ascii?q?QkIKC6COAyCYAEFIx0BASwMDwkCGAICCR0CAiwZAhArhG4DFQ+NTJ0AbYImgwE?= =?us-ascii?q?BAQWEFwOBMweCEgiBDYQogi6DcYJ5gyMLA4FwTII8MIIyhmgIk2oIAYZDjFGMM?= =?us-ascii?q?Il5h0+BLDgLgWVNLgo6gkMJghofgiEkNwGNdAEBAQ?= X-IronPort-AV: E=Sophos;i="5.47,460,1515452400"; d="scan'208";a="257859856" 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; 12 Mar 2018 11:15:56 +0100 Received: from compute5.internal (compute5.nyi.internal [10.202.2.45]) by mailout.nyi.internal (Postfix) with ESMTP id 4AF2020DA9 for ; Mon, 12 Mar 2018 06:15:55 -0400 (EDT) Received: from web1 ([10.202.2.211]) by compute5.internal (MEProxy); Mon, 12 Mar 2018 06:15:55 -0400 DKIM-Signature: v=1; a=rsa-sha256; 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-me-sender :x-me-sender:x-sasl-enc; s=mesmtp; bh=KUhUqtwN9ogTFnBMetyoqXBnIL zyK3mxB22RjDTISsU=; b=OhZ9pl9eSYjoaSli+zLP62VlOI6w0LwbGbOtQzBcRy Dhamu1YyE1hhU0uTP+V/DpIxtulO1KF3DsNVtEfUssNZoc+4i4wtnPFyb0ZXC8s3 B/Wec1lTPBjonOzGtd4GUjoI96muflZC0f8ubgLiKtXvXi466aquhRuBqOMA9VDr w= DKIM-Signature: v=1; a=rsa-sha256; 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-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=KUhUqt wN9ogTFnBMetyoqXBnILzyK3mxB22RjDTISsU=; b=U6ogy0+e19HFlVwh0rR2Ex svNLkRtY2Igfna/Wm2Tjblv6yVuUWk2K7NYZyjT1oHhRnGUfS8RaMPB5wShgNHFl tg/q4fi2aqpOjhgNZqFFtMjh6Lwz5rI2qiTpzjovuuEvUw7kpPE+2gfKYo9Z0iqx wHvq6IbJ4tk/VQSekzeA4ygeRxCweaA9HC6J/KrpzVAhJSAf2FcK52NtqyM02/mR YMnVuuIA1h6TSEkk2ddJNq/FET1rlKdf0nuu4YuqJlwqx5mo29P1Ro6EXXUyoTzJ 0/xaZeE4vB9ySfQC+Ql0WBN8PlFgB2jU+uYYwUjBy+FsQaTd9/Orr6C+HX4V/GAw == X-ME-Sender: Received: by mailuser.nyi.internal (Postfix, from userid 99) id 3138894084; Mon, 12 Mar 2018 06:15:55 -0400 (EDT) Message-Id: <1520849755.332963.1299819864.75E77A86@webmail.messagingengine.com> From: Leo White To: caml-list@inria.fr MIME-Version: 1.0 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" X-Mailer: MessagingEngine.com Webmail Interface - ajax-54087d22 References: <69417de2-73cc-c14f-fef9-c8fb2a7b6c2b@matej-kosik.net> <2087299b-ff3e-8d0e-6b12-2f29baca6b26@matej-kosik.net> Date: Mon, 12 Mar 2018 06:15:55 -0400 In-Reply-To: <2087299b-ff3e-8d0e-6b12-2f29baca6b26@matej-kosik.net> Subject: Re: [Caml-list] a question about compiler-libs and Ocaml toplevel Aren't you just missing: #directory "+compiler-libs";; to make the cmi files available? Regards, Leo On Mon, 12 Mar 2018, at 5:24 AM, Matej Ko=C5=A1=C3=ADk wrote: > Sorry, the correct way to reproduce the problem is this: >=20 > In an OCaml toplevel >=20 > (* following the advice in the documentation > * http://caml.inria.fr/pub/docs/manual-ocaml/parsing.html *) >=20 > # #load "compiler-libs/ocamlcommon.cma";; >=20 > (* 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 exam= ple: *) >=20 > # open Parsetree;; > Error: Unbound module Parsetree >=20 > I'd like to ask if this is a bug or I just don't understand something. >=20 > (Btw. loading compiler-libs via ocamlfind mechanisms works fine. No=20 > surprises there.) >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs